Some Challenges for Constraint Programming

Authors:
Manuel Hermenegildo
Affiliations:
Computer Science Department, Technical University of Madrid (UPM), Spain. e-mail: herme@fi.upm.es
Venue:
Constraints
Year:
1997

Citing 18
Cited 2

Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
Algorithmic debugging with assertions

Meta-programming in logic programming
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
High-Performance Logic Programming with the Aquarius Prolog Compiler

Computer
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
APPLAUSE: applications using the ElipSys parallel CLP system

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Analyzing logic programs with dynamic scheduling

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel logic programming systems

ACM Computing Surveys (CSUR)
Independence in constraint logic programs

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Global analysis of constraint logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Global Analysis of Standard Prolog Programs

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Towards a Concurrent Semantics based Analysis of CC and CLP

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Efficient Analysis of Concurrent Constraint Logic Programs

ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
The Oz Programming Model

JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Towards Independent And-Parallelism in CLP

PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics

ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming

Constraint (Logic) Programming: A Survey on Research and Applications

Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
On complementary principles of object-oriented constraint programming

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a number of challenges for future constraintprogramming systems, including improvements in implementationtechnology (using global analysis based optimization and parallelism),debugging facilities, and the extension of the application domainto distributed, global programming. We also briefly discuss howwe are exploring techniques to meet these challenges in the contextof the development of the CIAO constraint logic programming system.