TY  - BOOK
AU  - Van Le,T.
TI  - Techniques of Prolog programming: with implementation of logical negation and quantified goals 
SN  - 047157175X (hbk.)
PY  - 1993///
CY  - New York
PB  - Wiley
KW  - Prolog (Computer program language)
KW  - Negation (Logic)
N1  - Includes bibliographical references and index
ER  -