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

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://floss.social/users/alcinnz/statuses/113824443781140128">alcinnz (alcinnz@floss.social)'s status on Tuesday, 14-Jan-2025 11:53:00 JST</a><a href="https://floss.social/@alcinnz" title="alcinnz@floss.social"><img src="https://gnusocial.jp/avatar/5392-48-20250113213043.webp" width="48" height="48" alt="alcinnz" style="position: absolute; left: 0; top: 0;">alcinnz</a><div><a href="https://floss.social/@alcinnz/113824411072454840" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><p><a href="https://fosstodon.org/@wizzwizz4">@wizzwizz4</a> O.K., the site (quite verbosely) explains that there's a certain logical purity to miniKanren that Prolog (by necessity of its time) lacks. I suppose that came across in the docs.</p><p>Which suggests that it'd be the more interesting one to design hypothetical hardware for!</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4363019#notice-8546691">In conversation</a><time datetime="2025-01-14T11:53:00+09:00" title="Tuesday, 14-Jan-2025 11:53:00 JST">about 17 days ago</time> <span>from <span><a href="https://gnusocial.jp/notice/8546691" rel="external" title="Sent from gnusocial.jp via ActivityPub">gnusocial.jp</a></span></span><a href="https://gnusocial.jp/notice/8546691">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
alcinnz (alcinnz@floss.social)'s status on Tuesday, 14-Jan-2025 11:53:00 JSTalcinnz
in reply to
- wizzwizz4
@wizzwizz4 O.K., the site (quite verbosely) explains that there's a certain logical purity to miniKanren that Prolog (by necessity of its time) lacks. I suppose that came across in the docs.
Which suggests that it'd be the more interesting one to design hypothetical hardware for!
In conversationabout 17 days ago from gnusocial.jppermalink

Public

Embed Notice

HTML Code

Corresponding Notice