name | image | paradigm | license | typing discipline | date released | operating sistem | Latest version | Stable version | Website |
---|---|---|---|---|---|---|---|---|---|
Absys | Logic/constraint | 1967 | Website | ||||||
CLACL | Logic/constraint | Propietary software | 01/2000 | Microsoft Windows | 1.04 | Website | |||
Constraint Handling Rules | Logic/constraint | 1991 | Website | ||||||
Fril | Logic/constraint | 1980 | Website | ||||||
Prolog | Logic/constraint | 1972 | Website |