next up previous index
Next: Further Information Up: Introduction Previous: What is ECLiPSe ?   Index


Overview

The ECLiPSe logic programming system is (so far) an integration of ECRC's SEPIA, MegaLog and (parts of the) CHIP system and newly developed libraries. This combination is now the default configuration of the system. The documentation is organised as follows:
The User Manual
describes the functionality of the ECLiPSe kernel (this document).
The 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.

Apart from these manuals, there are detailed descriptions of all built-in and most library predicates. They can be obtained either from the development system via the help/1 command, or with an html browser (refer to the eclipse installation directory under doc/index.html).




1999-08-06