Prolog programming for artificial intelligence - Bratko, Ivan. (International Computer Science Series., 1994)