Prolog programming for artificial intelligence - Bratko, Ivan (Addison-Wesley, 1990)