Add to ORKGWe describe a definitional approach to the combination of functional and logic programming based on the theory of Partial Inductive Definitions. The described method produces programs directly executable in the definitional programming language GCLA. We show both a basic calculus for functional logic program definitions and discuss a refined version where the rules definitional resolution, definitional reflection, and definitional axiom are altered to be better suited for functional evaluation and equation solving
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
The functional and logic programming research communities are to a signif-icant extent solving the s...
AbstractThis paper proposes a notation for defining functions or procedures in such a way that their...
We describe a definitional approach to the combination of functional and logicprogramming based on t...
We describe a definitional approach to functional logic programming, based on the theory of Partial ...
We show how the programming language GCLA can be used to naturally express both relational and funct...
We investigate the relationship between functional and definitional programming by translating a sub...
In this note we present a method for the calculational derivation of logic programs, employing techn...
We present a logic programming language, GCLA (Generalized horn Clause LAnguage), that is based on a...
In this paper we study the relationships between logic programming and functional programming, tryin...
We give a general introduction to the particular problems associated with the partial evaluation of ...
In this note we present a method for the calculational derivation of logic programs, employing techn...
We discuss some approaches to declarative programming including functional programming, various logi...
We present a general framework (a programming calculus) for the specification, verification and synt...
Functional logic languages combine the operational principles of the most important declarative prog...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
The functional and logic programming research communities are to a signif-icant extent solving the s...
AbstractThis paper proposes a notation for defining functions or procedures in such a way that their...
We describe a definitional approach to the combination of functional and logicprogramming based on t...
We describe a definitional approach to functional logic programming, based on the theory of Partial ...
We show how the programming language GCLA can be used to naturally express both relational and funct...
We investigate the relationship between functional and definitional programming by translating a sub...
In this note we present a method for the calculational derivation of logic programs, employing techn...
We present a logic programming language, GCLA (Generalized horn Clause LAnguage), that is based on a...
In this paper we study the relationships between logic programming and functional programming, tryin...
We give a general introduction to the particular problems associated with the partial evaluation of ...
In this note we present a method for the calculational derivation of logic programs, employing techn...
We discuss some approaches to declarative programming including functional programming, various logi...
We present a general framework (a programming calculus) for the specification, verification and synt...
Functional logic languages combine the operational principles of the most important declarative prog...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
The functional and logic programming research communities are to a signif-icant extent solving the s...
AbstractThis paper proposes a notation for defining functions or procedures in such a way that their...