# metalevel.at

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