A Prolog library for interfacing with LLMs https://lobste.rs/s/ad7cm6 #ai #logiclangs
https://github.com/vagos/llmpl
Deconstructing Datalog https://lobste.rs/s/lvodx4 #logiclangs #plt
https://www.rntz.net/post/my-thesis.html
Abstract Machines for Logic Programs https://lobste.rs/s/7yy79j #concatenative #logiclangs
https://chrisistyping.bearblog.dev/abstract-machines-for-logic-programs/
Point-Free Logic Programming https://lobste.rs/s/hbctt2 #logiclangs
https://forum.malleable.systems/t/point-free-logic-programming/151
A Dumb Introduction to z3 via @abnv@fantastic.earth https://lobste.rs/s/c1tlxi #logiclangs
https://ar-ms.me/thoughts/a-gentle-introduction-to-z3/
You've seen all posts