Implementations of Prolog
Campbell, J. A.(John Arthur),1940-
Chichester Ellis Horwood
1984
Text on lining papers
Includes bibliographies and index
Prolog (Computer program language)