The craft of Prolog /
O'Keefe, Richard A.
Cambridge, Mass. ; London : MIT Press,
c1990.
Includes bibliographical references (p. [377]-280) and index.
Prolog (Computer program language)