#logiclangs

Datalog Disassembly (2020) https://lobste.rs/s/zchcbj #pdf #logiclangs #reversing https://www.usenix.org/system/files/sec20-flores-montoya.pdf

Picat in WebAssembly https://lobste.rs/s/elbjzp #logiclangs #wasm https://brainsignals.de/picat/

Verse: A New Scripting Language https://lobste.rs/s/usdhrd #video #logiclangs #plt https://youtube.com/watch?v=ebqKYLKjL6U

A Prolog library for interfacing with LLMs https://lobste.rs/s/ad7cm6 #ai #logiclangs https://github.com/vagos/llmpl

L-system https://lobste.rs/s/7jmid9 #logiclangs #math https://en.wikipedia.org/wiki/L-system

Datalog https://lobste.rs/s/jkowsn #logiclangs #plt https://www.philipzucker.com/notes/Languages/datalog/

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/