TY  - BOOK
AU  - Apt, Krzysztof R.
TI  - From logic programming to Prolog
SN  - 9780132303682
AV  - QA 76.73 .A68 1997 
PY  - 1997///
CY  - London, United Kingdom
PB  - Prentice-Hall
KW  - LOGIC PROGRAMMING
N1  - Includes index; 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
N2  - 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
ER  -