| CLEF | ⊕ 1985 | ⊕ United Kingdom | |||
| C-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Edinburgh ML | ⊕ 1985 | ⊕ United Kingdom | |||
| Edinburgh Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| EML | ⊕ 1985 | ⊕ United Kingdom | ML Specification language | ||
| EuLisp | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Lazy Evaluation LISPs | ⊕ United Kingdom | European LISP standard |
| F-code | ⊕ 1985 | ⊕ United Kingdom | |||
| HOL | ⊕ 1985 | ⊕ United Kingdom | Higher Order Logic | ||
| Kernel Parlog | ⊕ 1985 | ⊕ United Kingdom | |||
| Miranda | ⊕ 1985 | ↓ ↑ ⊕ Specialised Languages | ⊕ Lazy Evaluation FPs | ⊕ United Kingdom | |
| MUDDL | ⊕ 1985 | ↓ ↑ ⊕ Specialised Languages | ⊕ Game languages | ⊕ United Kingdom | MUD language |
| Napier | ⊕ 1985 | ⊕ United Kingdom | |||
| N-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| PIMP | ⊕ 1985 | ↓ ↑ ⊕ Multi-purpose | ⊕ Early Autocodes | ⊕ United Kingdom | Persistent IMP |
| POEM | ⊕ 1985 | ⊕ United Kingdom | OO extension to Prolog | ||
| SASL-YACC | ⊕ 1985 | ⊕ United Kingdom | |||
| STRICT | ⊕ 1985 | ⊕ United Kingdom | |||
| Tempura | ⊕ 1985 | ⊕ United Kingdom |