#LogicProgramming

Readings shared January 19, 2026 The readings shared in Bluesky on 19 January 2026 are: Broken proofs and broken provers. ~ Lawrence Paulson. #ITP #IsabelleHOL #RocqProver #LeanProver A formalization of Borel determinacy in Lean. ~

1 month ago

Readings shared January 19, 2026. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

1 0 0 0

Logic Programming with Extensible Types Logic programming languages present clear advantages in terms of declarativeness and conciseness. However, the ideas of logic programming have been met with resistance in other programming communities...

1 month ago

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. arxiv.org/abs/2601.038... #Haskell #FunctionalProgramming #Prolog #LogicProgramming

2 0 0 0

Playing with Gödel’s Incompleteness Theorem in Prolog During a holiday, I suddenly felt like revisiting Chaitin-style Lisp code related to Gödel’s incompleteness theorem, this time rewriting it…

1 month ago

Playing with Gödel’s incompleteness theorem in Prolog. ~ Kenichi Sasagawa. medium.com/@kenichisasa... #Prolog #LogicProgramming #Logic

3 1 0 0

LavX News

@lavxnews.bsky.social

1 month ago

Prolog's quirks in my 'Logic for Programmers' update are pushing me to explore Answer Set Programming and Picat. They feel more practical for real-world problems. What logic tools are you finding most useful these days? #LogicProgramming #EdTech

1 0 1 0

Linotype Pilgrim

@symbo1ics.bsky.social

2 months ago

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.

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

2 0 4 2

Hacker News Companion

@hncompanion.com

2 months ago

Prolog serves as a case study: its unique logical rule application is challenging to implement as a mere library. Commenters noted its deep-seated paradigm resists simple replication within another language's framework. #LogicProgramming 2/7

0 0 1 0

Readings shared December 7, 2025 The readings shared in Bluesky on 7 December 2025 are: 50 years of proof assistants. ~ Lawrence Paulson. #ITP #IsabelleHOL #CoqProver #HOL DeepWiki leanprover-community/mathlib4: A comprehensive data

3 months ago

Readings shared December 7, 2025. jaalonso.github.io/vestigium/po... #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python

1 0 0 0

FunctionalProgramming

@functionalprogramming.activitypub.awakari.com.ap.brid.gy

3 months ago

Stripboard Savior: AI Automates Your Circuit Layouts Stripboard Savior: AI Automates Your Circuit Layouts Tired of tangled wires and...

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

0 0 0 0

Hacker News Companion

@hncompanion.com

4 months ago

Prolog excels as a tool for specific problems like parsing, compilers, constraint solving, and expressing complex relationships. Its power lies in intricate logic, making it valuable for niche applications, not general-purpose use. #LogicProgramming 4/5

0 0 1 0

5 months ago

stableKanren Enables Numeric Computation and Heuristic Constraints

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: getnews.me/stablekanren-enables-num... #stablekanren #logicprogramming

0 0 0 0

5 months ago

Study Explores Rational Tree Unification Techniques in miniKanren

Researchers present a rational tree unifier for miniKanren using memoization, lazy evaluation and pruning, improved runtime and memory. Submitted Oct 2025. Read more: getnews.me/study-explores-rational-... #rationaltree #minikanren #logicprogramming

0 0 0 0

5 months ago

ILP-CoT Bridges Logic Programming and Multimodal AI for Rule Induction

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. getnews.me/ilp-cot-bridges-logic-pr... #ilpcot #logicprogramming

0 0 0 0

5 months ago

Hybrid LLM2LAS System Merges Language Models with Logic Programming

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. getnews.me/hybrid-llm2las-system-me... #llm2las #logicprogramming

0 0 0 0

Readings shared September 20, 2025 The readings shared in Bluesky on 20 September 2025 are: Everything you know is wrong. ~ Lawrence Paulson. #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification An introdu

5 months ago

Readings shared September 20, 2025. jaalonso.github.io/vestigium/po... #AI #ATP #FormalVerification #FunctionalProgramming #ITP #LeanProver #Logic #LogicProgramming #Math

0 0 0 0

5 months ago

Everything you know is wrong. ~ Lawrence Paulson. lawrencecpaulson.github.io/2025/09/20/W... #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification

3 1 0 0

Readings shared August 9, 2025 The readings shared in Bluesky on 9 August 2025 are Mission-time Linear Temporal Logic Formula Progression (in Isabelle/HOL). ~ Katherine Kosaian, Zili Wang. #ITP #IsabelleHOL Two-way deterministic f

7 months ago

Readings shared August 9, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #IMO #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog

0 1 0 0

Alireza (Reza) Dehbozorgi

7 months ago

Macros in Prolog: Term and Goal Expansion YouTube video by The Power of Prolog

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

4 0 0 0

@bdehbozorgi83.bsky.social

7 months ago

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…

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...

1 1 0 0

Readings shared July 12, 2025 The readings shared in Bluesky on 12 July 2025 are A formalization of divided powers in Lean. ~ Antoine Chambert-Loir, María Inés de Frutos-Fernández. #ITP #LeanProver #Math Completeness of the decre

8 months ago

Readings shared July 12, 2025. jaalonso.github.io/vestigium/po... #ASP #ATP #CLP #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #ProofTheory #Prover9

0 0 0 0

8 months ago

Proof theory and logic programming: Computation as proof search. ~ Dale Miller. www.lix.polytechnique.fr/Labo/Dale.Mi... #Logic #ProofTheory #LogicProgramming

5 0 0 1

8 months ago

Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. elibrary.kdpu.edu.ua/bitstream/12... #LogicProgramming #Prolog #ASP #CLP

1 0 0 0

Readings shared July 11, 2025 The readings shared in Bluesky on 11 July 2025 are Kimina-Prover: Applying test-time RL search on large formal reasoning models. ~ Haiming Wang et als. #LLMs #ITP #LeanProver AI for mathematical disc

8 months ago

Readings shared July 11, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #ITP #LLMs #LeanProver #Logic #LogicProgramming #Math

0 0 0 0

Readings shared June 29, 2025 The readings shared in Bluesky on 29 June 2025 are Constructing the Lie algebra of smooth vector fields on a Lie group in Isabelle/HOL. ~ Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL #M

8 months ago

Readings shared June 29, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #Idris #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Maxima #Prolog #Rocq

5 2 1 1

Readings shared June 28, 2025 The readings shared in Bluesky on 28 June 2025 are IsaBIL: A framework for verifying (in)correctness of binaries in Isabelle/HOL. ~ Matt Griffin, Brijesh Dongol, Azalea Raad. #ITP #IsabelleHOL Multip

8 months ago

Readings shared June 28, 2025. jaalonso.github.io/vestigium/po... #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Prologp

0 0 0 0

Readings shared June 21, 2025 The readings shared in Bluesky on 21 June 2025 are Theorem proving in Lean 4. ~ Jeremy Avigad, Leonardo de Moura, Soonho Kong, Sebastian Ullrich et als. #ITP #LeanProver Certifying projected knowledg

8 months ago

Readings shared June 21, 2025. jaalonso.github.io/vestigium/po... #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Prolog

1 0 0 0

Hacker News Companion

@hncompanion.com

8 months ago

The Datalog ecosystem is evolving, with discussions mentioning recent conferences and a shift towards specialized, advanced applications, indicating active research and community engagement. #LogicProgramming 4/5

0 0 1 0