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 [13], and an emulator of this abstract code.