A Relational-Functional Integration for Declarative Programming (1997) [1 citations — 1 self]
by Harold Boley
Foundations of Computer Science: Potential { Theory { Cognition, number 1337 in LNCS
http://www.dfki.uni-kl.de/~vega/relfun+/sprachint/integrate/integrate.ps
Add To MetaCart
Abstract:
Abstract. A relational-functional kernel language is introduced that integrates essential declarative constructs: logic variables and nondeterminism from the relational paradigm with nested and higherorder operations from the functional paradigm. Operator definitions use `valued clauses', subsuming relational Horn clauses and functional (conditional or unconditional) directed equations. Their semantics complements the atoms in relational Herbrand models by `molecules', which pair functions, applied to argument terms, with returned-value terms. All abstract notions are illustrated by concrete declarative programs. 1
Citations
| 333 | The integration of functions into logic programming: from theory to practice – Hanus - 1994 |
| 133 | A unified computation model for functional and logic programming – Hanus - 1997 |
| 51 | 1983-1993: The Wonder Years of Sequential Prolog Implementation – Roy - 1994 |
| 33 | Combining functional and logic programming languages – Lloyd - 1994 |
| 17 | LOGLISP: an alternative to PROLOG – Robinson, Sibert - 1982 |
| 10 | Extended Logic-plus-Functional Programming – Boley - 1991 |
| 3 | A Direct Semantic Characterization of RELFUN – Boley - 1993 |
| 2 | Transforming Workpiece Geometries into Lathe-NC Programs by Qualitative Simulation – Boley, Perling, et al. - 1997 |
