| ESP | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Japan | Extended Self-containing Prolog | |
| FFP with streams | ⊕ 1983 | ⊕ Japan | |||
| Iota | ⊕ 1983 | ⊕ Japan | |||
| Monad | ⊕ 1983 | ⊕ Japan | |||
| Nano-2 | ⊕ 1983 | ⊕ Japan | |||
| TAO | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Japan | Lisp dialect with concurrency, object-orientation and logic. | |
| Temporal Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan |