Logic and Prolog / Richard Spencer-Smith. Spencer-Smith, Richard. Kaushik, Saroj Logic programming. Prolog (Computer program language) QA76.63 .S63 1991 005.13 005.115 20 KAL Includes index. New York : Harvester Wheatsheaf, New Delhi : New Age, c1991. c2002. c1991. c2002. 1991 Text viii, 392 p. : xv, 319 p. : eng