Interfacing Prolog to a persistent data store

  • D. S. Moffat
  • P. M. D. Gray
Session 6a: Implementations And Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

11. References

  1. [Atkinson 83]
    Atkinson, M.P. et al. (1983), "An Approach to Persistent Programming", Computer Journal (26), 360–366.Google Scholar
  2. [Atkinson 84]
    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.Google Scholar
  3. [Bruynooghe 81]
    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.Google Scholar
  4. [Elcock 71]
    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.).Google Scholar
  5. [Furukawa 83]
    Furukawa, Nakajima & Yonezawa (1983), "Modularization and Abstraction in Logic Programming", ICOT report TR-022, Tokyo.Google Scholar
  6. [Gallaire 83]
    Gallaire,H. (1983), "Logic Data Bases vs Deductive Data Bases", Proc. Logic Programming Workshop 1983, Algarve, Ed. L.M.Pereira.Google Scholar
  7. [Gray 85]
    Gray,P.M.D. (1985), "Efficient Prolog Access to Codasyl and FDM Databases", Proc. ACM SIGMOD 1985 Conf., ed. S. Navathe, pp 437–443.Google Scholar
  8. [Gray et al85]
    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).Google Scholar
  9. [Jarke 84]
    Jarke, M. & Vassiliou, Y. (1984), "Coupling expert systems and database management systems" in "Artificial Intelligence Applications for Business", ed. W. Reitman, Ablex, Norwood, NJ.Google Scholar
  10. [Lloyd 81]
    Lloyd,J.W.. "Implementing Clause Indexing in Deductive Database Systems", Report 81/4, Computer Science Dept., Univ. Melbourne.Google Scholar
  11. [Mellish 83]
    Mellish,C.S. & Hardy,S. (1983), "Integrating Prolog into the Poplog Environment", Proc. IJCAI-83, Karlsruhe, ed. A.Bundy.Google Scholar
  12. [Moffat 86]
    Moffat,D.S.. (1986), "Modules in Persistent Prolog", Dept. of Computing Science, University of Aberdeen.Google Scholar
  13. [Mycroft 83]
    Mycroft,A. & O'Keefe,R. (1983), "A Polymorphic Type System for Prolog", in Proc. Logic Programming Workshop, Algarve.Google Scholar
  14. [Robinson 82]
    Robinson, J.A. & Sibert, E.E.. "LOGLISP: An Alternative to Prolog", in Machine Intelligence 10, Ellis Horwood, 1982.Google Scholar
  15. [Szeredi 82]
    Szeredi,P. (1982), "Module Concepts for Prolog", in Proc. Prolog Programming Environments Workshop, Linkoping, Sweden.Google Scholar
  16. [Wilk 83]
    Wilk, P.F.. (1983), "The Production and Evaluation of a Set of Prolog Benchmarks", D.A.I., University of Edinburgh.Google Scholar
  17. [Zaniolo 84]
    Zaniolo, C. (1984), "Prolog; a Database Query Language for All Seasons", Proc. 1st Expert Database Systems Workshop, ed. L.Kerschberg, Univ. S.Carolina.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • D. S. Moffat
    • 1
  • P. M. D. Gray
    • 1
  1. 1.Dept. of Computing ScienceUniversity of AberdeenAberdeenScotland

Personalised recommendations