TY  - BOOK
AU  - Vanle t.
TI  - Techniques of PROLOG Programming With Implementation of Logical Negation and Quantified Goal
SN  - scst06679
U1  - . 
PY  - 1993///
CY  - New York
PB  - John Wiley
KW  -  Implementation
KW  -  Logical
KW  -  Negation
KW  -  Programming
KW  -  PROLOG
KW  -  Quantified
KW  -  Techniques
KW  - Goal
ER  -