TY  - BOOK
AU  - Van,Le T
TI  - Techniques of prolog programming with implementation of logical negation.....
U1  - 001.6424  VAN;1 `R' 
PY  - 1993///
PB  - John Wiley
KW  - Prolog
ER  -