A proposal for modules in λProlog

  • Dale Miller
Conference paper

DOI: 10.1007/3-540-58025-5_58

Part of the Lecture Notes in Computer Science book series (LNCS, volume 798)
Cite this paper as:
Miller D. (1994) A proposal for modules in λProlog. In: Dyckhoff R. (eds) Extensions of Logic Programming. ELP 1993. Lecture Notes in Computer Science (Lecture Notes in), vol 798. Springer, Berlin, Heidelberg


Higher-order hereditary Harrop formulas, the underlying logical foundation of λProlog [NM88], are more expressive than first-order Horn clauses, the logical foundation of Prolog. In particular, various forms of scoping and abstraction are supported by the logic of higherorder hereditary Harrop formulas while they are not supported by firstorder Horn clauses. Various papers have argued that the scoping and abstraction available in this richer logic can be used to provide for modular programming [Mil89b], abstract data types [Mil89a], and state encapsulation [HM90]. None of these papers, however, have dealt with the problems of programming-in-the-large, that is, the essentially linguistic problems of putting together various different textual sources of code found, say, in different files on a persistent store into one logic program. In this paper, I propose a module system for λProlog and shall focus mostly on its static semantics.

Download to read the full conference paper text

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Dale Miller
    • 1
  1. 1.Computer Science DepartmentUniversity of PennsylvaniaPhiladelphiaUSA

Personalised recommendations