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