Машина Уоррена: учебная реконструкция

Технический разбор абстрактной машины Уоррена (WAM) — виртуальной машины для выполнения программ на языке Prolog. Материал раскрывает архитектуру компилятора логических языков, исторически значимых для символьного искусственного интеллекта и экспертных систем.