TY  - BOOK
AU  - Le,T.Van
TI  - Prolog programming:  : with implementation of logical negation and quantified goals
AV  - QA76.73 .P76L4 1993
PY  - 1993///
PB  - John Wiley & Sons
ER  -