Prolog Programming for Artificial Intelligence

Bratko, I.

Classics 

Addison-Wesley