Prolog ++ the power of object-oriented and logic programming - Moss, Chris (Addison-Wesley Publishing Company, 1994)