Bratko (1990)
Bratko I. (1990)
Prolog Programming for Artificial Intelligence
Addison-Wesley, 2nd edn