O'Keefe, Richard A. The craft of Prolog / - Cambridge, Mass. : MIT Press, c1990. - xix, 387 p. : 24 cm. - Logic programming . Includes references and index. ISBN: 0262150395 LCCN: 90032345 Subjects--Topical Terms: Prolog (Computer program language) Dewey Class. No.: 005.133PRO / OKE