Якщо любиш A grammatical view of logic programming

Pierre Deransart

Ось що почитати далі

Programming Logic and Design, Comprehensive

Joyce Farrell