metalevel.at
- title
- metalevel.at
- type
- entity
- summary
- Сайт Маркуса Триски - книга The Power of Prolog, эссе о декларативном программировании, CLP, логические головоломки и компиляторы на Prolog
- tags
- blog, prolog, logic-programming, book
- created
- 2026-05-21
- updated
- 2026-05-21
- lang
- ru
- translation_of
- metalevel-at
- source_updated
- 2026-05-21
- translated
- 2026-09-01
- translator
- lllm/antigravity/gemini-3.7-flash-medium
Сайт Маркуса Триски на metalevel.at - здесь опубликована The Power of Prolog, большая бесплатная книга о Prolog и декларативном программировании, а также эссе, примеры кода и видео. Триска - один из самых продуктивных преподавателей Prolog сегодня; экосистемы SWI-Prolog и Scryer Prolog во многом опираются на созданные им библиотеки (library(reif), CLP(FD), CLP(B), DCGs).
Сайт представляет собой своего рода LLM Wiki: в нём множество перекрёстных ссылок и отдельные страницы об обучении, истории, проектировании библиотек и практических примерах (формальная верификация, теория музыки, головоломки, компиляторы).
Обработанные статьи
- metalevel-thinking-in-states - Thinking in States: переход от деструктивных мутаций к отношениям между состояниями на примере головоломок, интерпретаторов и компилятора стековой VM на Prolog
Linked from