Bibliographische Detailangaben
| Titel: |
ECLiPSe – From LP to CLP. |
| Autoren: |
SCHIMPF, JOACHIM, SHEN, KISH |
| Quelle: |
Theory & Practice of Logic Programming; Jan2012, Vol. 12 Issue 1/2, p127-156, 30p |
| Schlagwörter: |
PROLOG (Computer program language), COMPUTER programming, CONSTRAINT programming, COMBINATORICS, MATHEMATICAL programming, COMPUTER interfaces, EMBEDDED computer systems |
| Abstract: |
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. [ABSTRACT FROM PUBLISHER] |
|
Copyright of Theory & Practice of Logic Programming is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Datenbank: |
Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science