Abstract
Interfacing Prolog and external data management systems causes problems as a result of the different semantics of Prolog and the data manipulation language, offered by the data management system. These problems arise especially when backtrackable predicates in Prolog for accessing externally stored data are provided. In this paper, the problems regarding these backtrackable predicates are identified. The predicates must be managed in coordination with updates and non-complete backtracking (occurrences of cut), by some interface between Prolog and the external data management system. The solution to the problems is given in terms of a communication module, which is able to handle the accesses to the external data management system, while preserving the semantic of the programming language Prolog.
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.
Similar content being viewed by others
Literature
Appelrath, H.-J.; Bense, H.; Rose, T.: “Controlled Prolog - A Front-End to Prolog incorporating meta-knowledge”, in Proceedings “10. GWAI 1986 u. 2. österr. AI-Tagung 1986”, Informatik Fachberichte Nr. 124, Springer Verlag, September 1986.
Appelrath, H.-J.; Ester, M.; Jasper, H.; Ultsch, A.: “KOFIS: An Expert System for Information Retrieval in Offices”, in: Proc. of the “2nd Intern. Conf. on the Appl. of Microcomputers in Information, Documentation and Libraries”, North Holland Publ. Co., 1986.
Appelrath, H.-J.: “PROTOS- Prolog Tools for Building Expert Systems”, to appear in “GI-Kongress 1987, Wissensbasierte Systeme”, Informatik Fachberichte, Springer Verlag, October 1987.
Bocca, J.: “On the Evaluation Strategy of EDUCE”, in ACM SIGMOD ‘86, 1986.
Ceri, S.; Gottlob, G.; Wiederhold, G.: “Interfacing Relational Databases and Prolog Efficiently”, in “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
Chang, C. L.; Walker, A.: “PROSQL: A Prolog Programming Interface with SQL/DS”, in “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
Clocksin, W. F.; Mellish, C. S.: “Programming in Prolog”, Springer Verlag, 2nd edition, Berlin Heidelberg New York Tokyo, 1984.
Cuppens, F.; Demolombe, R.: “A PROLOG-Relational DBMS interface using delayed evaluation”, in Proceedings of the “Workshop on Integration of Logic Programming and Data Bases”, Commission of the Europ. Com., Esprit Project 530, Venice, December 1986.
Deering, M.: “Database Support for Storage of AI Reasoning Knowledge”, in “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
Denoel, E.; Roelants, D.; Vauclair, M.: “Query Translation for Coupling Prolog with a Relational Database Management System”, in Proceedings of the “Workshop on Integration of Logic Programming and Data Bases”, Commission of the Europ. Com., Esprit Project 530, Venice, December 1986.
Kerschberg, L. (ed.): “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
IF/Prolog Manual, Version 2.0, InterFace Computer GmbH, Munich, December 1984.
Nejdl, W.; Neuhold; E. J.: “The PROLOG-DB System: Integrating Prolog and Relational Databases”, in ÖGAI-Journal, 5 /1, 1986.
Nievergelt, J.; Hinterberger, H.; Sevik, K.C.: “The Grid File: An Adaptable, Symmetric Multikey File Structure”, ACM TODS, Vol. 9, No. 1, pp. 38–71, 1984.
Sciore, E.; Warren, D. S.: “Towards an Integrated Database-Prolog System”, in “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
Ross, M. L.; Ramamohanarao, K.: “Paging Strategy for Prolog Based on Dynamic Virtual Memory”, Technical Report, University of Melbourne, Australia, August 1986.
Ullman J. D.: “Implementation of Logical Query Languages for Data Bases”, in ACM TODS, Vol. 10, No. 3, pp. 289–321, September 1985.
Venken, R.: “A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimization”, in proceedings ECAI ‘84, “Advances in Artificial Intelligence”, T. O’Shea (ed.), North-Holland, 1984.
Wedekind, H.; Zoerntlein, G.: “Prefetching in Realtime Database Applications”, in ACM SIGMOD ‘86, 1986.
Wise, M. J.; Powers, D. M. W.: “Indexing PROLOG Clauses via Superimposed Code Words and Field Encoded Words”, Intern. Symposium on Logic Programming, IEEE Comp. Society, pp. 203–210, 1984.
Proceedings of the “Workshop on Integration of Logic Programming and Data Bases”, Commission of the Europ. Com., Esprit Project 530, Venice, December 1986.
Zaniolo, C.: “Prolog: A Database Query Language for All Seasons”, in “Expert Database Systems”, proceedings of the 1st intern. workshop on Expert Database Systems, Benjamin/Cummings Publ. Inc., 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaspers, H. (1987). Interfacing Prolog and External Data Management Systems: A Model. In: Morik, K. (eds) GWAI-87 11th German Workshop on Artifical Intelligence. Informatik-Fachberichte, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73005-4_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-73005-4_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18388-4
Online ISBN: 978-3-642-73005-4
eBook Packages: Springer Book Archive