INTRODUCTION

Chapters in this book

1. Frontmatter i
2. CONTENTS vii
3. FOREWORD xi
4. ACKNOWLEDGMENTS xiii
5. INTRODUCTION 3
6. Part I. Fundamental Principles of the Language
7. INTRODUCTION TO PART I. 13
8. CHAPTER 1. UNIFICATION 15
9. CHAPTER 2. RESOLUTION AND PROLOG CONTROL 30
10. CHAPTER 3. IMPROVING PROLOG CONTROL 49
11. Part II. Principles and Techniques of Implementation
12. INTRODUCTION TO PART II 69
13. CHAPTER 4. CONTROL AND STACK(S) MANAGEMENT 72
14. CHAPTER 5. REPRESENTATION OF TERMS 85
15. CHAPTER 6. DETERMINISTIC CALL RETURNS 103
16. CHAPTER 7. LAST-CALL OPTIMIZATION 121
17. CHAPTER 8. CLAUSE INDEXING 137
18. CHAPTER 9. COMPILATION OF PROLOG 145
19. CHAPTER 10. THE DIF AND FREEZE PREDICATES OF PROLOG-II 168
20. Part III. Implementations
21. INTRODUCTION TO PART III 189
22. Presentation Outline 190
23. CHAPTER 11. MINI-CPROLOG 191
24. CHAPTER 12. MINI-WAM 207
25. CHAPTER 13. MINI-PROLOG-II 222
26. CHAPTER 14. BUILT-IN PREDICATES 237
27. CONCLUSION 247
28. APPENDIX A. MINI-CPROLOG 251
29. APPENDIX B. MINI-WAM 258
30. APPENDIX C. MINI-PROLOG-II 271
31. APPENDIX D. COMMON PART 282
32. BIBLIOGRAPHY 290