| ADSO | ⊕ 1984 | ⊕ United States | Cullinet IDMS 4GL | ||
| Amber | ⊕ 1984 | ⊕ United States | ML with CSP-like concurrency | ||
| EZ | ⊕ 1984 | ⊕ United States | |||
| KCL | ⊕ 1984 | ⊕ Japan | |||
| KL-TWO | ⊕ 1984 | ⊕ United States | |||
| LOOKS | ⊕ 1984 | ⊕ Japan | |||
| Magma2 | ⊕ 1984 | ⊕ Italy | |||
| Mary/2 | ⊕ 1984 | ⊕ Partial A68 only | ⊕ Norway | ||
| MIMOLA | ⊕ 1984 | ||||
| MODEF | ⊕ 1984 | ⊕ Denmark | Revised Pascal with polymorphism | ||
| NIAL | ⊕ 1984 | ⊕ Canada | |||
| NOMAD2 | ⊕ 1984 | ⊕ United States | |||
| OC | ⊕ 1984 | ⊕ Japan | Parallel logic language | ||
| PSETL | ⊕ 1984 | ⊕ United States | |||
| QUEL | ⊕ 1984 | ⊕ United States | |||
| Quty | ⊕ 1984 | ⊕ Japan | |||
| TABLOG | ⊕ 1984 | The deductive table programming language |