#prolog — Public Fediverse posts

@aud Assembler for (a) speed and (b) gatekeeping. Not Prolog and definitely not APL because APL is simply insane. Possibly with a side project purporting to write it in Lisp just to draw in all the posers and weirdos and those who weirdly pose as weirdos.
#assembler #prolog #apl #lisp

3/ Cooler Workshop. Eigentlich haben keine zwei dieselben Meinungen zu irgendeinem Thema. #GALL

Hatte gestern ein Treffen mit Gerald Penn und er hat ein paar Fehler in meinem Grammatik-Code repariert und auch einen Bug in #TRALE gefixt.

Heute habe ich mich dann mit Frank Richter getroffen. Der hat mir gezeigt, wie man SOMEAISYSTEM mit TRALE koppeln kann. Ich brauchte Code, der mir phonologische Information in Lexikonregeln einbaut. Das System hat den kompletten #Prolog-Quellcode von TRALE eingelesen und meine Grammatik auch. Es hat ein bisschen „nachgedacht“ und getestet und hat eine Lösung gefunden. Auf Nachfrage hat es mir ein Wort im GUI angezeigt. Ich hätte nicht gewusst, wie ich von der Kommandozeile ein Wort einfach so hätte anzeigen können. Obwohl ich die GUI-Sachen von TRALE ja mitprogrammiert habe.

Ich habe die Lösung dann Gerlad Penn gezeigt und er konnte sie vereinfachen (was an kompliziertem Hin-und-her zwischen Prolog und TRALE-Code lag, das in diesem Fall nicht nötig war).

Das alles ist krass.

Es gibt nur einen Mensch auf der Welt, der TRALE versteht. Und vielleicht zwanzig #KI-Systeme. Und wer programmiert noch #Prolog?

#Grammatik #Linguistik

🚀 Eyepl v0.1.14 is out!

Facts + rules → answers + inspectable proofs.

✅ 1,020 tests passing
✅ 555 executable conformance cases
✅ 137 focused ISO Prolog cases
✅ RDF 1.2 support
✅ Tiny, auditable JavaScript core

Try it: https://github.com/eyereasoner/eyepl

#Prolog #LogicProgramming #SemanticWeb #OpenSource

Readings shared July 27, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/27-readings_shared_07-27-26 #AI #AI4Math #Agda #Aristotle #ITP #IsabelleHOL #LeanProver #Logic #Math #Prolog #RocqProver

I wrote some solutions for TWC for the first time in a year. It's been too long @manwar !

Blog of both #Perl and #Prolog code: http://www.rabbitfarm.com/cgi-bin/blosxom/2026/07/25

Case study: solving P-99 with LPTP and an LLM. ~ Fred Mesnard, Thierry Marianne, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21196v1 #AI4Math #LPTP #Prolog

Case study: proving sqrt(2) irrational with LPTP and an LLM. ~ Fred Mesnard, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21187v1 #AI4Math #LPTP #Prolog

Frank Bergmann, an old friend of mine, is giving a talk at #AGI2026. About AI and conciousness. We did parallel #Prolog back in 1995. This is #symbolicAI He is a Buddhist and a philosopher and an AI person. Cool mix.

#GeneralAI #AI

https://functional-consciousness.com/

Here’s a short investigation I did showing that climate scientists no longer post to Twitter and instead have moved to Bluesky.

For fun, I collected the data in a Prolog database with sample queries.

#climate #socialmedia #prolog https://fosstodon.org/@hpincket_dot_com/116961595039637881

Ah yes, the timeless classic of web development—requiring #JavaScript to read about a language from 1972. 🙄 Because, clearly, the birth of #Prolog in 1996 is a riveting tale best told by a JavaScript prompt. 🖥️✨
https://dl.acm.org/doi/10.1145/234286.1057820 #webdevelopment #programminglanguages #techhumor #HackerNews #ngated

The Birth of Prolog (1996)

https://dl.acm.org/doi/10.1145/234286.1057820

Comments: https://news.ycombinator.com/item?id=48953468

#HackerNews #Prolog #History #Programming #AI #Logic

Ah, yes, the "hyperrelational" utopia where #Prolog and #SQLite join forces for the ultimate knowledge base 🤖💾. It's the perfect playground for those who believe their C skills will save the world from the horror of non-content-addressable storage 😂. Welcome to the era of over-engineered yet underwhelming tech marvels! 🎉
https://github.com/mat-mgm/kb-prolog #hyperrelational #knowledgebase #techmarvels #overengineering #HackerNews #ngated

Kb – Prolog Knowledge Base

https://github.com/mat-mgm/kb-prolog

#HackerNews #Kb #Prolog #Knowledge #Base #Prolog #AI #GitHub #OpenSource

At almost 800 pages The Architecture of Symbolic Computers by Peter Kogge (McGraw-Hill, 1991) is a massive tome on Lisp Machines, logic systems, and other symbolic computer architectures.

https://archive.org/details/architectureofsy0000kogg

#LispMachine #lisp #prolog #FunctionalProgramming #retrocomputing #book

Programming Languages I Have Known and Loved (and Hated) https://lowendbox.com/blog/programming-languages-i-have-known-and-loved-and-hated/ #regularexpression #Editorial&News #applescript #javascript #assembler #smalltalk #assembly #algol68 #FORTRAN #haskell #redcode #scratch #erlang #golang #PASCAL #pl/sql #prolog #python #algol #basic #batch #cobol #dbase #elisp #emacs #forth #regex #swift #bash #java #lisp #perl #PL/I #ruby #Rust #ada #apl #awk #csh #JCL #ksh #lua #PHP #rpg #SQL #go #m4 #c #r

Readings shared June 22, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/22-readings_shared_06-22-26 #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog

Writing Prolog with ChatGPT. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/15/writing-prolog-with-chatgpt/ #Prolog #LogicProgramming #ChatGPT

Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/11/prolog-claude/ #Prolog #LogicProgramming #LLMs

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.

Learning ProLog with Pokémon.
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

poke @caranha
#prolog #Pokemon

Prolog Coding Horror

https://www.metalevel.at/prolog/horror

#HackerNews #Prolog #Coding #Horror #CodingHorror #PrologProgramming #SoftwareDevelopment #TechHumor

🧙‍♂️✨ Oh joy, yet another tech blogger has discovered the ancient art of #Prolog through the mystical lens of #Pokémon, because nothing screams cutting-edge software development like a children's game from the '90s. 🎮🤦‍♂️ Apparently, understanding the relationship between Pikachu and Charmander is the key to unlocking the universe of logical programming—who knew? 🧐🔥
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/ #techblogger #softwaredevelopment #nostalgia #HackerNews #ngated