Abstract
This chapter introduces extended Prolog (extProlog). Although primarily used as an implementation language for the model theory approach in a hidden manner similar to a machine language, knowledge of this language is also helpful for understanding the model theory approach, for the following reasons:
-
(1)
Input-output operations are provided by predicates of extProlog as well as HTML.
-
(2)
Advanced control schemes, such as those used in Chapter 13, are implemented with direct support of extProlog.
-
(3)
The standardized components of extSLV and TPS are implemented in extProlog.
-
(4)
An efficient user model can be directly constructed in extProlog if a system developer is familiar with extProlog.
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
Maier, D. and Warren, D. S. (1988) Computing with Logic, Benjamin.
Convington, M., Nute, D. and Vellino, A. (1997) Prolog Programming in Depth, Prentice Hall.
Takahara, et al. (2003) Study on 4-th Generation Systems Development Methodology for MIS, Internal Report, Dept. of Management Information Science, Chiba Institute of Technology, Chiba, Japan.
Takahara, Y. et al. (2003) User’s Manual for the 4-th Generation Systems Development Methodology, internal report, Dept. of Management Information Science, Chiba Institute of Technology, Chiba, Japan.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Implementation Language: 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_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35840-6_3
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)