TY  - BOOK
AU  - Naish,Lee
TI  - Negation and control in PROLOG
AV  - QA76.73 P76 N35
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag
KW  - Prolog (Computer program language)
ER  -