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 .
0135360471
Logic programming.
Prolog (Computer program language)
005.133 / SPI
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 .
0135360471
Logic programming.
Prolog (Computer program language)
005.133 / SPI