Logic Programming with Prolog

The Practice of Prolog (Logic Programming)

The Craft of Prolog (Logic Programming)

Prolog for Artificial Intelligence: Building Smart Systems with Logic Programming

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)