Если любишь A grammatical view of logic programming

Pierre Deransart

Вот что почитать дальше

Programming Logic and Design, Comprehensive

Joyce Farrell