ECLiPSe - The ECRC Common Logic Programming System
The ECLiPSe system is the integration of
ECRC 's
former Sepia, MegaLog,
CHIP and ElipSys systems into a single powerful tool.
The main design objectives have been performance,
applicability to real life problems and extensibility.
ECLiPSe combines Sepia's extended Prolog technology with
MegaLog's persistent knowledge base functionality,
a substantial subset of CHIP's constraints handling facilities,
several new constraints libraries, and or-parallelism
as featured in ElipSys.
General ECLiPSe Information
Documentation
User Information
Links to LP Archives