jwl@CompSci.Bristol.AC.UK (John Lloyd) (03/04/88)
I have now moved to Bristol and my new address is as follows:
John Lloyd
Department of Computer Science
University of Bristol
University Walk
Bristol BS8 1TR
U.K.
(JANET: jwl@uk.ac.bristol.compsci)
Also please note that Joxan Jaffar has taken over my job as Theory Editor
of the Journal of Logic Programming.
Authors submitting theoretical papers to the Journal should submit directly
to Joxan at the following address:
Dr. Joxan Jaffar
IBM T.J. Watson Research Center
Yorktown Heights NY 10598
USA
Finally, some of you may be interested to know that the second edition of
"Foundations of Logic Programming" is now available. A substantial amount
of new material has been added, including two new chapters. The contents
of the second edition is as follows:
Chapter 1. PRELIMINARIES
1. Introduction
2. First Order Theories
3. Interpretations and Models
4. Unification
5. Fixpoints
Problems for Chapter 1
Chapter 2. DEFINITE PROGRAMS
6. Declarative Semantics
7. Soundness of SLD-Resolution
8. Completeness of SLD-Resolution
9. Independence of the Computation Rule
10. SLD-Refutation Procedures
11. Cuts
Problems for Chapter 2
Chapter 3. NORMAL PROGRAMS
12. Negative Information
13. Finite Failure
14. Programming with the Completion
15. Soundness of SLDNF-Resolution
16. Completeness of SLDNF-Resolution
Problems for Chapter 3
Chapter 4. PROGRAMS
17. Introduction to Programs
18. SLDNF-Resolution for Programs
19. Declarative Error Diagnosis
20. Soundness and Completeness of the Diagnoser
Problems for Chapter 4
Chapter 5. DEDUCTIVE DATABASES
21. Introduction to Deductive Databases
22. Soundness of Query Evaluation
23. Completeness of Query Evaluation
24. Integrity Constraints
Problems for Chapter 5
Chapter 6. PERPETUAL PROCESSES
25. Complete Herbrand Interpretations
26. Properties of T'\dP\u
27. Semantics of Perpetual Processes
Problems for Chapter 6