| 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 |