An introduction to logic programming through Prolog /
Spivey, J. M.(J Michael)
London : Prentice Hall,
1996.
Includes bibliographical references and index
Logic programming.
Prolog (Computer program language)