Logic Programming with Prolog

Programming with Higher-Order Logic

Mastering Prolog: The Power of Logic Programming

Latest Advances In Inductive Logic Programming

The Logic of Code: Mastering the Fundamentals of Modern Programming