Abstract
In [11], we presented PROLOG++, a CG-based conceptual and contextual extension of PROLOG. This paper discusses some limitations of PROLOG++ and presents a more expressive, efficient and uniform version, called PROLOG+CG which overcomes the limitations. PROLOG+CG is a CG object- oriented logic programming language suited for many CG applications. Contrary to PROLOG++ which has been implemented in C-Prolog, PROLOG+CG is implemented directly in JAVA 2. Thus and thanks to the change of the implementation, PROLOG+CG incorporates CG (both simple and compound) as a basic data structure, beside term and list. Other possibilities, discussed in this paper, are offered by PROLOG+CG due to its direct implementation in JAVA 2.
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
Ait-Kaci, H., Nasr, R.: LOGIN: A logic programming language with built-in inheritance. Journal Logic Programming 3, 185–215 (1986)
Ait-Kaci, H., Podelski, A.: Logic programming with functions over order-sorted feature terms. In: Lamma, E., Mello, P. (eds.) Extensions of Logic Programming, pp. 100–119. Springer, Heidelberg (1992)
Carpenter, B.: The logic of typed feature structures. Cambridge Univ. Press, Cambridge (1992)
Dichev, C.: Distributed knowledge and data processing. In: Proceeding of ICO 1993, Montreal, Canada, pp. 279–282 (1993)
Dichev, C.: Logic programming with worlds, in AI: Methodology, Systems, Applications, pp. 57–67. North-Holland, Amsterdam (1992)
Fargues, J., Landau, M.-C., Duguord, A., Catach, L.: Conceptual Graphs for semantics and knowledge processing. IBM Journal of Research and Development 30(1), 70–79 (1986)
Fukunaga, K., Hirose, S.: An experience with a Prolog-based object-oriented language. In: Proc. Of OOPSLA 1986, pp. 224–231 (1986)
Garner, B.J., Tsui, E.: General purpose inference engine for canonical graph models. knowledge-Based Systems 1(5), 266–278 (1988)
Garner, B.J., Tsui, E., Lui, D., Lukose, D., Koh, J.: Extendible Graph Processing in Knowledge Acquisition, Planning and Reasoning. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual Structures: Current research and practice. Ellis Horwood (1992)
Herzog, O., Rollinger, C.-R. (eds.): Text Understanding in LILOG. Springer, Heidelberg (1991)
Kabbaj, A., Frasson, C., Kaltenbach, M.: A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ language. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds.) Conceptual Structures: Current Practices, ICCS 1994, pp. 251–274 (1994)
Kabbaj, A.: Un systeme multi-paradigme pour la manipulation des connaissances utilisant la theorie des graphes conceptuels, Ph. D. Thesis, Univ. De Montreal, Canada (1996)
Kabbaj, A.: Self-Organizing Knowledge Bases: The Integration Based Approach. In: The Proc. Of the Int. KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency, Santa Cruz, CA, USA, pp. 64–68 (1995)
Kauffmann, H., Grumbach, A.: MULTILOG: MULTIple worlds in LOGic programming. In: The proceeding of the 7th European Conference on AI (1986)
McCabe, F.G.: L&O: Logic and Objects. Prentice-Hall, Englewood Cliffs (1992)
Monteiro, L., Porto, A.: Contextual Logic Programming. In: Levi, G., Martelli, M. (eds.) Proc. 6th Int. Conf. And Symposium on Logic Programming, MIT Press, Cambridge (1989)
Moss, C.: Prolog++, The Power of Object-Oriented and Logic Programming. Addison-Wesley, Reading (1994)
Pletat, U., von Luck, K.: Knowledge Representation in LILOG. In: Bläsius, K.H., Rollinger, C.-R., Hedtstück, U. (eds.) Sorts and Types in Artificial Intelligence. LNCS (LNAI), vol. 418. Springer, Heidelberg (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kabbaj, A., Janta-Polczynski, M. (2000). From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_37
Download citation
DOI: https://doi.org/10.1007/10722280_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67859-5
Online ISBN: 978-3-540-44663-7
eBook Packages: Springer Book Archive