文档介绍:LOGIC, PROGRAMMING AND
PROLOG (2ED)
Ulf Nilsson and Jan Ma luszy´nski
Copyright
c 2000, Ulf Nilsson and Jan Maluszy´ nski. The book may be downloaded
and printed for personal use only provided that the text (1) is not altered in any way,
and (2) is panied by this copyright notice. The book may also be copied and
distributed in paper-form for non-profit use only. No other form of distribution or
storage is permitted. In particular, it is not allowed to store and distribute the book
electronically.
This book was previously published by John Wiley & Sons Ltd. The book was origi-
nally published in 1990 with the second edition published in 1995. The copyright was
reverted back to the authors in November 2000.
For further information about updates and supplementary material please check out
thebookweb-siteat
/~ulfni/lpp
or contact the authors at ******@ and ******@.
Contents
Preface ix
I Foundations 1
1 Preliminaries 3
............................... 3
........................... 7
..................... 10
.............................. 13
Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Exercises.................................. 16
2 Definite Logic Programs 19
............................... 19
Definite Programs and Goals . . . . . . . . . . . . . . . . . . . . . . . 21
........................ 24
................. 29
Exercises.................................. 31
3 SLD-Resolution 33
........................... 33
................................. 37
-Resolution............................... 43
Soundness of SLD-resolution . . . . . . . . . . . . . . . . . . . . . . . 48
-resolution...................... 51
...........