#prolog is pretty cool with it's bidirectional recursion brainfuckery. Currently giving me a bit of a headache but I'm waiting to feel the galaxy brain of understanding anytime now. Aaaany time now.

Mare frică este, fraților, în ceasul morții, că sufletul se desparte de trup cu frică și cu dureri Fericit este acela care, din toate câte le-a făcut în viață, a aflat îndrăzneală în ceasul despărțirii, când se desparte sufletul de trupul său 👉 https://c.aparatorul.md/migbp 👈 #Arhangheli #ÎmpărățiaCerurilor #Îngeri #CeasulMorţii #EfremSirul #Hristos #Judecata #Prolog #Rai #suflet
https://c.aparatorul.md/migbp

This is the #Esperanto #C program, translated into #Python, then into #Prolog, with little effort to clean up the mess of translation, but as I said, no apparent attribution.

The file name reflects this. "analizilo3c_py00.pl". That is probably:
pl for Prolog. version 00
_py for Python (Probably 2)
I guess it is based on "analizilo3.c".
Last edit was December 20th, 2009. The Python and original are probably much older.

https://gist.github.com/AdamOnza/75599822bdc07fed5f2246e261e14fab

I do have the source code, of a #Prolog translation, of a #Python translation, of the original #C. It has the original C file names, but it doesn't seem to have the attribution. (I am usually careful to include that, but apparently, mistakes were made...)

I suppose I could translate it _back_ into C. xD But I really want to give credit where credit is due.

#COBOL (*suspiro*), #Prolog (*ains*), #Simula67 (oh!), #Modula2 (ah!), #SML (+ #MoscowML y #PolyML), #APL (jijiji), #BASIC modernizao, #LISP, #C, #JULIA.

Check this!

🤖 How Claude Desktop™ Uses swipl-mcp-server to Solve the 4-Queens Problem...
https://github.com/vpursuit/swipl-mcp-server?tab=readme-ov-file#-how-claude-desktop-uses-swipl-mcp-server-to-solve-the-4-queens-problem

#mcp #agenticAI #prolog #swipl

#COBOL (*suspiro*), #Prolog (*ains*), #Simula67 (oh!), #Modula2 (ah!), #SML, #APL (jijiji), #BASIC modernizao, #LISP, #C, #JULIA.

If you didn't enjoy learning Prolog at university, and find the traditional textbooks not very accessible ...

Prolog by Example is designed for you!

* short chapters introducing a concept
* one small prolog example per chapter
* minimal jargon, focus on ideas, not language
* all code free online and

Image attached is a map of our learning journey.

book: https://www.amazon.com/dp/B0BTQ7P69H/

code: https://github.com/prologbyexample/code

video tutorials: https://www.youtube.com/@prologbyexample/videos

#prolog #logic #cs #metaprogramming

If you didn't enjoy learning Prolog at university, and find the traditional textbooks not very accessible ...

Prolog by Example is designed for you!

* short chapters introducing a concept
* one small prolog example per chapter
* minimal jargon, focus on ideas, not language
* all code free online and

Image attached is a map of our learning journey - and yes, meta-programming isn't too difficult with prolog !

book: https://www.amazon.com/dp/B0BTQ7P69H/

code: https://github.com/prologbyexample/code

video tutorials: https://www.youtube.com/@prologbyexample/videos

#prolog #logic #cs #metaprogramming

🚀 Just published @vpursuit/swipl-mcp-server on npm:
Run SWI-Prolog as a Model Context Protocol (MCP) server, so AI agents can use logic programming and reasoning.

👉 npm: https://www.npmjs.com/package/@vpursuit/swipl-mcp-server
👉 repo: https://github.com/vpursuit/swipl-mcp-server

#Prolog #swipl #mcp #npm #aiagent

Mare frică este, fraților, în ceasul morții, că sufletul se desparte de trup cu frică și cu dureri Fericit este acela care, din toate câte le-a făcut în viață, a aflat îndrăzneală în ceasul despărțirii, când se desparte sufletul de trupul său 👉 https://c.aparatorul.md/6mgb8 👈 #Arhangheli #ÎmpărățiaCerurilor #Îngeri #CeasulMorţii #EfremSirul #Hristos #Judecata #Prolog #Rai #suflet
https://c.aparatorul.md/6mgb8

#PROLOG #RabittHole

🚀✨ Behold, Dyna: the brainchild of machine learning mavericks who decided #Prolog wasn't inscrutable enough. Now with weighted rules! Because who wants their logic programming to be intuitive or user-friendly? 😅🔍
https://dyna.org/ #Dyna #MachineLearning #LogicProgramming #Innovation #HackerNews #ngated

@samebchase #smalltalk #elixir #prolog #FSharp #scheme #erlang

one day some frontend dev will replace react diff with unification and just like that millions of devs will be doing prolog without knowing

#prolog #tree #diff #unification

Readings shared August 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25 #AI #FunctionalProgramming #Haskell #IMO #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog

Macros in Prolog: Term and goal expansion. ~ Markus Triska. https://youtu.be/E8byql4RaUY #Prolog #LogicProgramming

Proyecto para hoy: añadir al #grafo la caracterización de #libertad y ver cómo implementarlo en #PROLOG. :-)

RE: https://bsky.app/profile/did:plc:wge2pxx433rrmrhufniwht4i/post/3lvukuxkvok2z

A bote pronto, en los que imperioromanamente pienso: #COBOL (*suspiro*), #Prolog (*ains*), #Simula67 (oh!), #Modula2 (ah!), #SML, #APL (jijiji), #BASIC modernizao, #LISP, #C. Ya pondremos más.

Extended Dependency Structures and their Formal Interpretation ∗

https://arxiv.org/pdf/cmp-lg/9604021v1

#vintage #prolog #nlp