ECLIPSE

A Prolog + CLP compiler from ECRC.