#LogicProgramming
LightNews LightNews
cambup-scieng.cambridge.org
Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information.
📚 https://cup.org/4ecriPH
#logic #logicprogramming
Blue promotional banner for "Theory and Practice of Logic Programming" by Cambridge University Press, featuring abstract geometric shapes and the text "Submit Your Paper.
November 5, 2026 at 12:00 PM
jalonso.eurosky.social
Weekly reads: Oct 19 – Oct 25, 2026.

🇬🇧 English: jaalonso.github.io/vestigium/en...

🇪🇸 Spanish: jaalonso.github.io/vestigium/po...

#AI #AI4Math #ITP #Lean4Challenge #LeanProver #Logic #LogicProgramming #Math #Prolog #RetoLean4
Weekly reads: Oct 19 – Oct 25, 2026
Here are the 42 reads I shared on Mastodon this past week. This week's main thread is, once again, the future of mathematics in the age of AI. Most of the AI4Math reads come from the Proofs and Prompt
jaalonso.github.io
October 26, 2026 at 7:28 AM
jalonso.eurosky.social
Simply logical-- The first three decades. ~ Peter Flach, Kacper Sokol, Jan Wielemaker. arxiv.org/abs/2610.28912

#Prolog #LogicProgramming
Simply Logical -- The First Three Decades
This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 1994, via various inte...
arxiv.org
October 22, 2026 at 9:16 AM
jalonso.eurosky.social
Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver
Weekly reads: Sep 28 – Oct 4, 2026
Here are the reads I shared on Mastodon this past week: 1. Lean 4 A constructive ATLAS of finite simple groups in Lean. ~ Gerald Höhn. #LeanProver #ITP #AI4Math A Lean formalization of the Hamilton-P
jaalonso.github.io
October 5, 2026 at 11:02 AM
jalonso.eurosky.social
Readings shared: 21-27 September, 2026. jaalonso.github.io/vestigium/po... #AI4Maht #Agda #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #RocqProver
Readings shared September 28, 2026
The readings shared in Mastodon on 28 September 2026 are: A formalization at large (Laver function in Lean). ~ Leheng Chen, Bin Dong, Jiedong Jiang, Zhiyuan Zhang. #LeanProver #ITP #Math Formalizatio
jaalonso.github.io
September 28, 2026 at 7:06 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
symbo1ics.bsky.social
"Mercury (statically typed logic programming language (also with static mode and determinism checking)) had language integration with the deductive database Aditi"

#gofai #logicprogramming
August 29, 2026 at 10:12 PM
jalonso.eurosky.social
Readings shared: 17-23 August, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver
Readings shared August 24, 2026
The readings shared in Mastodon on 24 August 2026 are: A Lean formalization of the main theorem of the paper "Low-rank univariate sum of squares has no spurious local minima". ~ Chenyang Yuan. #LeanP
jaalonso.github.io
August 24, 2026 at 10:03 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
apisani.bsky.social
🚀 Announcing langchain-prolog: Bringing Logic Programming to @langchain.bsky.social .

python.langchain.com/docs/integra...

#LangChain #Prolog #AI #LLM #GenAI #LogicProgramming #SymbolicAI #Ontology #KnowledgeGraphs #KG #SemanticWeb #OWL #RDF #ExpertSystems #AITooling #OpenSource #PythonLibrary
SWI-Prolog | 🦜️🔗 LangChain
SWI-Prolog offers a comprehensive free Prolog environment.
python.langchain.com
March 4, 2025 at 10:07 PM
bdehbozorgi83.bsky.social
Protégé = programming for meaning

Not just an editor - a language where:

Classes = types

Reasoners = compilers

Modeling ontologies is coding knowledge.

#ontology #AI #knowledgegraphs #Protégé #programming #taxonomy #declarativelanguages #logicprogramming

Full vision: medium.com/@alirezadehb...
Protégé as a Programming Language: Rethinking Ontology Engineering Beyond the IDE
What if Protégé wasn’t just a development environment, but a language in its own right? What if we’ve been overlooking its potential as a…
medium.com
July 21, 2025 at 12:57 AM
vdignum.bsky.social
Day 5: 50 years European AI conference ECAI
www.linkedin.com/posts/vdignu...

#AI #logicprogramming #Europe #AIgovernance #AIregulation #prolog
#countdown2025
Virginia Dignum on LinkedIn: #ai #neurosymbolic #ai #logicprogramming #europe #aigovernance…
🎉Day 5 : 50 years of ECAI – the European AI conference 🥳 Today I celebrate 5 decades of the European AI conference: https://www.ecai2024.eu/ Europe has…
www.linkedin.com
December 5, 2024 at 7:17 AM
getnews-me.bsky.social
stableKanren extends miniKanren with a numeric constraint store and heuristic constraints, cutting the search space in the classic SEND+MORE=MONEY puzzle. (5 Oct 2025) Read more: https://getnews.me/stablekanren-enables-numeric-computation-and-heuristic-constraints/ #stablekanren #logicprogramming
stableKanren Enables Numeric Computation and Heuristic Constraints
October 7, 2025 at 9:58 PM
getnews-me.bsky.social
Researchers present a rational tree unifier for miniKanren using memoization, lazy evaluation and pruning, improved runtime and memory. Submitted Oct 2025. Read more: https://getnews.me/study-explores-rational-tree-unification-techniques-in-minikanren/ #rationaltree #minikanren #logicprogramming
Study Explores Rational Tree Unification Techniques in miniKanren
October 7, 2025 at 7:05 PM
getnews-me.bsky.social
Researchers introduced ILP‑CoT, a method that merges Inductive Logic Programming with multimodal LLMs to prune ILP search space and improve rule induction; code is on GitHub. https://getnews.me/ilp-cot-bridges-logic-programming-and-multimodal-ai-for-rule-induction/ #ilpcot #logicprogramming
ILP-CoT Bridges Logic Programming and Multimodal AI for Rule Induction
September 29, 2025 at 9:39 AM
getnews-me.bsky.social
LLM2LAS combines language models with Answer Set Programming via a three‑stage pipeline that extracts semantics, learns rules with ILASP, and boosts accuracy on multi‑step reasoning. https://getnews.me/hybrid-llm2las-system-merges-language-models-with-logic-programming/ #llm2las #logicprogramming
Hybrid LLM2LAS System Merges Language Models with Logic Programming
September 24, 2025 at 9:10 AM
jbzfn.bsky.social
🦾 Curry Programming Language

#currylang #functionalprogramming #logicprogramming
- Curry Programming Language
A Truly Integrated Functional Logic Programming Language
curry-lang.org
March 14, 2025 at 6:00 PM
symbo1ics.bsky.social
Coding exercise
———————–
Given this map (you choose an input representation), assign colours to regions A–F so that no adjacent regions have the same colour.

Choose your favourite prog language. #logicprogramming #computerscience #gofai

Based on Triska's lovely #Prolog video youtu.be/6XD7vBbywMc
Pencil sketch of a map of rectangular regions, labelled A–F. The regions are related as follows (adjacency works both ways, so redundant declarations are skipped): A is adjacent to B, C, D, E. B is adjacent to C, D, F. C is adjacent to D. D is adjacent to E, F. E is adjacent to F.
January 10, 2026 at 4:25 AM
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
symbo1ics.bsky.social
+ www.youtube.com/watch?v=5Ml7...
#prolog #logicprogramming #gofai

#shitYouCanTrustThatDoesntHaveOneHandOnYourWallet
David S Warren on the Mathematics of Prolog
YouTube video by Logic Programming Education
www.youtube.com
February 3, 2025 at 4:59 PM
symbo1ics.bsky.social
www.youtube.com/@LogicProgra...

#logicprogramming #prolog #softwareengineering

hat tip bjorkintosh
Logic Programming Education
A channel to display presentations and videos produced within the Logic Programming and Prolog Education Initiative
www.youtube.com
February 3, 2025 at 12:27 AM
symbo1ics.bsky.social
Fascinating page and language.

#computerscience #logicprogramming
January 24, 2025 at 3:53 PM
functionalprogramming.activitypub.awakari.com.ap.brid.gy
Stripboard Savior: AI Automates Your Circuit Layouts Stripboard Savior: AI Automates Your Circuit Layouts Tired of tangled wires and frustrating stripboard layouts? Wish you could instantly visuali...

#electronics #ai #logicprogramming #hardware

Origin | Interest | Match
Stripboard Savior: AI Automates Your Circuit Layouts
Stripboard Savior: AI Automates Your Circuit Layouts Tired of tangled wires and...
dev.to
December 6, 2025 at 2:11 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
Writing Prolog with ChatGPT. ~ John D. Cook. www.johndcook.com/blog/2026/06... #Prolog #LogicProgramming #ChatGPT
June 16, 2026 at 10:03 AM