In this chapter, the execution model of Standard Prolog is described. It formalises its main characteristics: nondeterminism (multiplicity of the solutions), backtracking and control. Knowledge of this is needed in order to understand the meaning of many built-in predicates and the behaviour of a program.
- Current Node
- Failure Node
- Construction Algorithm
- Execution Model
- Initial Goal
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Unable to display preview. Download preview PDF.
Rights and permissions
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Deransart, P., Ed-Dbali, A., Cervoni, L. (1996). Prolog Execution Model. In: Prolog: The Standard. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61411-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59304-1
Online ISBN: 978-3-642-61411-8
eBook Packages: Springer Book Archive