#LogicProgramming
LightNews LightNews
jalonso.eurosky.social
Representing graphs in Prolog. ~ Markus Triska. youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming
Representing Graphs in Prolog
YouTube video by The Power of Prolog
youtu.be
April 4, 2026 at 6:31 PM
jalonso.eurosky.social
The simplicity of Prolog. ~ Ties Westendorp. bitsandtheorems.com/the-simplici... #Prolog #LogicProgramming
January 28, 2025 at 7:39 AM
jalonso.eurosky.social
Enscryerypt: Encrypt and decrypt files with Scryer Prolog. ~ Markus Triska. youtu.be/60kHy3vDvU8 #Prolog #LogicProgramming
Enscryerypt: Encrypt and decrypt files with Scryer Prolog
YouTube video by The Power of Prolog
youtu.be
September 21, 2026 at 10:29 AM
jalonso.eurosky.social
Proof theory and logic programming: Computation as proof search. ~ Dale Miller. www.lix.polytechnique.fr/Labo/Dale.Mi... #Logic #ProofTheory #LogicProgramming
July 12, 2025 at 7:01 AM
jalonso.eurosky.social
On LLM-generated logic programs and their inference execution methods. ~ Paul Tarau. cgi.cse.unsw.edu.au/~eptcs/paper... #LLMs #LogicProgramming #Prolog
February 13, 2025 at 11:32 AM
jalonso.eurosky.social
Ground lambda Prolog. ~ Philip Zucker (@sandmouth.bsky.social). www.philipzucker.com/ground_lambd... #Prolog #LogicProgramming #Z3 #SMT
November 26, 2024 at 11:14 AM
jalonso.eurosky.social
Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. www.johndcook.com/blog/2026/06... #Prolog #LogicProgramming #LLMs
June 12, 2026 at 10:39 AM
jalonso.eurosky.social
Everything you know is wrong. ~ Lawrence Paulson. lawrencecpaulson.github.io/2025/09/20/W... #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification
September 20, 2025 at 3:33 PM
jalonso.eurosky.social
Macros in Prolog: Term and goal expansion. ~ Markus Triska. youtu.be/E8byql4RaUY #Prolog #LogicProgramming
Macros in Prolog: Term and Goal Expansion
YouTube video by The Power of Prolog
youtu.be
August 9, 2025 at 4:08 PM
jalonso.eurosky.social
The Prolog Trinity ecosystem (Extracts from the current manuscripts). ~ Torbjörn Lager. torbjornlager.github.io/documents/bo... #Prolog #LogicProgramming
November 21, 2024 at 7:40 AM
jalonso.eurosky.social
meta_predicate declarations. ~ Markus Triska. youtu.be/m3cbgebcKng #Prolog #LogicProgramming
meta_predicate declarations
YouTube video by The Power of Prolog
youtu.be
April 7, 2025 at 7:05 AM
jalonso.eurosky.social
Building AI for mathematical reasoning. ~ Chris Garcia. ai.gopubby.com/building-ai-... #Prolog #LogicProgramming #Logic #Math
Building AI for Mathematical Reasoning
Symbolic computation to complement and enhance large language models
ai.gopubby.com
April 5, 2025 at 7:18 AM
jalonso.eurosky.social
Writing Prolog with ChatGPT. ~ John D. Cook. www.johndcook.com/blog/2026/06... #Prolog #LogicProgramming #ChatGPT
June 16, 2026 at 10:03 AM
jalonso.eurosky.social
Can logic programming be liberated from predicates and backtracking? ~ Michael Hanus. www-ps.informatik.uni-kiel.de/~mh/papers/W... #LogicProgramming
October 11, 2024 at 4:22 PM
symbo1ics.bsky.social
Spend 2 minutes with Prolog

youtu.be/G_eYTctGZw8?...

#logicProgramming
"Production Prolog" by Michael Hendricks
YouTube video by Strange Loop Conference
youtu.be
February 16, 2025 at 1:21 AM
jalonso.eurosky.social
Curso "Programación declarativa (2009-10)". jaalonso.github.io/cursos/pd-09 #Haskell #FunctionalProgramming #Prolog #LogicProgramming
March 28, 2025 at 12:25 PM
jalonso.eurosky.social
Programación lógica con restricciones. jaalonso.github.io/materias/PLc... #Prolog #LogicProgramming
October 15, 2024 at 4:29 PM
jalonso.eurosky.social
Principles of rule-based programming. ~ Thom Frühwirth. books.google.com/books/?id=ci... #CHR #Constraint #LogicProgramming
Principles of Rule-Based Programming
The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Sema...
books.google.com
March 15, 2025 at 11:31 AM
jalonso.eurosky.social
Collatz conjecture in Prolog. ~ Markus Triska. youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
Collatz Conjecture in Prolog
YouTube video by The Power of Prolog
youtu.be
May 3, 2026 at 5:53 PM
jalonso.eurosky.social
Bitcoinolog: Reason about Bitcoin addresses with Prolog. ~ Markus Triska. youtu.be/bpCMklQeJKQ #Prolog #LogicProgramming
Bitcoinolog: Reason about Bitcoin addresses with Prolog
YouTube video by The Power of Prolog
youtu.be
April 27, 2025 at 11:24 AM
jalonso.eurosky.social
Curso "Programación declarativa (2006-07)". jaalonso.github.io/cursos/pd-06 #LogicProgramming #Prolog #AI #NLP #Constraints #Logic
March 15, 2025 at 6:00 PM
jalonso.eurosky.social
Enhancing mathematical reasoning in LLMs with background operators. ~ Jiajun Chen, Yik-Cheung Tam. arxiv.org/abs/2412.04110 #LLMs #Prolog #LogicProgramming
December 10, 2024 at 7:18 AM
jalonso.eurosky.social
ediprolog: Emacs does interactive Prolog. ~ Markus Triska. youtu.be/wtMmw0HlXTg #Prolog #LogicProgramming #Emacs
ediprolog — Emacs Does Interactive Prolog
YouTube video by The Power of Prolog
youtu.be
August 17, 2026 at 11:19 AM
jalonso.eurosky.social
Readings shared June 22, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog
June 22, 2026 at 7:26 AM
jalonso.eurosky.social
Readings shared November 21, 2024. jaalonso.github.io/vestigium/po... #ITP #Lean4 #Coq #Haskell #OCaml #FunctionalProgramming #ITP #Prolog #LogicProgramming #Math
November 22, 2024 at 10:34 AM