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.
TkECLiPSe - a standard GUI for ECLiPSe, version 6.0
View the discussion thread.
blog comments powered by Disqus