Vanle t. Techniques of PROLOG Programming With Implementation of Logical Negation and Quantified Goal - New York John Wiley 1993 ISBN: scst06679 Subjects--Topical Terms: Implementation Logical Negation Programming PROLOG Quantified TechniquesGoal Dewey Class. No.: