Abstract
A method is described for implementing a general database supporting objects, which is tightly coupled to Prolog. This provides the Prolog interpreter with database storage for its clauses. It also allows one to create and access from Prolog objects of arbitrary type such as frames with attached procedures. The interface from Prolog allows the full use of the computational and database facilities of the PS-Algol implementation Language, within the framework of an Abstract Data Type scheme, which is based on an implementation of modules in Prolog. The paper describes how evaluable predicates can be written in PS-Algol and made to backtrack, thus providing a neat symbiosis between the two languages.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
11. References
Atkinson, M.P. et al. (1983), "An Approach to Persistent Programming", Computer Journal (26), 360–366.
Atkinson,M.P. & Kulkarni,K.G. (1984), "Experimenting with the Functional Data Model", in "Database: Role and Structure", Stocker, Gray & Atkinson (eds.), Cambridge Univ. Press, pp 311–338.
Bruynooghe,M. "Prolog in C implementation", University of Louvain, 1981. [CProlog 84] 15 Pereira,F., Damas,L., Byrd,L. & O'Keefe,R.A., Dept. of Architecture, University of Edinburgh, 1984.
Elcock,E.W., Foster,J.M., Gray,P.M.D., McGregor,J.J. & Murray,A.M. (1971) "ABSET: A programming language based on sets: Motivation and examples", in "Machine Intelligence 6", B.Meltzer & D.Michie (eds.).
Furukawa, Nakajima & Yonezawa (1983), "Modularization and Abstraction in Logic Programming", ICOT report TR-022, Tokyo.
Gallaire,H. (1983), "Logic Data Bases vs Deductive Data Bases", Proc. Logic Programming Workshop 1983, Algarve, Ed. L.M.Pereira.
Gray,P.M.D. (1985), "Efficient Prolog Access to Codasyl and FDM Databases", Proc. ACM SIGMOD 1985 Conf., ed. S. Navathe, pp 437–443.
Gray,P.M.D. & Moffat,D.S. & du Boulay,J.B.H.. Persistent Prolog: A Secondary Storage Manager for Prolog. Proc. Appin Workshop on "Data Types and Persistence", ed. M.P.Atkinson, P.Buneman & R.Morrison, Springer Verlag (to be published).
Jarke, M. & Vassiliou, Y. (1984), "Coupling expert systems and database management systems" in "Artificial Intelligence Applications for Business", ed. W. Reitman, Ablex, Norwood, NJ.
Lloyd,J.W.. "Implementing Clause Indexing in Deductive Database Systems", Report 81/4, Computer Science Dept., Univ. Melbourne.
Mellish,C.S. & Hardy,S. (1983), "Integrating Prolog into the Poplog Environment", Proc. IJCAI-83, Karlsruhe, ed. A.Bundy.
Moffat,D.S.. (1986), "Modules in Persistent Prolog", Dept. of Computing Science, University of Aberdeen.
Mycroft,A. & O'Keefe,R. (1983), "A Polymorphic Type System for Prolog", in Proc. Logic Programming Workshop, Algarve.
Robinson, J.A. & Sibert, E.E.. "LOGLISP: An Alternative to Prolog", in Machine Intelligence 10, Ellis Horwood, 1982.
Szeredi,P. (1982), "Module Concepts for Prolog", in Proc. Prolog Programming Environments Workshop, Linkoping, Sweden.
Wilk, P.F.. (1983), "The Production and Evaluation of a Set of Prolog Benchmarks", D.A.I., University of Edinburgh.
Zaniolo, C. (1984), "Prolog; a Database Query Language for All Seasons", Proc. 1st Expert Database Systems Workshop, ed. L.Kerschberg, Univ. S.Carolina.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moffat, D.S., Gray, P.M.D. (1986). Interfacing Prolog to a persistent data store. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_106
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_106
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive