| *LISP | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ United States | Data parallel TM LISP |
| BNR Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| C-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Edinburgh Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| EuLisp | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ United Kingdom | European LISP standard |
| GML | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Canada | Waterloo General Markup Language | |
| Le_LISP | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ France | |
| Modula-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Switzerland | |
| NCR Pilot II | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ CAI languages | ⊕ United States | Computer aided instruction language |
| N-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| PRISM | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing |