Prolog: A relational language and its applications - Malpas, John (Englewood Cliffs, N.J.: Prentice-Hall, 1987)
includes bibliographical references.
Keywords: Prolog (Computer program language).