This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.
Author(s): Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.)
Series: Lecture Notes in Computer Science 845
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 371
Tags: Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Programming Techniques
Automated deduction with constraints....Pages 1-2
Local simplification....Pages 3-18
Simplifying clausal satisfiability problems....Pages 19-33
Ordered Binary Decision Diagrams and the Davis-Putnam procedure....Pages 34-49
A foundation for higher-order concurrent constraint programming....Pages 50-72
Constraints for polymorphic behaviours of concurrent ML....Pages 73-88
A confluent relational calculus for higher-order programming with constraints....Pages 89-104
Modular AC unification of higher-order patterns....Pages 105-120
Higher order disunification: Some decidable cases....Pages 121-135
“Syntactic” AC -unification....Pages 136-151
Applications of constraint logic programming....Pages 152-153
Repeated redundant inequalities in constraint logic programming....Pages 154-169
An efficient algorithm of logic programming with constraint hierarchy....Pages 170-182
Application of constraint logic programming for VLSI CAD tools....Pages 183-200
Path consistency in clp(FD)....Pages 201-216
Symbolic constraints and tree automata....Pages 217-218
A record calculus with principal types....Pages 219-236
ECOLOG: an Environment for constraint logics....Pages 237-252
On modularity in term rewriting and narrowing....Pages 253-268
Higher order conditional rewriting and narrowing....Pages 269-284
Buchberger's algorithm: A constraint-based completion procedure....Pages 285-301
Set constraints and logic programming....Pages 302-303
Set constraints in some equational theories....Pages 304-319
How to win a game with features....Pages 320-335
Some new decidability results on positive and negative set constraints....Pages 336-351
Solving simplification ordering constraints....Pages 352-367
