2014 | OriginalPaper | Chapter
8. Operational Semantics of Prolog
Published in:
Programming Languages and Operational Semantics
Abstract
In this chapter, we describe the operational interpretation of Prolog
programs. More precisely, we describe how a Prolog interpreter solves goals in the context of a given program.