Design your own game engine using linear algebra. This is Part 6 of the series, "Linear Algebra for Game Development". Read Here: thingspool.net/concepts-of-pl… #GameEngine #GameDesign #Metaphysics #DataScience #AI #GameAI #ProceduralGeneration #LogicProgramming

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

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

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

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

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

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

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

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

Prolog You don’t write the algorithm—you state the facts. Prolog is for logic-based computation, symbolic AI, and constraint-solving problems. #Prolog #LogicProgramming

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

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

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

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

4/10 He introduced the concept of the #adviceTaker, a theoretical #program that could make decisions based on #rules and #facts. This inspired today’s #expertSystems and #ruleBasedEngines. #SymbolicAI #LogicProgramming #AIReasoning #KnowledgeRepresentation

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Readings shared June 9, 2025. jaalonso.github.io/vestigium/post… #AI #AIforMath #CategoryTheory #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #Rust

Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math

Exploring topological spaces with Prolog: A practical approach using "Mathematics with Prolog". ~ Kenichi Sasagawa. medium.com/@kenichisasaga… #Prolog #LogicProgramming #Math