Abstract
Although Prolog is considered to be the language of choice for decision support systems and most of the other fields of applied artificial intelligence, developing large projects with Prolog can become a complicated task. A programming language with adequate support for modularization can facilitate easier handling and reuse of different forms of control such as fuzzy logic. It is our view that this support can be provided without modifying the original logical programming paradigm. This paper aims to present an initial approach to this challenge by presenting an analysis of the requirements of modularization that originate from the artificial intelligence domain and the peculiarities of the Prolog language itself.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
International Organization for Standardiztion. Information technology – Programming languages – Prolog – Part 2: Modules, 2000. ISO/IEC 13211-2
Haemmerlé, R., Fages, F.: Modules for Prolog Revisited. International Conference on Logic Programming (ICLP), pp. 41–55, Logic Programming (2006)
Bernard, M., Jacquenet, F.: Modularity and Genericity revised for PROLOG. Computer Research Center
Wielemaker, J., Hildebrand, M., Ossenbruggen, J.: Using Prolog as the fundament for applications on the semantic web. Applications of Logic Programming and to the web, Semantic Web and Semantic Web Services 287, 84–98 (2007)
Wielemaker, J., Schreiber, G., Wielinga, B.: Prolog-based Infrastructure for RDF- performance and scalability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) The Semantic Web - Proceedings ISWC’03, October 2003, Sanibel Island, Florida, LNCS 2870, pp. 644–658, Springer Verlag, Berlin (2003)
Holte, S., Nadathur, G.: Modularity and Separate Compilation in Logic Programming (2006)
Winston, P.H.: Artificial intelligence. Addison-Wesley, Reading, Ma, third edition (1992)
Cabeza, D., Hermenegildo, M.: A new module system for Prolog. First International Conference on Computational Logic, July, 2000, LNAI, vol. 1861, pp. 131–148. Springer-Verlag (2000)
Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Program. 19(20), 443–502 (1994)
Miller, D.: A proposal for modules in lambda Prolog. In: Proceedings of the 1993 Workshop on Extensions to Logic Programming, LNCS, vol. 798, pp. 206–221 (1994)
Nadathur, G., Miller, D.: An Overview of Lambda Prolog, Technical Report, University of Pennsylvania, Scholarly Commons, Department of Computer and Information Science, June (1988)
Ishizuka, M., Kanai, N.: Prolog-Elf incorporating fuzzy logic. In: IJCAI 9, vol. 2, pp. 701–703 (1985)
Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril: Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley and Sons (1995)
Li, D., Liu, D.: A Fuzzy Prolog Database System. John Wiley & Sons, New York (1990)
Lee, R.C.T.: Fuzzy logic and the resolution principle. J. Assoc. Comput. Mach. 19(1), 119–129 (1972)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Kemtongue, M.J., Egesoy, A. (2020). Modularization Challenges in Prolog: What to Divide and Conquer in AI. In: Kahraman, C., Cebi, S., Cevik Onar, S., Oztaysi, B., Tolga, A., Sari, I. (eds) Intelligent and Fuzzy Techniques in Big Data Analytics and Decision Making. INFUS 2019. Advances in Intelligent Systems and Computing, vol 1029. Springer, Cham. https://doi.org/10.1007/978-3-030-23756-1_41
Download citation
DOI: https://doi.org/10.1007/978-3-030-23756-1_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-23755-4
Online ISBN: 978-3-030-23756-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)