Results 211 to 220 of about 31,869 (248)
Some of the next articles are maybe not open access.
A CLP view of logic programming
2005We address the problem of determining those constraint domains A for which the traditional logic programming semantics and the constraint logic programming semantics CLP(A) coincide. This reduces to a study of non-standard models of Clark's axioms and the notion of solution compactness introduced in the CLP scheme. The results of this study include the
openaire +1 more source
Proving the Equivalence of CLP Programs
2002This paper presents two proof systems for the equivalence of programs. The language concerned is CLP to which the universal quantifier isa dded (CLP?). Both systems are based on first order classical logic.The first uses an induction rule and allows one to prove that the set of finite successes of a program is included in another program's ...
openaire +1 more source
Functional constraint hierarchies in CLP
1996HCLP extend CLP to include constraint hierarchies. We present an algorithm based on our previous work and on the extended notion of comparators for comparisons between the hierarchies that arise from alternate rule choices in the program.
openaire +1 more source
Assertions with Constraints for CLP Debugging
2000This chapter describes the use of partial correctness assertions for CLP debugging. These assertions are formed by a set of preconditions and a set of postconditions associated with each predicate used in the program. We present a system with a rich set of primitives (based on constraints and metaproperties) to express the program properties.
openaire +1 more source