ECLIPSE
A
Prolog
+
CLP
compiler from
ECRC
.