TY - GEN
T1 - A proposal for modules in λprolog
AU - Miller, Dale
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 1994/1/1
Y1 - 1994/1/1
N2 - 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 higher- order hereditary Harrop formulas while they are not supported by first- order 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.
AB - 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 higher- order hereditary Harrop formulas while they are not supported by first- order 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.
U2 - 10.1007/3-540-58025-5_58
DO - 10.1007/3-540-58025-5_58
M3 - Conference contribution
AN - SCOPUS:85026646749
SN - 9783540580256
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 206
EP - 221
BT - Extensions of Logic Programming - 4th International Workshop, ELP 1993, Proceedings
A2 - Dyckhoff, Roy
PB - Springer Verlag
T2 - 4th International Workshop on Extensions of Logic Programming, ELP 1993
Y2 - 29 March 1993 through 1 April 1993
ER -