#logic-programming

3 pages search “logic-programming” ↳ all tags

Wiki 3

metalevel.at Markus Triska's site — Power of Prolog book, declarative-programming essays, constraint logic programming, logic puzzles, and Prolog-driven compilers/interpreters
Neurosymbolic AI Combining LLMs with symbolic solvers for language understanding plus exhaustive correctness
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