Constructive Negation by Pruning

FIXPOINT SEMANTICS 15 5 THREE-VALUED LOGICAL SEMANTICS 21 6 COMPARISON WITH OTHER WORKS 23 7 VARIATIONS ON A SCHEME FOR OPTIMIZATION PREDICATES 25 7.1 Constraint Minimization : : : : : : : : : : : : : : : : : : : : : : : : : 25 7.2 Query Optimization : : : : : : : : : : : : : : : : : : : : : : : : : : : 26 7.3 Global Optimization Predicates : : : : : : : : : : : : : : : : : : : : : 28 7.4 Local Optimization Predicates : : : : : : : : : : : : : : : : : : : : : 31 8 CONCLUSION 32 1. INTRODUCTION Constraint logic programming and concurrent constraint programming are simple and powerful models of computation that have been implemented in several systems over the last decade, and proved successful in a variety of applications ranging from combinatorial optimization problems to complex system modeling [16]. Extending these classes of languages with a negation operator is a major issue as it allows the user to express arbitrary logical combinations of relations. Negation in logic programmi..