| 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 |