If you like A grammatical view of logic programming

Pierre Deransart

Here’s what to read next

Programming Logic and Design, Comprehensive

Joyce Farrell