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 |