Машина Тьюринга для логических программ: абстрактные машины без хайпа

Если вы думали, что абстрактные машины остались где-то в 70-х вместе с папиными джинсами, то спешу вас огорчить (или обрадовать). Оказывается, для логических программ тоже есть свои виртуальные железки, и они вполне себе живые.

Коротко о главном: абстрактная машина — это как эмулятор старой приставки, только вместо игр на ней выполняются логические программы. Автор статьи (Chris) разбирает, как такие машины работают на примере WAM (Warren Abstract Machine) и её современного родственника — машины для Prolog. Если вы кодили на Prolog и чувствовали, что он тормозит, то виноват не язык, а то, что вы не используете правильную абстракцию.

Самый сок — это унификация. Это как если бы вы пытались найти общий язык с девушкой на Tinder, только вместо анкет — термы, а вместо лайков — подстановки. Унификация в логическом программировании — это священный грааль, и абстрактная машина умеет её делать быстро и без лишних телодвижений.

Конечно, не обошлось и без боли. Автор честно признаётся, что отладка таких машин — это как искать иголку в стоге сена, причём стог постоянно меняет форму. Но если вы любите копаться в глубинах компиляторов и виртуалок, то это ваш хлеб.

Комментарий студии METABYTE: Абстрактные машины — это круто, но на практике мы чаще сталкиваемся с тем, что даже обычный Python-код на продакшене ведёт себя как логическая программа с неопределённым поведением. Хотите порядок? Закажите код-ревью — мы наведём порядок и без WAM.