jnpnDec 13

https://gitlab.com/b2495/fleng

A compiler for the concurrent logic programming languages FGHC, Strand, KL1 and PCN.

#prolog #logicprogramming #concurrent

bunny351 / fleng · GitLab

A compiler for the concurrent logic programming languages FGHC, Strand, KL1 and PCN.

GitLab
José A. AlonsoDec 8
Readings shared December 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/08-readings_shared_12-07-25 #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python
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

Vestigium
TariqNov 22

𝗣𝗿𝗼𝗹𝗼𝗴 𝗯𝘆 𝗘𝘅𝗮𝗺𝗽𝗹𝗲

A short course developed specifically for anyone who struggled with the traditional university courses and textbooks.

The focus is on concepts, and building confidence through short hands-on examples and exercises.

I actually had a lot of fun writing it myself ! 😄

https://www.amazon.co.uk/dp/B0BTQ7P69H/

#prolog #logicprogramming

cathillOct 17
Has the Bible been converted into Prolog clauses to allow computer-aided theological reasoning?
#bible #biblestudies #computeraidedtheology #theology #theologicalreasoning #logicprogramming #prolog #prologprogramming #deductivetheology #holybooks #religion #mathematicaltheology #logicaltheology #religiousstudies
José A. AlonsoSep 21
Readings shared September 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/21-readings_shared_09-20-25 #AI #ATP #FormalVerification #FunctionalProgramming #ITP #LeanProver #Logic #LogicProgramming #Math
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

Vestigium
José A. AlonsoSep 20
Everything you know is wrong. ~ Lawrence Paulson. https://lawrencecpaulson.github.io/2025/09/20/Wrong.html #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification
Everything you know is wrong

N-gated Hacker NewsAug 16
🚀✨ Behold, Dyna: the brainchild of machine learning mavericks who decided #Prolog wasn't inscrutable enough. Now with weighted rules! Because who wants their logic programming to be intuitive or user-friendly? 😅🔍
https://dyna.org/ #Dyna #MachineLearning #LogicProgramming #Innovation #HackerNews #ngated
Dyna — Logic Programming for Machine Learning

Hacker NewsAug 16

Dyna – Logic Programming for Machine Learning

https://dyna.org/

#HackerNews #Dyna #LogicProgramming #MachineLearning #AIResearch

Dyna — Logic Programming for Machine Learning

José A. AlonsoAug 10
Readings shared August 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25 #AI #FunctionalProgramming #Haskell #IMO #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog
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

Vestigium
José A. AlonsoAug 9
Macros in Prolog: Term and goal expansion. ~ Markus Triska. https://youtu.be/E8byql4RaUY #Prolog #LogicProgramming
Macros in Prolog: Term and Goal Expansion

YouTube