TY  - GEN
AU  - Le,T.Van
TI  - Techniques of Prolog programming : : with implementation of logical negation and quantified goals / 
SN  - 047157175X
AV  - QA76.73.P76  
U1  - 005.13/3 
PY  - 1993///
CY  - New York : 
PB  - Wiley, 
KW  - Negation Logic
KW  - Prolog Computer program language
N1  - System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog; Includes bibliographical references (p. 585-593) and index
UR  - http://www.loc.gov/catdir/toc/onix01/92030399.html
UR  - http://www.loc.gov/catdir/description/wiley037/92030399.html
ER  -