| ALOG | ⊕ 1984 | ⊕ France | |||
| AMP | ⊕ 1984 | ⊕ France | |||
| Esterel | ⊕ 1984 | ↓ ↑ ⊕ Experimental and other | ⊕ France | ||
| Le-Lisp | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ France | |
| PLASMA-II | ⊕ 1984 | ⊕ France | |||
| PLUSS | ⊕ 1984 | ⊕ France | |||
| Prolog III | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ France | Prolog with unification replaced by constraint resolution. |
| QNAP | ⊕ 1984 | ⊕ France |