ECLiPSe CLP

ECLiPSe — 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 Edinburgh Prolog.

ECLiPSe system is written in Prolog and C.