A logical analysis of modules in logic programming
- 31 March 1989
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 6 (1-2), 79-108
- https://doi.org/10.1016/0743-1066(89)90031-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- HORNLOG: A graph-based interpreter for general Horn clausesThe Journal of Logic Programming, 1987
- Higher-order logic programmingLecture Notes in Computer Science, 1986
- Procedures in Horn-clause programmingLecture Notes in Computer Science, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982