Readings shared June 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/05-readings_shared_06-05-25 #AI #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math

David Poole on knowledge graphs and relational learning. https://youtu.be/9bb9QzxEKWo #AI #LogicProgramming

Ah, finally! A window manager written in Prolog—because that's exactly what the world needed. 🙄 Let's use a logic programming language for something best done in C, because who doesn't love a good challenge? 🚀
https://github.com/Seeker04/plwm #windowmanager #Prolog #programmingchallenge #logicprogramming #HackerNews #Cprogramming #HackerNews #ngated

Readings shared April 27, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/27-readings_shared_04-27-25 #AI #CategoryTheory #CommonLisp #Emacs #FormalVerification #LogicProgramming #Prolog

Bitcoinolog: Reason about Bitcoin addresses with Prolog. ~ Markus Triska. https://youtu.be/bpCMklQeJKQ #Prolog #LogicProgramming

Curry: A Functional Logic Programming Language

https://curry-lang.org/

#HackerNews #Curry #FunctionalProgramming #LogicProgramming #HackerNews #CurryLang

Introducing "Clolog": because clearly, what #Clojure really needed was a Prolog-inspired headache 🤦‍♂️. Now you can experience the joy of logic programming without ever leaving the warm embrace of parentheses! Because why solve problems with one obtuse language when you can use two? 🥳
https://github.com/bobschrag/clolog #Clolog #Prolog #LogicProgramming #TechHumor #HackerNews #ngated

Readings shared April 8, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/08-readings_shared_04-08-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog

Ah yes, nothing screams "cutting-edge tech" like using #Prolog to solve a Layton Puzzle 🤹‍♂️. Because rewriting chapters on logic programming is what will really push humanity forward in 2025 🚀.
https://buttondown.com/hillelwayne/archive/a48fce5b-8a05-4302-b620-9b26f057f145/ #cuttingEdgeTech #LogicProgramming #LaytonPuzzle #Innovation2025 #HackerNews #ngated

PEIRCE: Unifying material and formal reasoning via LLM-driven neuro-symbolic refinement. ~ Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, André Freitas. https://arxiv.org/abs/2504.04110 #AI #LLMs #ITP #IsabelleHOL #Prolog #LogicProgramming

Readings shared April 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25 #ATP #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Logic #Math #Minlog #Prolog #SMT

meta_predicate declarations. ~ Markus Triska. https://youtu.be/m3cbgebcKng #Prolog #LogicProgramming

Readings shared April 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25 #AI #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog

Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/ #Prolog #LogicProgramming #LLMs #AI

Readings shared April 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Building AI for mathematical reasoning. ~ Chris Garcia. https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72 #Prolog #LogicProgramming #Logic #Math

Readings shared April 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25 #FunctionalProgramming #HOL4 #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Mathlib #Prolog

Readings shared April 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25 #AI #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #SMT #Z3

A small Prolog on the Z3 AST. ~ Philip Zucker. https://www.philipzucker.com/knuck_prolog/ #Prolog #LogicProgramming #Z3 #SMT

Readings shared March 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25 #AI #Calculemus #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Philosophy #Programming #Prolog