AU  - LE,T.VAN
TI  - TECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS
SN  - 047157175X
U1  - 005.133/VAN 
PY  - 1993///
CY  - NEW YORK
PB  - JOHN WILEY & SONS, INC.
KW  - PROLOG, COMPUTER PROGRAM LANGUAGE
KW  - LOGIC
KW  - NEGATION
ER  -