Apt, Krzysztof R. <br/><br/>
From logic programming to Prolog / 
Krzysztof R. Apt. 
 - London, United Kingdom :  Prentice-Hall,  c1997 
 - xviii, 328 pages ;  24 cm. 
<br/><br/>Includes index. 
<br/><br/>List of figures -- List of programs -- Preface -- Acknowledgements -- 1. Introduction -- 2. Unification -- 3. Logic programs: procedural interpretation -- 4. Logic programs: declarative interpretation -- 5. Programming in pure Prolog -- 6. Terminations -- 7. The occur-check problem -- 8. Partial correctness -- 9. Programming in Pure Prolog with arithmetic -- 10. Verification of Pure Prolog programs with arithmetic -- 11. Towards full Prolog -- Index. 
<br/><br/> From Logic Programming to Prolog is a unique publication that provides an introduction to the theory of logic programming, and its application to Prolog programs. While logic programming and Prolog are closely related, other texts have always treated them separately. Books on logic programming have focused on the theoretical foundations of the subject, whilst Prolog texts have always concentrated on language features and programming techniques. 
<br/><br/><label>ISBN: </label>9780132303682 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGIC PROGRAMMING
<br/><br/><label>LC Class. No.: </label>QA 76.73 .A68 1997