FormulaOne Compiler
FormulaOne is a constraint logic programming (CLP) system for the development of applications.