sueden.social ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Eine Community für alle, die sich dem Süden hingezogen fühlen. Wir können alles außer Hochdeutsch.

Serverstatistik:

1,8 Tsd.
aktive Profile

#prolog

0 Beiträge0 Beteiligte0 Beiträge heute
Mathias Hasselmann<p>Late to the party, but I really LOVE <a href="https://mastodon.green/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a>'s structural pattern matching. <a href="https://mastodon.green/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> is back, and this are <a href="https://mastodon.green/tags/GoodNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GoodNews</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>
Hacker News<p>Recreational programming: Tacit programming in Prolog</p><p><a href="https://github.com/mthom/scryer-prolog/discussions/2991" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/mthom/scryer-prolog</span><span class="invisible">/discussions/2991</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/RecreationalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RecreationalProgramming</span></a> <a href="https://mastodon.social/tags/TacitProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TacitProgramming</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/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ProgrammingDiscussion" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingDiscussion</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>
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>
Gene<p><span class="h-card" translate="no"><a href="https://eattherich.club/@swaggboi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>swaggboi</span></a></span> Although, that might be <a href="https://musician.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a>. Haha :D</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>
The ol' tealeg 🐡<p>You might say, with great fanfare and bluster, that generative AI is the very pinnacle of software creation! And the VCs doth sing mightily in thy praise!</p><p>Good sirrah, hold thy tongue. Have a care not to expose your ignorance! </p><p>Why? Pray tell, you beg of be.</p><p>Then let it be known, and hail it from the mountains! In this world, at this very time, there exists a software wonder one might scarcely dare to imagine!</p><p>An <a href="https://mastodon.online/tags/x11" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>x11</span></a> window manager, written in <a href="https://mastodon.online/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> !</p><p><a href="https://github.com/Seeker04/plwm" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/Seeker04/plwm</span><span class="invisible"></span></a></p>
Hacker News<p>Plwm – An X11 window manager written in Prolog</p><p><a href="https://github.com/Seeker04/plwm" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/Seeker04/plwm</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Plwm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Plwm</span></a> <a href="https://mastodon.social/tags/X11" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>X11</span></a> <a href="https://mastodon.social/tags/window" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>window</span></a> <a href="https://mastodon.social/tags/manager" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>manager</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/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHub</span></a> <a href="https://mastodon.social/tags/open" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>open</span></a> <a href="https://mastodon.social/tags/source" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>source</span></a></p>
Stefan Müller :verified:<p>1/ „Das DFKI, an dem etwa 1.500 Forschende überwiegend mit öffentlichen Mitteln arbeiten, wurde schon 1988 gegründet. Damit waren die Deutschen bei dem Thema eigentlich früh dran.“</p><p><a href="https://taz.de/Kuenstliche-Intelligenz/!6086074/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">taz.de/Kuenstliche-Intelligenz</span><span class="invisible">/!6086074/</span></a></p><p>Nun ja, nun ja. <a href="https://climatejustice.social/tags/KI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KI</span></a> war nicht immer das, was heute unter <a href="https://climatejustice.social/tags/KI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KI</span></a> läuft. Computerlinguistik war zum größten Teil symbolische KI. Es gab große Ontologien, die versuchten, menschliches Wissen zu formalisieren, so dass man mit logischen Schlussverfahren etwas daraus ableiten konnte. Expertensysteme.</p><p>Und schon nach dem Krieg wurde mit Machineller Übersetzung begonnen. Man dachte sich, wenn Turing die Enigma entschlüsseln konnte, müsste es auch möglich sein, maschinell zu übersetzen, denn letztendlich war das ja auch nur ein Dekodierungsproblem.</p><p>Irgendwann kam dann der ALPAC-Report und es gab den ersten AI winter. Komischerweise fehlt der in Wikipedia.</p><p><a href="https://de.wikipedia.org/wiki/Maschinelle_%C3%9Cbersetzung" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">de.wikipedia.org/wiki/Maschine</span><span class="invisible">lle_%C3%9Cbersetzung</span></a></p><p>Das war 1966. Also gab es schon damals KI. </p><p><a href="https://de.wikipedia.org/wiki/ELIZA" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">de.wikipedia.org/wiki/ELIZA</span><span class="invisible"></span></a></p><p>Weizenbaum hat auch 1966 <a href="https://climatejustice.social/tags/ELIZA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ELIZA</span></a> geschrieben. </p><p>Auch symbolische KI. In <a href="https://climatejustice.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a>. Als er sah, wie Menschen darauf reagierten wurde er zum KI-Kritiker. Die <a href="https://climatejustice.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> von heute sind sehr viel leistungsfähiger und sehr viel gefährlicher.</p><p>Ach so: Auf dem Bild ist Reinhard Karger vom <a href="https://climatejustice.social/tags/DFKI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DFKI</span></a>. Er hat immer die Demos von <a href="https://climatejustice.social/tags/VerbMobil" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VerbMobil</span></a> gemacht, das auch im Bild zu sehen ist. Lief damals auf ner SUN Sparc Station.</p><p>VerbMobil war das größte KI-Projekt, das es jemals in Deutschland gab. Wahrscheinlich auch international. Eigentlich zu groß.</p><p><a href="https://de.wikipedia.org/wiki/Verbmobil" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">de.wikipedia.org/wiki/Verbmobi</span><span class="invisible">l</span></a></p><p>Ich habe mit Walter Kasper die deutsche Grammatik gemacht. <a href="https://climatejustice.social/tags/HPSG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HPSG</span></a> <a href="https://climatejustice.social/tags/Linguistik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linguistik</span></a> <a href="https://climatejustice.social/tags/Computerlinguistik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Computerlinguistik</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://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://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://tenforward.social/@dboisvert" class="u-url mention" rel="nofollow noopener" 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" 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" target="_blank">#<span>Prolog</span></a> <a href="https://a2mi.social/tags/Murdle" class="mention hashtag" rel="nofollow noopener" 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" 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" 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" 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://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 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" 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" 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>
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" 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" 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" target="_blank">#<span>Clojure</span></a> <a href="https://en.osm.town/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> <a href="https://en.osm.town/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://en.osm.town/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> <a href="https://en.osm.town/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
Hacker News<p>Prolog's Eternal September (2017)</p><p><a href="https://storytotell.org/prologs-eternal-september" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">storytotell.org/prologs-eterna</span><span class="invisible">l-september</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</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/Eternal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Eternal</span></a> <a href="https://mastodon.social/tags/September" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>September</span></a> #2017 <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a></p>
Hacker News<p>How to Average in Prolog (2017)</p><p><a href="https://storytotell.org/how-to-average-in-prolog" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">storytotell.org/how-to-average</span><span class="invisible">-in-prolog</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/How" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>How</span></a> <a href="https://mastodon.social/tags/to" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>to</span></a> <a href="https://mastodon.social/tags/Average" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Average</span></a> <a href="https://mastodon.social/tags/in" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>in</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/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Average" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Average</span></a> <a href="https://mastodon.social/tags/Function" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Function</span></a> <a href="https://mastodon.social/tags/Hacker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hacker</span></a> <a href="https://mastodon.social/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> #2017</p>
Stefan Müller :verified:<p><span class="h-card" translate="no"><a href="https://wandering.shop/@xgranade" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>xgranade</span></a></span> <span class="h-card" translate="no"><a href="https://fire.asta.lgbt/@aud" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>aud</span></a></span> </p><p>Don't you start this LISP-Prolog fight again!</p><p>=:-)</p><p>Happy <a href="https://climatejustice.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> programmer since 1989.</p><p>But I do also <a href="https://climatejustice.social/tags/LISP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LISP</span></a>, for <a href="https://climatejustice.social/tags/emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emacs</span></a> and some other stuff.</p>
Hacker News<p>Prolog Adventure Game</p><p><a href="https://github.com/stefanrodrigues2/Prolog-Adventure-game" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/stefanrodrigues2/Pr</span><span class="invisible">olog-Adventure-game</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</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/Adventure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Adventure</span></a> <a href="https://mastodon.social/tags/Game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Game</span></a> <a href="https://mastodon.social/tags/PrologGame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrologGame</span></a> <a href="https://mastodon.social/tags/AdventureCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdventureCoding</span></a> <a href="https://mastodon.social/tags/GameDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GameDevelopment</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a></p>
Hacker News<p>Solving a "Layton Puzzle" with Prolog</p><p><a href="https://buttondown.com/hillelwayne/archive/a48fce5b-8a05-4302-b620-9b26f057f145/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">buttondown.com/hillelwayne/arc</span><span class="invisible">hive/a48fce5b-8a05-4302-b620-9b26f057f145/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Solving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Solving</span></a> <a href="https://mastodon.social/tags/a" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>a</span></a> <a href="https://mastodon.social/tags/Layton" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Layton</span></a> <a href="https://mastodon.social/tags/Puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Puzzle</span></a> <a href="https://mastodon.social/tags/with" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>with</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/LaytonPuzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LaytonPuzzle</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/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a></p>
José A. Alonso<p>Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). <a href="https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">prologsource.wordpress.com/202</span><span class="invisible">5/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a></p>
José A. Alonso<p>Building AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ai.gopubby.com/building-ai-for</span><span class="invisible">-mathematical-reasoning-996a81eb8b72</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/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>