Книги — symbolic logic

RU
Введение в логическое программирование

Введение в логическое программирование

A

Майкл Дженесерет, Винай К. Чаудри

Языки программирования