Prolog programming for artificial intelligence
Bratko, Ivan cop. 1990