Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathstodon.xyz/users/julesh/statuses/113855590823386435">julesh (julesh@mathstodon.xyz)'s status on Sunday, 19-Jan-2025 23:54:06 JST</a><a href="https://mathstodon.xyz/@julesh" title="julesh@mathstodon.xyz"><img src="https://gnusocial.jp/avatar/180791-48-20231002164329.webp" width="48" height="48" alt="julesh" style="position: absolute; left: 0; top: 0;">julesh</a></section><article><p>I wonder what it would be like to take this more seriously and build a dependently typed Prolog: there are no functions, only relations, and you can run relations using a backtracking operational semantics</p><p><a href="https://mathstodon.xyz/@julesh/113719332154511313" rel="nofollow noreferrer">https://mathstodon.xyz/@julesh/113719332154511313</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4404090#notice-8615163">In conversation</a><time datetime="2025-01-19T23:54:06+09:00" title="Sunday, 19-Jan-2025 23:54:06 JST">about 4 months ago</time> <span>from <span><a href="https://mathstodon.xyz/@julesh/113855590823386435" rel="external" title="Sent from mathstodon.xyz via ActivityPub">mathstodon.xyz</a></span></span><a href="https://mathstodon.xyz/@julesh/113855590823386435">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
julesh (julesh@mathstodon.xyz)'s status on Sunday, 19-Jan-2025 23:54:06 JST julesh
I wonder what it would be like to take this more seriously and build a dependently typed Prolog: there are no functions, only relations, and you can run relations using a backtracking operational semantics
https://mathstodon.xyz/@julesh/113719332154511313
In conversationabout 4 months ago from mathstodon.xyzpermalink

Public

Embed Notice

HTML Code

Corresponding Notice