Previous Up Next

1.2  Overview

The ECLiPSe logic programming system was originally an integration of ECRC's SEPIA, MegaLog and (parts of the) CHIP systems. It was then further developed into a Constraint Logic Programming system with a focus on hybrid problem solving and solver integration. The documentation is organised as follows:
The User Manual
describes the functionality of the ECLiPSe kernel (this document).
The Constraint Library Manual
describes the major ECLiPSe libraries, in particular the ones implementing constraint solvers.
The Interfacing and Embedding Manual
describes how to interface ECLiPSe to other programming languages, and in particular how to embed it into an application as a component.
The Reference Manual
contains detailed descriptions of all the Built-in predicates and the libraries. This information is also available from the development system's help/1 command and the tkeclipse library browser.
The Visualisation Manual
describes the facilities for the visualisation of constraint propagation and search.
All the documentation can be accessed using an html browser (refer to the eclipse installation directory under doc/index.html).


Previous Up Next