Author:
SCHIMPF JOACHIM,SHEN KISH
Abstract
AbstractECLiPSe 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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference46 articles.
1. Schimpf J. 1990. Garbage collection for Prolog based on twin cells. In Proceedings of the NACLP'90 Workshop on LP Architectures, Austin, TX, 16–25. URL: http://eclipseclp.org/reports/gc_naclp90.ps.gz
2. Warren D. 1983 (Oct). An Abstract Prolog Instruction Set. Technical Report 309, SRI, Menlo Park, CA, USA.
3. Principles and practice of unification factoring
4. Generalized constraint propagation over the CLP scheme
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献