The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
A view of the origins and development of Prolog
Communications of the ACM
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Embedding boolean expressions into logic programming
Journal of Symbolic Computation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A computational logic handbook
A computational logic handbook
Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
A bibliography of quantifier elimination for real closed fields
Journal of Symbolic Computation
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
An incremental constraint solver
Communications of the ACM
Communications of the ACM
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Constraint Query Languages
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Introduction to Logic Programming
Introduction to Logic Programming
Concurrent constraint programming languages
Concurrent constraint programming languages
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
A CLP(R) system for solving partial differential equations
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Using constraint logic programming for model-based diagnosis: the MODIC system
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
An approach to symbolic timing verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Database querying and constraint programming
ACM SIGACT News
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressive Applications of Constraint Logic Programming
Artificial Intelligence Review
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
HKIA SAS: a constraint-based airport stand allocation system developed with software components
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Constraints and constraint solving: an introduction
Constraints in computational logics
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Annals of Mathematics and Artificial Intelligence
Modeling constraint-based negotiating agents
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
Constraints
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
Logos: A Constraint-Directed Reasoning Shell for Operations Management
IEEE Expert: Intelligent Systems and Their Applications
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
A new framework for declarative programming
Theoretical Computer Science
CLSS: An Intelligent Crane Lorry Scheduling System
Applied Intelligence
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
The formal and processing models of CLG
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
A constraint-based decision procedure for the description logic ALCN
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
On the verification of high-order constraint compliance in IC design
Proceedings of the conference on Design, automation and test in Europe
Developing a labelled object-relational constraint database architecture for the projection operator
Data & Knowledge Engineering
Constraint-driven design: the next step towards analog design automation
Proceedings of the 2009 international symposium on Physical design
Intersection reporting on two collections of disjoint sets
Information Sciences: an International Journal
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
| Hi-index | 48.22 |
Constraint Logic Programming (CLP) is an extension of Logic Programming aimed at replacing the pattern matching mechanism of unification, as used in Prolog, by a more general operation called constraint satisfaction. This aritcle provides a panoramic view of the recent work done in designing and implementing CLP languages. It also presents a summary of their theoretical foundations, discusses implementation issues, compares the major CLP languages, and suggests directions for further work.