| Concurrent Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United States | |
| LM-Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Sweden | Lisp Machine Prolog |
| Prolog II+ | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ France | 2nd generation of the logic programming language |
| Temporal Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan |