AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm which combines functional, logic and constraint programming using constraint lazy narrowing as goal solving mechanism. Cooperation of solvers for different constraint domains can improve the efficiency of implementations since solvers can take advantage of other solvers' deductions. We restrict our attention to the cooperation of three solvers, dealing with syntactic equality and disequality constraints, real arithmetic constraints, and finite domain (FD) constraints, respectively. As cooperation mechanism, we consider to propagate to the real solver the constraints which have been submitt...
Abstract. This paper highlights the power of T OY(FD), a functional logic language with support for ...
The new generic scheme CFLP (D) has been recently pro-posed in [24] as a logical and semantic framew...
Cooperative constraint solving has been investigated by several different research groups and indivi...
Abstract This paper presents a proposal for the cooperation of solvers in constraint functional logi...
AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic...
AbstractThe CFLP scheme for Constraint Functional Logic Programming has instances CFLP(D) correspond...
AbstractThis paper presents, from a user point-of-view, the mechanism of cooperation between constra...
This paper describes implementation issues of the constraint functional logic system T OY, which has...
In this paper we describe a sound and complete concurrent operational semantics for constraint funct...
AbstractThis paper presents a theoretical framework for the integration of the cooperative constrain...
AbstractIn this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic fr...
Abstract In this paper, we present our proposal to Constraint Functional Logic Programming over Fini...
In this paper we present the distributed software system CFLP for solving constraints over the compl...
This paper proposes the integration of finite domain (FD) cons-traints into a general purpose lazy f...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
Abstract. This paper highlights the power of T OY(FD), a functional logic language with support for ...
The new generic scheme CFLP (D) has been recently pro-posed in [24] as a logical and semantic framew...
Cooperative constraint solving has been investigated by several different research groups and indivi...
Abstract This paper presents a proposal for the cooperation of solvers in constraint functional logi...
AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic...
AbstractThe CFLP scheme for Constraint Functional Logic Programming has instances CFLP(D) correspond...
AbstractThis paper presents, from a user point-of-view, the mechanism of cooperation between constra...
This paper describes implementation issues of the constraint functional logic system T OY, which has...
In this paper we describe a sound and complete concurrent operational semantics for constraint funct...
AbstractThis paper presents a theoretical framework for the integration of the cooperative constrain...
AbstractIn this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic fr...
Abstract In this paper, we present our proposal to Constraint Functional Logic Programming over Fini...
In this paper we present the distributed software system CFLP for solving constraints over the compl...
This paper proposes the integration of finite domain (FD) cons-traints into a general purpose lazy f...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
Abstract. This paper highlights the power of T OY(FD), a functional logic language with support for ...
The new generic scheme CFLP (D) has been recently pro-posed in [24] as a logical and semantic framew...
Cooperative constraint solving has been investigated by several different research groups and indivi...