PROLOG for computer science - Dawe, M. S.; Dawe, C. M. (London : Springer-Verlag, 1994)
Includes bibliographical references and index
Keywords: Prolog (Computer program language)