Abstract. Although functional as well as logic languages use equality to discriminate between logically different cases, the operational mean-ing of equality is different in such languages. Functional languages re-duce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and trans-formation method that automatically selects the appropriate operation. Without this distinction in source pro...
Abstract. Functional logic programming languages combine the most important features of functional p...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
AbstractWe describe the introduction of disequality constraints over algebraic data terms in the fun...
AbstractEquational logic programming is an extended programming paradigm of equational programming. ...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
technical reportThis thesis studies first-order unification in equational theories, called E-unifica...
AbstractThis paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
Abstract. KiCS2 is a new system to compile functional logic programs of the source language Curry in...
This lecture will combine the topics of the title in various ways. First I will show that logic is p...
Optimization can make at least two contributions to boolean logic. Its solution meth-ods can address...
Boolean logic is widely used in almost every discipline including linguistics, philosophy, mathemati...
AbstractIncorporating equality into the unification process has added great power to automated theor...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
Traditional optimizers have viewed imperative functions as a sequence or graph of commands. Some of ...
Abstract. Functional logic programming languages combine the most important features of functional p...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
AbstractWe describe the introduction of disequality constraints over algebraic data terms in the fun...
AbstractEquational logic programming is an extended programming paradigm of equational programming. ...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
technical reportThis thesis studies first-order unification in equational theories, called E-unifica...
AbstractThis paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG...
AbstractThe paper considers different methods of integrating the functional and logic programming pa...
Abstract. KiCS2 is a new system to compile functional logic programs of the source language Curry in...
This lecture will combine the topics of the title in various ways. First I will show that logic is p...
Optimization can make at least two contributions to boolean logic. Its solution meth-ods can address...
Boolean logic is widely used in almost every discipline including linguistics, philosophy, mathemati...
AbstractIncorporating equality into the unification process has added great power to automated theor...
This paper shows the advantages of amalgamating functional and logic programming languages. In compa...
Traditional optimizers have viewed imperative functions as a sequence or graph of commands. Some of ...
Abstract. Functional logic programming languages combine the most important features of functional p...
A simple technique for reasoning about equalities that is fast and complete for ground formulas with...
AbstractWe describe the introduction of disequality constraints over algebraic data terms in the fun...