| *Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United States | |
| Aquarius Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United States | High performance Prolog |
| cu-Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
| ECoLisp | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ Italy | Italian Common Lisp C-embeddable implementation |
| GROFF | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ United States | GNU's ROFF | |
| LOGLisp | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ United States | Logic in LISP |
| Mul-T | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ United States | Parallel T | |
| ObjVProlog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| ObjVProlog-D | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| PLATON | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Tree | ⊕ Japan | Natural Language parsing language |
| Prolog 3 | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ France | 3rd generation of the logic programming language |