We present a simple and powerful generalized algebraic semantics for constraint logic programs that is parameterized with respect to the underlying constraint system. "Generalized semantics" abstract away from standard semantics objects, by focusing on the general properties of any (possibly non-standard) semantics definition. In constraint logic programming, this corresponds to a suitable definition of the constraint system supporting the semantics definition. An algebraic structure is introduced to formalize the constraint system notion, thus making applicable classical mathematical results and both a top-down and bottom-up semantics are considered. Non-standard semantics for CLP can then be formally specified by means of the s...
Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativi...
Logic programming with the stable model semantics is put forward as a novel constraint programming p...
Set constraints are inclusion relations between expressions denoting sets of ground terms over a ra...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
AbstractThe Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The schem...
We develop a denotational, fully abstract semantics for constraint logic programming (clp) with resp...
The different properties characterizing the operational behavior of logic programs can be organized ...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
this paper we describe a constraint logic programming language clp(sc) over set constraints in the s...
Abstract: By studying properties of CLP over an unspecified constraint domain X one obtains general ...
AbstractConstraint logic programming is often described as logic programming with unification replac...
AbstractWe present a goal-independent abstract interpretation framework for constraint logic program...
AbstractIn this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic fr...
Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativi...
Logic programming with the stable model semantics is put forward as a novel constraint programming p...
Set constraints are inclusion relations between expressions denoting sets of ground terms over a ra...
AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...
We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...
We define a "logical denotational semantics" for pure PROLOG programs, and prove it correc...
AbstractThe Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The schem...
We develop a denotational, fully abstract semantics for constraint logic programming (clp) with resp...
The different properties characterizing the operational behavior of logic programs can be organized ...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
this paper we describe a constraint logic programming language clp(sc) over set constraints in the s...
Abstract: By studying properties of CLP over an unspecified constraint domain X one obtains general ...
AbstractConstraint logic programming is often described as logic programming with unification replac...
AbstractWe present a goal-independent abstract interpretation framework for constraint logic program...
AbstractIn this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic fr...
Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativi...
Logic programming with the stable model semantics is put forward as a novel constraint programming p...
Set constraints are inclusion relations between expressions denoting sets of ground terms over a ra...