000 00550aa a2200193a 44500
008 s1993 000 u eng
020 _a047157175X
082 0 _a005.133/VAN
100 1 _aLE, T. VAN
245 1 0 _aTECHNIQUES OF PROLOG PROGRAMMING WITH IMPLEMENTATION OF LOGICAL NEGATION AND QUANTIFIED GOALS
250 _aFIRST EDITION
260 _bJOHN WILEY & SONS, INC.
_aNEW YORK
_c1993
300 _a601P.
650 4 _aPROLOG, COMPUTER PROGRAM LANGUAGE
650 4 _aLOGIC
650 4 _aNEGATION
910 _bMFN:1216
_c1
999 _c1213
_d1213