metalevel.at
- title
- metalevel.at
- type
- entity
- summary
- Markus Triska's site — Power of Prolog book, declarative-programming essays, constraint logic programming, logic puzzles, and Prolog-driven compilers/interpreters
- tags
- blog, prolog, logic-programming, book
- created
- 2026-05-21
- updated
- 2026-05-21
Markus Triska's site at metalevel.at — the home of The Power of Prolog, a long-form free book on Prolog and declarative programming, plus essays, code, and videos. Triska is one of the most prolific Prolog teachers active today; the SWI-Prolog and Scryer Prolog ecosystems both rely heavily on his library contributions (library(reif), CLP(FD), CLP(B), DCGs).
The site is its own kind of LLM Wiki — extensively cross-linked, with separate pages on tutoring, history, library design, and applied case studies (formal verification, music theory, puzzles, compilers).
Ingested articles
- metalevel-thinking-in-states — Thinking in States: the move from destructive mutation to relations between states, applied to puzzles, interpreters, and a stack-based VM compiler in Prolog
Linked from