Vanle t.

Techniques of PROLOG Programming With Implementation of Logical Negation and Quantified Goal - New York John Wiley 1993

scst06679


Implementation
Logical
Negation
Programming
PROLOG
Quantified
Techniques
Goal