#prolog — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #prolog, aggregated by home.social.
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog
-
Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog
-
Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog
-
Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog
-
Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
-
Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
-
Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
-
Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
-
Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
-
via @dotnet : RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://ift.tt/F9j4UYI
#RTAssitant #MultiAgent #VoiceBot #NET #OpenAI #RealtimeAPI #WebRTC #FSharp #FlowBusAgents #RTFlow #Prolog #TauProlog #RAG #PrologFacts #SQLtoProlog #MAUI #Fabulous … -
via @dotnet : RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://ift.tt/F9j4UYI
#RTAssitant #MultiAgent #VoiceBot #NET #OpenAI #RealtimeAPI #WebRTC #FSharp #FlowBusAgents #RTFlow #Prolog #TauProlog #RAG #PrologFacts #SQLtoProlog #MAUI #Fabulous … -
via @dotnet : RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://ift.tt/F9j4UYI
#RTAssitant #MultiAgent #VoiceBot #NET #OpenAI #RealtimeAPI #WebRTC #FSharp #FlowBusAgents #RTFlow #Prolog #TauProlog #RAG #PrologFacts #SQLtoProlog #MAUI #Fabulous … -
via @dotnet : RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://ift.tt/F9j4UYI
#RTAssitant #MultiAgent #VoiceBot #NET #OpenAI #RealtimeAPI #WebRTC #FSharp #FlowBusAgents #RTFlow #Prolog #TauProlog #RAG #PrologFacts #SQLtoProlog #MAUI #Fabulous … -
via @dotnet : RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://ift.tt/F9j4UYI
#RTAssitant #MultiAgent #VoiceBot #NET #OpenAI #RealtimeAPI #WebRTC #FSharp #FlowBusAgents #RTFlow #Prolog #TauProlog #RAG #PrologFacts #SQLtoProlog #MAUI #Fabulous … -
From the .NET blog...
In case you missed it earlier...
RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://devblogs.microsoft.com/dotnet/rt-assistant-a-realtime-multiagent-voice-bot-using-dotnet-and-open-ai-api/ #dotnet #NETMAUI #AI #DeveloperStories #fsharp #multiagent #openai #Prolog #voice #WebRTC -
RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://devblogs.microsoft.com/dotnet/rt-assistant-a-realtime-multiagent-voice-bot-using-dotnet-and-open-ai-api/#microsoft #NET #NET_MAUI #AI #Developer_Stories #F #multi_agent #openai #Prolog #voice #WebRTC
-
From the .NET blog...
RT.Assistant: A Multi-Agent Voice Bot Using .NET and OpenAI
https://devblogs.microsoft.com/dotnet/rt-assistant-a-realtime-multiagent-voice-bot-using-dotnet-and-open-ai-api/ #dotnet #NETMAUI #AI #DeveloperStories #fsharp #multiagent #openai #Prolog #voice #WebRTC
