Van Le, T. <br/><br/>
Techniques of Prolog programming :  with implementation of logical negation and quantified goals / 
T. van Le. 
 - xviii, 601 pages :  illustrations ;  24 cm 
<br/><br/> System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. 
<br/><br/>
<br/><br/>Introduction to prolog -- Declarative prolog programming -- Procedural prolog programming -- Control and side-effect features of prolog -- Development of prolog programs -- Advanced programming techniques and data structures -- Search techniques -- Meta-programming in prolog -- Building expert systems in prolog -- Natural language processing in prolog -- System simulation in prolog -- Appendices. 
<br/><br/><label>ISBN: </label>047157175X (paper) 
<br/><br/><label>LCCN: </label>92030399  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Prolog (Computer program language)<br/>Negation (Logic)
<br/><br/><label>LC Class. No.: </label>QA76.73.P76  / V36 1993