Реализация Пролога на чистом функциональном языке

Я был бы очень признателен за простой алгоритм псевдокода для реализации Пролога, где псевдокод взят для чисто функционального языка.

1 ответ

Решение

В знаменитой книге SICP есть глава по логическому программированию

Другие вопросы по тегам