TY  - GEN
AU  - Le, Tu Van.
TI  - Techniques of Prolog programming with implementation of logical negation and quantified goals
AV  - QA76.73 P76Le.
PY  - 1993///
PB  - J. Wiley
KW  - Prolog (Computer program language)
KW  - Negation (Logic)
N1  - 8217
ER  -