2 links
FormulaOne
f1compiler.com
Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 9x/NT/2000/XP.
ResearchIndex: Hierarchical Constraint Logic Programming
citeseer.ist.psu.edu
A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, deci…