Всем привет. Вот возник вопрос на который не могу найти ответа---- Абстрактная Пролог-машина. что про нее можно написать?