Table of Contents

ForewordAcknowledgmentsIntroductionPt. IFundamental Principles of the LanguageCh. 1UnificationCh. 2Resolution and Prolog ControlCh. 3Improving Prolog ControlPt. IIPrinciples and Techniques of ImplementationCh. 4Control and Stack(s) ManagementCh. 5Representation of TermsCh. 6Deterministic Call ReturnsCh. 7Last-Call OptimizationCh. 8Clause IndexingCh. 9Compilation of PrologCh. 10The dif and freeze Predicates of Prolog-IIPt. IIIImplementationsCh. 11Mini-CPrologCh. 12Mini-WAMCh. 13Mini-Prolog-IICh. 14Built-In PredicatesConclusionAppendix A: Mini-CPrologAppendix B: Mini-WAMAppendix C: Mini-Prolog-IIAppendix D: Common PartBibliographyIndex