| Electre | ⊕ 1983 | ⊕ France | |||
| Formes | ⊕ 1983 | ↓ ↑ ⊕ Specialised Languages | ⊕ Sound-Synthesis | ⊕ France | |
| LTR2 | ⊕ 1983 | ⊕ France | Langage Temps-Réel | ||
| Prolog II+ | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ France | 2nd generation of the logic programming language |