Abstract
An extProlog program is executed by the extProlog interpreter. This chapter discusses how the interpreter is designed for extProlog. Chapter 17 indicated that the main functions of a Prolog interpreter are unification and backtracking. A Prolog program is executed by these functions. Then, it is natural to guess that a generalization of a pushdown automaton (PDA) can be a model for the interpreter, where the push-down stack of a PDA can handle the backtracking while the head can perform unification, provided an appropriate Prolog database for matching is supplied [Takahara and Iijima, 1990]. The Prolog interpreter of this book is constructed as a generalized PDA with a Prolog database.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Takahara, Y. and Iijima, J. (1990) Systems Theory, Kyouritu (in Japanese).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Implementation of extProlog. In: Klir, G.J. (eds) Foundations and Applications of Mis. IFSR International Series on Systems Science and Engineering, vol 24. Springer, New York, NY. https://doi.org/10.1007/978-0-387-35840-6_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35840-6_18
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-31414-3
Online ISBN: 978-0-387-35840-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)