Kernel-LEAF: A logic plus functional language
- 30 April 1991
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 42 (2) , 139-185
- https://doi.org/10.1016/0022-0000(91)90009-t
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Narrowing vs. SLD-resolutionTheoretical Computer Science, 1988
- The relation between logic and functional languages: a surveyThe Journal of Logic Programming, 1986
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Optimal fixedpoints of logic programsTheoretical Computer Science, 1985
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Oriented equational clauses as a programming languageThe Journal of Logic Programming, 1984
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976