Add to ORKGThere exist several implementations of the functional logic lan-guage Curry: a transformation to Prolog and implementations of abstract machines for C and Java. We show that there are many advantages of a further implementation as a transformation to Haskell: increases in performance, availability of libraries and tools, and open access to the implementation. We present the ba-sic ideas and a prototypical implementation of our transformation, which generates Haskell programs without use of impure features
In this dissertation we present the RICE optimizing compiler for the functional logic language Curry...
Abstract. Functional and logic programming are often taught in different courses so that students of...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
Drawing on experience of translating a Prolog program into Haskell, a range of correspondences betwe...
This paper describes a high-level implementation of the concurrent constraint functional logic lang...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
This thesis focuses on combining the two most important and wide spread declarative programming para...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
Abstract. Curry is a successful, general-purpose, functional logic programming language that predefi...
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
In functional logic programs, rules are applicable independently of textual order, i.e., any rule ca...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
In this dissertation we present the RICE optimizing compiler for the functional logic language Curry...
Abstract. Functional and logic programming are often taught in different courses so that students of...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...
Abstract: We propose an embedding of logic programming into lazy functional programming in which eac...
We propose an embedding of logic programming into lazy functional programming in which each predicat...
Drawing on experience of translating a Prolog program into Haskell, a range of correspondences betwe...
This paper describes a high-level implementation of the concurrent constraint functional logic lang...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
This thesis focuses on combining the two most important and wide spread declarative programming para...
Since the development of Prolog in 1974, there has been increasing interest in the area of logic pro...
Abstract. Curry is a successful, general-purpose, functional logic programming language that predefi...
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways...
To provide high performance at practical power levels, tomorrow’s chips will have to consist primari...
In functional logic programs, rules are applicable independently of textual order, i.e., any rule ca...
We develop a Haskell library for functional-logic programming and apply it to the implementation of ...
In this dissertation we present the RICE optimizing compiler for the functional logic language Curry...
Abstract. Functional and logic programming are often taught in different courses so that students of...
We describe how to embed a simple typed functional logic programming language in Haskell. The embedd...