Deconstructing Datalog https://lobste.rs/s/lvodx4 #logiclangs #plt
https://www.rntz.net/post/my-thesis.html
0
0
0
Abstract Machines for Logic Programs https://lobste.rs/s/7yy79j #concatenative #logiclangs
https://chrisistyping.bearblog.dev/abstract-machines-for-logic-programs/
1
0
0
Point-Free Logic Programming https://lobste.rs/s/hbctt2 #logiclangs
https://forum.malleable.systems/t/point-free-logic-programming/151
0
0
1
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/
0
0
0
You've seen all posts