Prolog programming for artificial intelligence - Bratko, Ivan, 1946-- (Addison-Wesley Pub. Co., 1990)