Spivey, Michael. An introduction to logic programming through Prolog / Michael Spivy. - London : Prentice Hall, 1996. - x, 251 p. ; 24 cm. - Prentice-Hall international series in computer science . ISBN: 0135360471 Subjects--Topical Terms: Logic programming.Prolog (Computer program language) Dewey Class. No.: 005.133 / SPI