| Language | First appeared | Developer |
|---|---|---|
| Alice | 2000 | Saarland University |
| Alma-0 | 1997 | Centrum Wiskunde & Informatica |
| Curry | 1995 | Kiel University |
| ECLiPSe | 1992 | European Computer-Industry Research Center |
| Kaleidoscope | 1994 | — |
| MiniZinc | 2009 | Monash University |
| Oz | 1991 | — |