Extensions

ECLiPSe has been designed as a basis for various extensions of Prolog which may even go beyond the scope of logic programming.   The various Constraints Logic Programming libraries are examples of successful systems based on ECLiPSe 's extensibility:

library(fd)

finite-domain constraint solver

library(r)

linear rational arithmetic constraint solver

library(chr)

constraint handling rules system

library(propia)

generalized propagation system

library(conjunto)

finite sets constraint solver