We introduce a new semantics for logic programming languages. It generalises the traditional Herbrand universe semantics, and specialises the semantics of logical relations, as used in analysing parametricity in functional and imperative programming languages. We outline a typed logic programming language, give it this semantics, and show how it supports structured development of logic programs as advocated by Sterling et al. In particular, it gives semantics for some dynamic aspects of logic programs.
CITATION STYLE
Kinoshita, Y., & Power, A. J. (1996). A fibrational semantics for logic programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1050, pp. 177–191). Springer Verlag. https://doi.org/10.1007/3-540-60983-0_12
Mendeley helps you to discover research relevant for your work.