Negation and control in Prolog
Negation and control in Prolog
Compilation of compound terms in Prolog
Proceedings of the 1990 North American conference on Logic programming
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Large scale combinatorial optimization: methodological viewpoint
DIMACS workshop on on Constraint programming and large scale discrete optimization
Proceedings of the First International Conference on Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
ElipSys - A Parallel Programming System based on Logic
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Prolog with Arrays and Bounded Quantifications
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
A High-Level Generic Interface to External Programming Languages for ECLiPSe
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Metastructures versus Attributed Variables in the Context of Extensible Unification
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
MegaLog - A platform for developing Knowledge Base Management Systems
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
A Documentation Generator for (C)LP Systems
CL '00 Proceedings of the First International Conference on Computational Logic
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
IBM Journal of Research and Development
Constraint-Based Local Search
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Tor: extensible search with hookable disjunction
Proceedings of the 14th symposium on Principles and practice of declarative programming
Frama-C: a software analysis perspective
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Constraints
Optimal valve placement in water distribution networks with CLP(FD)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Behind the scenes in SANTE: a combination of static and dynamic analyses
Automated Software Engineering
| Hi-index | 0.00 |
ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, for example, problem modelling, constraint programming, mathematical programming and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several constraint solver libraries, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. This paper discusses language extensions, implementation aspects, components, and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.