#prolog
Wiki 2
- metalevel.at Markus Triska's site — Power of Prolog book, declarative-programming essays, constraint logic programming, logic puzzles, and Prolog-driven compilers/interpreters
- Thinking in States Markus Triska on the declarative move from destructive mutation to relations between states — applied to puzzles, interpreters, and compilers in Prolog and Haskell
Toolbox 1
- chiasmus MCP server answering reachability, dead-code and impact questions via tree-sitter plus Prolog