Абстрактные машины для логических программ

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