shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

245
active users

#prolog

0 posts0 participants0 posts today
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> </p><p>And the prolog.</p><p><a href="https://github.com/galaxor/murdle/blob/6b34c6c5a2fad716aadcd83e4b89a86c08d3abd9/murdle-2025-05-28-Wednesday.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/6b34c6c5a2fad716aadcd83e4b89a86c08d3abd9/murdle-2025-05-28-Wednesday.pl</span></a></p><p><a href="https://a2mi.social/tags/murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>murdle</span></a> <a href="https://a2mi.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> </p><p>And here's the prolog. I got to use my new "dossier" system.</p><p><a href="https://github.com/galaxor/murdle/blob/a9a59c299555e9e9495d4c7195c39b3150626ce1/murdle-2025-05-24-Saturday.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/a9a59c299555e9e9495d4c7195c39b3150626ce1/murdle-2025-05-24-Saturday.pl</span></a></p><p><a href="https://a2mi.social/tags/murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>murdle</span></a> <a href="https://a2mi.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> </p><p>And the prolog.</p><p><a href="https://github.com/galaxor/murdle/commit/2dcc8be9964d2686793ba59ad4f8d53bcb06b3de" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/comm</span><span class="invisible">it/2dcc8be9964d2686793ba59ad4f8d53bcb06b3de</span></a></p><p><a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Murdle</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> </p><p>And the Prolog that solves today's puzzle. I started putting the day of the week into the file name so that when I'm starting a new one, it's easier to find a template to copy.</p><p><a href="https://github.com/galaxor/murdle/blob/068ed48621aa6c038ff956c2a4ef8b4cbc7461bf/murdle-2025-05-19-Monday.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/068ed48621aa6c038ff956c2a4ef8b4cbc7461bf/murdle-2025-05-19-Monday.pl</span></a></p><p><a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Murdle</span></a> <a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> </p><p>And here's the Prolog to solve today's puzzle:<br><a href="https://github.com/galaxor/murdle/blob/62545875023764ac04c727c2491d8da21f2773be/murdle-2025-05-18.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/62545875023764ac04c727c2491d8da21f2773be/murdle-2025-05-18.pl</span></a></p><p><a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Murdle</span></a></p>
Michelle Hughes<p>zomg, someone translated the constitution of Japan into prolog!</p><p><a href="https://github.com/bitlaw-jp/the-constitution-of-japan" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/bitlaw-jp/the-const</span><span class="invisible">itution-of-japan</span></a></p><p>Amazing.</p><p><a href="https://a2mi.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a></p>
contrapunctus ✊🏳️‍🌈🏳️‍⚧️<p>Made the mistake of reading HN comments about Firefox "moving" to GitHub, and remembered this sage advice -</p><p>&gt; Vidrun, born of the sea-wind through the spruce<br>&gt; Vidrun, green-tinged offshoot of my bough, joy and burden of my life<br>&gt; Vidrun, fierce and clever, may our clan’s wisdom be yours:<br>&gt; Never read Hacker News</p><p>From this hilarious post -<br><a href="https://aphyr.com/posts/341-hexing-the-technical-interview" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">aphyr.com/posts/341-hexing-the</span><span class="invisible">-technical-interview</span></a><br>...of this hilarious "Technical Interview" series -<br><a href="https://aphyr.com/tags/interviews" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">aphyr.com/tags/interviews</span><span class="invisible"></span></a></p><p><a href="https://en.osm.town/tags/Clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clojure</span></a> <a href="https://en.osm.town/tags/Java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Java</span></a> <a href="https://en.osm.town/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://en.osm.town/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lisp</span></a> <a href="https://en.osm.town/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> </p><p>Here's the Prolog that solves today's puzzle. I've switched to using swi-prolog, but I'm not yet using any features that GNU prolog doesn't have. I just think it has a more pleasant REPL.</p><p><a href="https://github.com/galaxor/murdle/blob/13bd2eaedb0c3574803f28dc3ff5b83701860be9/murdle-2025-05-12.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/13bd2eaedb0c3574803f28dc3ff5b83701860be9/murdle-2025-05-12.pl</span></a></p><p><a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Murdle</span></a> <a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
adamcrussell<p>To followup to my previous post this is the nuweb source for my <a href="https://mastodon.sdf.org/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> solutions to TWC 320.</p><p><a href="https://adamcrussell.livejournal.com/57668.html" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">adamcrussell.livejournal.com/5</span><span class="invisible">7668.html</span></a></p><p><a href="https://mastodon.sdf.org/tags/LiterateProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LiterateProgramming</span></a></p>
Michelle Hughes<p><span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>infernusgoatus</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@Taweret" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Taweret</span></a></span> <span class="h-card" translate="no"><a href="https://timeloop.cafe/@sweetmercury" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sweetmercury</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@MovieDivaJacki" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MovieDivaJacki</span></a></span> <span class="h-card" translate="no"><a href="https://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>dboisvert</span></a></span> <span class="h-card" translate="no"><a href="https://normal.style/@DMX" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DMX</span></a></span> </p><p>I learned just barely enough prolog to solve today's murdle:</p><p><a href="https://github.com/galaxor/murdle/blob/b956b66bc89ba405f50fe623b2228104e07270cb/murdle.pl" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/b956b66bc89ba405f50fe623b2228104e07270cb/murdle.pl</span></a></p><p>Here's a transcript of me running it.</p><p>| ?- [murdle].<br>compiling /home/michelle/Documents/src/prolog/murdle.pl for byte code...<br>/home/michelle/Documents/src/prolog/murdle.pl compiled, 68 lines read - 9523 bytes written, 3 ms</p><p>yes<br>| ?- murdler(P, W, L).</p><p>L = cafeteria<br>P = president_amaranth<br>W = bottle ? ;</p><p>(326 ms) no</p><p><a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Murdle</span></a> <a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Readings shared March 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/24-readings_shared_03-24-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lisp</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prover9</span></a></p>
Tariq<p>I need some <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> help.</p><p>I'm stuck on a recursion exercise - have been for 2 days!</p><p>We're given a at a structure a list of lists, where each such list is of the form (person mother father) .. and so a lot of these together create a family tree.</p><p>I want to write a function lineage x y which returns a list of ancestors from x to y ... eg x, mother of x, father of prev, y .... or NIL if y is not an ancestor of x.</p><p>I found this easy in <a href="https://mastodon.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a> (I wrote this <a href="https://prologbyexample.blogspot.com/2023/02/introducing-recursion.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">prologbyexample.blogspot.com/2</span><span class="invisible">023/02/introducing-recursion.html</span></a> ) but not <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a>.</p>
IT News<p>C+P: Combining the Usefulness of C with the Excellence of Prolog - In a move that will absolutely not over-excite anyone, nor lead to any heated argu... - <a href="https://hackaday.com/2025/03/14/cp-combining-the-usefulness-of-c-with-the-excellence-of-prolog/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/03/14/cp-com</span><span class="invisible">bining-the-usefulness-of-c-with-the-excellence-of-prolog/</span></a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>softwaredevelopment</span></a> <a href="https://schleuss.online/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a> <a href="https://schleuss.online/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>c</span></a></p>
Kerrick Long (code)<p>High Performance PostgreSQL for Rails by Andrew Atkinson is part of a 16-ebook $18 bundle! Pragmatic Bookshelf and Humble Bundle have made it available along with Practical A/B Testing, Designing Data Governance from the Ground Up, SQL Antipatterns Vol. 1, and others. Pretty sweet deal!</p><p><a href="https://www.humblebundle.com/books/data-engineering-and-management-pragmatic-books" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">humblebundle.com/books/data-en</span><span class="invisible">gineering-and-management-pragmatic-books</span></a></p><p><a href="https://dotnet.social/tags/Ruby" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ruby</span></a> <a href="https://dotnet.social/tags/Rails" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rails</span></a> <a href="https://dotnet.social/tags/PostgreSQL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PostgreSQL</span></a> <a href="https://dotnet.social/tags/ABTesting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ABTesting</span></a> <a href="https://dotnet.social/tags/Data" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Data</span></a> <a href="https://dotnet.social/tags/DataGovernance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataGovernance</span></a> <a href="https://dotnet.social/tags/Phoenix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Phoenix</span></a> <a href="https://dotnet.social/tags/LiveView" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LiveView</span></a> <a href="https://dotnet.social/tags/Elixir" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Elixir</span></a> <a href="https://dotnet.social/tags/Quanum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Quanum</span></a> <a href="https://dotnet.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://dotnet.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://dotnet.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://dotnet.social/tags/DataScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataScience</span></a> <a href="https://dotnet.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://dotnet.social/tags/eBooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eBooks</span></a> <a href="https://dotnet.social/tags/Deal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Deal</span></a> <a href="https://dotnet.social/tags/reading" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reading</span></a> <a href="https://dotnet.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Jack<p>Hey all! I'm due for an (re-)introduction: I'm Jack, an engineer in the NYC area from a firmware &amp; cybersecurity background, currently working in something like hardware-software co-design.</p><p>Technical work is often with <a href="https://recurse.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a> <a href="https://recurse.social/tags/kicad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kicad</span></a> <a href="https://recurse.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://recurse.social/tags/verilog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verilog</span></a> <a href="https://recurse.social/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>c</span></a>, and in all-too-rare moments stuff like <a href="https://recurse.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://recurse.social/tags/forth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>forth</span></a> <a href="https://recurse.social/tags/agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agda</span></a> and <a href="https://recurse.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a><br> <br>I've never been much for social media, usually preferring to keep interests local: a better-detailed <a href="https://recurse.social/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> to follow as I figure this out 🙂</p>
Ramin Honary<a href="https://thingspool.net/morsels/page-10.html%20" rel="nofollow noopener noreferrer" target="_blank">Game programming in Prolog</a><p>Found this on HackerNews, all I can say is, <strong>wow.</strong> It takes a certain degree of masochism to try use the <a class="hashtag" href="https://fe.disroot.org/tag/prolog" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a class="hashtag" href="https://fe.disroot.org/tag/programminglanguage" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguage</a> for anything at all, but for a whole game?</p><p>I imagine you could implement an Entity Component System (ECS) in Prolog with just a few lines of code, and so you can develop your game state in that way pretty easily. Prolog is great for implementing agent logic, that was what it was originally designed to do. Also Prolog implementations such as SWI allow you to save an image of the entire state of your program, much like the SBCL (Common Lisp) <a href="https://www.sbcl.org/manual/#Function-sb_002dext-save_002dlisp_002dand_002ddie%20" rel="nofollow noopener noreferrer" target="_blank"><code>save-lisp-and-die</code></a> function.</p><p>But doing I/O, or calling FFI functions, especially if you want to draw graphics, it would probably be pretty difficult.</p><p>I guess if you can implement a whole programming language like <a class="hashtag" href="https://fe.disroot.org/tag/erlang" rel="nofollow noopener noreferrer" target="_blank">#Erlang</a> in Prolog, why not a game.</p><p><a class="hashtag" href="https://fe.disroot.org/tag/games" rel="nofollow noopener noreferrer" target="_blank">#games</a> <a class="hashtag" href="https://fe.disroot.org/tag/prolog" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a class="hashtag" href="https://fe.disroot.org/tag/programminglanguage" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguage</a> <a class="hashtag" href="https://fe.disroot.org/tag/tech" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a class="hashtag" href="https://fe.disroot.org/tag/software" rel="nofollow noopener noreferrer" target="_blank">#software</a></p>
Stéphane Bortzmeyer<p>« Prolog : un langage deux syntaxes&nbsp;» de Mathilde Fichen</p><p>«&nbsp;Un vieux langage&nbsp;» Euh, <a href="https://mastodon.gougere.fr/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> est né après moi et je ne suis pas vieux (ces jeunes thésard·es sont impitoyables).</p><p><a href="https://mastodon.gougere.fr/tags/CIS_CNRS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CIS_CNRS</span></a></p>
Stéphane Bortzmeyer<p>Hop, on reprend et, fini, l'art, on passe aux choses sérieuses : la programmation. «&nbsp;Patrimoine et histoire du code&nbsp;» (attention, il va y avoir du <a href="https://mastodon.gougere.fr/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a>)</p><p><a href="https://mastodon.gougere.fr/tags/CIS_CNRS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CIS_CNRS</span></a></p>
Marcos Dione<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@hrefna" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>hrefna</span></a></span> so... it's a multispecific¹ purpose language. I wonder how hard would it be to create a parse in it, compile it to a library, and write a <a href="https://en.osm.town/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> wrapper and use it.</p><p><a href="https://en.osm.town/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a></p><p>¹ ™ ® pending.</p>
Jason H. Moore, Ph.D.<p>Sega’s extremely rare ‘80s “AI computer” <a href="https://arstechnica.com/gaming/2024/02/fans-preserve-and-emulate-segas-extremely-rare-80s-ai-computer/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arstechnica.com/gaming/2024/02</span><span class="invisible">/fans-preserve-and-emulate-segas-extremely-rare-80s-ai-computer/</span></a> <a href="https://mastodon.online/tags/retrocomputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>retrocomputing</span></a> <a href="https://mastodon.online/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prolog</span></a></p>