| nombre | imagen | paradigma | licencia | Disciplina de escritura | Fecha de publicación | Sistem operativo | Ultima versión | Versión estable | Sitio web |
|---|---|---|---|---|---|---|---|---|---|
| ABSYS | Lógica / restricción | 1967 | Website | ||||||
| CLACL | Lógica / restricción | Software propietario | 01/2000 | Microsoft Windows | 1.04 | Website | |||
| Constraint handling rules | Lógica / restricción | 1991 | Website | ||||||
| Fril | Lógica / restricción | 1980 | Website | ||||||
| Prolog | Lógica / restricción | 1972 | Website |