1.1 What is ECLiPSe ?
ECLiPSe (ECLiPSe Common Logic Programming System)
is a Prolog based system whose aim is to serve as a platform
for integrating various Logic Programming extensions, in particular
Constraint Logic Programming (CLP).
The kernel of ECLiPSe is an efficient implementation of standard
(Edinburgh-like) Prolog as described in basic Prolog texts [2].
It is built around an incremental compiler which compiles the ECLiPSe
source into WAM-like code [12], and an emulator of this abstract code.