00872nam a2200229 a 4500 vtls000011679 KUKTEM 20251117144622.0 060606t1993 nyua f 001 0|eng d 047157175X (hbk.) 201605241504 aida 201107132027 VLOAD 200908141454 VLOAD 200908141425 VLOAD 200606141157 VLOAD UMP QA76.73.P76 L47 1993 Van Le, T. Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. Van Le New York : Wiley, 1993 xviii, 601 p.: ill.; 24 cm. Includes bibliographical references and index Prolog (Computer program language) Negation (Logic) 0 0 0 0 20000 20000 2019-09-04 0 QA76.73.P76 L47 1993 0000001244 2019-09-04 00:00:00 1 2019-09-04 OPEN VIRTUA40 39949 39955 VTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*5040*6500*6501*9992