The Implementation of Prolog /

The Implementation of Prolog / / Patrice Boizumault.

A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton Legacy Lib. eBook Package 1980-1999
VerfasserIn:
Boizumault, Patrice,
MitwirkendeR:
Boizumault, Patrice,
TeilnehmendeR:
Djamboulian, Ara M.
Fattouh, Jamal.
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2014]
©1993
Year of Publication:2014
Edition:Course Book
Language:English
Series:Princeton Readings in Religions ; 261
Online Access:
Physical Description:1 online resource (314 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Frontmatter
  • CONTENTS
  • FOREWORD
  • ACKNOWLEDGMENTS
  • INTRODUCTION
  • Part I. Fundamental Principles of the Language
  • INTRODUCTION TO PART I.
  • CHAPTER 1. UNIFICATION
  • CHAPTER 2. RESOLUTION AND PROLOG CONTROL
  • CHAPTER 3. IMPROVING PROLOG CONTROL
  • Part II. Principles and Techniques of Implementation
  • INTRODUCTION TO PART II
  • CHAPTER 4. CONTROL AND STACK(S) MANAGEMENT
  • CHAPTER 5. REPRESENTATION OF TERMS
  • CHAPTER 6. DETERMINISTIC CALL RETURNS
  • CHAPTER 7. LAST-CALL OPTIMIZATION
  • CHAPTER 8. CLAUSE INDEXING
  • CHAPTER 9. COMPILATION OF PROLOG
  • CHAPTER 10. THE DIF AND FREEZE PREDICATES OF PROLOG-II
  • Part III. Implementations
  • INTRODUCTION TO PART III
  • Presentation Outline
  • CHAPTER 11. MINI-CPROLOG
  • CHAPTER 12. MINI-WAM
  • CHAPTER 13. MINI-PROLOG-II
  • CHAPTER 14. BUILT-IN PREDICATES
  • CONCLUSION
  • APPENDIX A. MINI-CPROLOG
  • APPENDIX B. MINI-WAM
  • APPENDIX C. MINI-PROLOG-II
  • APPENDIX D. COMMON PART
  • BIBLIOGRAPHY

Similar Items