Bratko,Ivan. Prolog:Programming For Artifical Intelligence. - Addison-Wesley Publishing Company. 1988 Dewey Class. No.: 006.3 BRA.