lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

66
active users

#prolog

1 post1 participant0 posts today
thezerobit<p>If you feel any <a href="https://anticapitalist.party/tags/ImposterSyndrome" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ImposterSyndrome</span></a> as a programmer about calling yourself an "engineer", just start writing your backend server software in <a href="https://anticapitalist.party/tags/Erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Erlang</span></a>. Yes, you'll have to learn <a href="https://anticapitalist.party/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> syntax. Yes, you'll have to learn how to do fully functional programming with only immutable data structures. Yes, it is fully asynchronous and designed for reliability and fault tolerance. Yes, it is highly dynamic and can do things like update running software remotely with new code with zero downtime.</p>
José A. Alonso<p>Readings shared July 12, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/13-readings_shared_07-12-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/13-readings_shared_07-12-25</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofTheory</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a></p>
José A. Alonso<p>Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. <a href="https://elibrary.kdpu.edu.ua/bitstream/123456789/12019/1/CTE_838_Semerikov_et_al.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">elibrary.kdpu.edu.ua/bitstream</span><span class="invisible">/123456789/12019/1/CTE_838_Semerikov_et_al.pdf</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a></p>
José A. Alonso<p>Readings shared June 29, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/06/30-readings_shared_06-29-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/06/30-readings_shared_06-29-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Idris</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maxima</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>
José A. Alonso<p>Temas de "Lógica informática" (curso 2015-16). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-15/temas/temas-LI-2015-16.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/li-15/temas/temas-LI-2015-16.pdf</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Curso "Lógica informática (2015-16). <a href="https://jaalonso.github.io/cursos/li-15" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">5</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
Nils M Holm<p>The Mini <a href="https://mastodon.social/tags/CommonLISP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLISP</span></a> I have been working on now runs on CP/M with 2416 free cons cells. Enough to load Ken Kahn's tiny PROLOG and run a few simple queries.<br>The <a href="https://mastodon.social/tags/AgonLight" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AgonLight</span></a> (18MHz eZ80) loads the LISP part of the code (236 lines) in 11 seconds. Simple programs run at acceptable speed, but slightly more complex PROLOG queries take *minutes*. :) <br><a href="https://mastodon.social/tags/LISP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LISP</span></a> <a href="https://mastodon.social/tags/CPM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CPM</span></a> <a href="https://mastodon.social/tags/PROLOG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PROLOG</span></a> <a href="https://mastodon.social/tags/Z80" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Z80</span></a></p>
José A. Alonso<p>Temas de "Lógica informática" (curso 2014-15). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-14/temas/temas-LI-2014-15.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/li-14/temas/temas-LI-2014-15.pdf</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Curso "Lógica informática (2014-15)". <a href="https://jaalonso.github.io/cursos/li-14" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">4</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
Dimly Lit Corners<p><a href="https://c.im/tags/Goals2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Goals2025</span></a> </p><p>Moving away from the constant upgrade cycle &amp; moving closer to the ideals of <a href="https://c.im/tags/PermaComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PermaComputing</span></a> <a href="https://c.im/tags/MalleableSoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MalleableSoftware</span></a> </p><p>Design and setup a redundant system of old/used, cheap, low-power devices running ia: <a href="https://c.im/tags/Guix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Guix</span></a>, <a href="https://c.im/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linux</span></a>, <a href="https://c.im/tags/FreeBSD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FreeBSD</span></a>, <a href="https://c.im/tags/macOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>macOS</span></a>, <a href="https://c.im/tags/HaikuOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HaikuOS</span></a>, <a href="https://c.im/tags/Plan9Front" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Plan9Front</span></a>, <a href="https://c.im/tags/X11" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>X11</span></a>, <a href="https://c.im/tags/P9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>P9</span></a>, <a href="https://c.im/tags/NFS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NFS</span></a>, all working together </p><p>Become an expert on <a href="https://c.im/tags/MicroControllers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MicroControllers</span></a> <a href="https://c.im/tags/ESP32" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ESP32</span></a> <a href="https://c.im/tags/STM32" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>STM32</span></a> <a href="https://c.im/tags/RP2040" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RP2040</span></a> <a href="https://c.im/tags/MIPS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MIPS</span></a> <a href="https://c.im/tags/RiscV" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RiscV</span></a> </p><p>DIY sensors which sing like birds to communicate their status</p><p>DIY robots "drones" </p><p>Move as much as possible of my computing needs to the <a href="https://c.im/tags/Terminal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Terminal</span></a>, <a href="https://c.im/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a>, <a href="https://c.im/tags/Rio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rio</span></a> <a href="https://c.im/tags/CLI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLI</span></a> <a href="https://c.im/tags/TUI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TUI</span></a> <a href="https://c.im/tags/P9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>P9</span></a> </p><p>Get an <a href="https://c.im/tags/3DPrinter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3DPrinter</span></a> and learn to use it</p><p>Design and build my own portable 8dot <a href="https://c.im/tags/braille" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>braille</span></a> terminal &amp; try out if 3x3 or 3x4 dots is also workable.</p><p>Design and build my own low-power computers, their OS, and tools</p><p>Writing more of my own tools <a href="https://c.im/tags/DIY" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DIY</span></a></p><p><a href="https://c.im/tags/SmallTalk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SmallTalk</span></a> <a href="https://c.im/tags/ObjectPascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ObjectPascal</span></a> <a href="https://c.im/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://c.im/tags/Scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Scheme</span></a> <a href="https://c.im/tags/Racket" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Racket</span></a> <a href="https://c.im/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> <a href="https://c.im/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://c.im/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://c.im/tags/Go" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Go</span></a> <a href="https://c.im/tags/ObjectiveC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ObjectiveC</span></a> <a href="https://c.im/tags/Swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Swift</span></a></p><p>Deploy <a href="https://c.im/tags/LoRa" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LoRa</span></a> <a href="https://c.im/tags/ReticullumNetwork" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ReticullumNetwork</span></a> <a href="https://c.im/tags/RNodes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RNodes</span></a> <a href="https://c.im/tags/MeshCore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MeshCore</span></a> <a href="https://c.im/tags/Meshtastic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Meshtastic</span></a> </p><p>Start an <a href="https://c.im/tags/InternetResiliencyClub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>InternetResiliencyClub</span></a> </p><p>Add <a href="https://c.im/tags/Tor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tor</span></a>, <a href="https://c.im/tags/I2P" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>I2P</span></a> support by <a href="https://c.im/tags/WebProxy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WebProxy</span></a> </p><p><a href="https://c.im/tags/SolarPowered" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SolarPowered</span></a> <a href="https://c.im/tags/SelfHost" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SelfHost</span></a> over <a href="https://c.im/tags/I2P" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>I2P</span></a>, <a href="https://c.im/tags/OnionService" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OnionService</span></a> <a href="https://c.im/tags/Blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Blog</span></a> <a href="https://c.im/tags/Wiki" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Wiki</span></a> <a href="https://c.im/tags/Repositories" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Repositories</span></a> <a href="https://c.im/tags/GopherHole" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GopherHole</span></a> <a href="https://c.im/tags/Darcs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Darcs</span></a> <a href="https://c.im/tags/Mercurial" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mercurial</span></a> </p><p><a href="https://c.im/tags/SelfHost" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SelfHost</span></a> my own <a href="https://c.im/tags/EmailServer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EmailServer</span></a>, which will only accept email from <a href="https://c.im/tags/KnownServers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KnownServers</span></a> <a href="https://c.im/tags/CommunityEmail" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommunityEmail</span></a> <a href="https://c.im/tags/MutualEmailAcceptance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MutualEmailAcceptance</span></a> </p><p>Share files via <a href="https://c.im/tags/BitTorrent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BitTorrent</span></a> over <a href="https://c.im/tags/I2P" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>I2P</span></a> </p><p>DIY <a href="https://c.im/tags/HomeAutomation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HomeAutomation</span></a><br>DIY <a href="https://c.im/tags/GardeningAutomation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GardeningAutomation</span></a><br>DIY <a href="https://c.im/tags/GreenHouse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GreenHouse</span></a> </p><p>Get a house cat, train the cat, use voice and gestures</p><p>Start asking money for advice &amp; technology support</p><p>Build/program my own opportunistic and strange cryptocurrency miners <a href="https://c.im/tags/BTC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BTC</span></a>, <a href="https://c.im/tags/XMR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XMR</span></a>, <a href="https://c.im/tags/ZEC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZEC</span></a>, etc <a href="https://c.im/tags/Art" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Art</span></a> </p><p><a href="https://c.im/tags/MakeMoreArt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MakeMoreArt</span></a> <a href="https://c.im/tags/LearnToDraw" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LearnToDraw</span></a> <a href="https://c.im/tags/Learn3DModeling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Learn3DModeling</span></a> <a href="https://c.im/tags/LearnGenerativeArt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LearnGenerativeArt</span></a> <a href="https://c.im/tags/LearnToComposeAmbientMusic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LearnToComposeAmbientMusic</span></a> </p><p><a href="https://c.im/tags/ReCreateJottit" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ReCreateJottit</span></a> <a href="https://c.im/tags/ReCreateInstikiWiki" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ReCreateInstikiWiki</span></a> </p><p><a href="https://c.im/tags/WriteMore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WriteMore</span></a> <a href="https://c.im/tags/PublishMore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PublishMore</span></a> <a href="https://c.im/tags/Letters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Letters</span></a>, <a href="https://c.im/tags/Essays" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Essays</span></a>, <a href="https://c.im/tags/Missives" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Missives</span></a>, <a href="https://c.im/tags/Reports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reports</span></a>, <a href="https://c.im/tags/Treatise" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Treatise</span></a> </p><p>…</p><p><a href="https://c.im/tags/Incomplete" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Incomplete</span></a> <a href="https://c.im/tags/Ongoing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ongoing</span></a> <a href="https://c.im/tags/NotFinal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NotFinal</span></a></p>
José A. Alonso<p>Readings shared June 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/06/22-readings_shared_06-21-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/06/22-readings_shared_06-21-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/HOL4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL4</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Curso "Lógica informática (2013-14)". <a href="https://jaalonso.github.io/cursos/li-13" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">3</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" 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" 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" 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" 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" 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" target="_blank">@<span>DMX</span></a></span> <span class="h-card" translate="no"><a href="https://kvlt.zone/@infernusgoatus" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>infernusgoatus</span></a></span> </p><p>And Prolog.</p><p><a href="https://github.com/galaxor/murdle/blob/01db3603bd939aad38edcf14275e27002a1bcacc/murdle-2025-06-11-Wednesday.pl" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/galaxor/murdle/blob</span><span class="invisible">/01db3603bd939aad38edcf14275e27002a1bcacc/murdle-2025-06-11-Wednesday.pl</span></a></p><p>Maybe sometime, I'll switch to doing this in Mercury, just to feel something. It's a prolog-inspired logic programming language with, like, types and stuff? And it compiles ahead-of-time?</p><p><a href="https://a2mi.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://a2mi.social/tags/Mercury" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mercury</span></a></p>
José A. Alonso<p>Readings shared June 9, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/06/09-readings_shared_06-09-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/06/09-readings_shared_06-09-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/AIforMath" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIforMath</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
José A. Alonso<p>Curso "Lógica informática (2012-13)". <a href="https://jaalonso.github.io/cursos/li-12" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">2</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nL%C3%B3gica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónLógica</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). <a href="https://arxiv.org/abs/2108.09893" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2108.09893</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Exploring topological spaces with Prolog: A practical approach using "Mathematics with Prolog". ~ Kenichi Sasagawa. <a href="https://medium.com/@kenichisasagawa/exploring-topological-spaces-with-prolog-a-practical-approach-using-mathematics-with-prolog-b5806bb8b98f" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">medium.com/@kenichisasagawa/ex</span><span class="invisible">ploring-topological-spaces-with-prolog-a-practical-approach-using-mathematics-with-prolog-b5806bb8b98f</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
jnpn<p><a href="https://mastodon.social/tags/prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>prolog</span></a> + <a href="https://mastodon.social/tags/llms" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>llms</span></a> </p><p><a href="https://quantumprolog.sgml.net/llm-demo/part1.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">quantumprolog.sgml.net/llm-dem</span><span class="invisible">o/part1.html</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" 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" 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" 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" 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" 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" 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" 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" target="_blank">#<span>murdle</span></a> <a href="https://a2mi.social/tags/prolog" class="mention hashtag" rel="nofollow noopener" 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" 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" 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" 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" 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" 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" 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" 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" target="_blank">#<span>murdle</span></a> <a href="https://a2mi.social/tags/prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>prolog</span></a></p>