| ACP | ⊕ 1985 | ⊕ Netherlands | Algebra of Communicating Processes | ||
| Chronolog | ⊕ 1985 | ⊕ Canada | Temporal version of Prolog | ||
| CLEF | ⊕ 1985 | ⊕ United Kingdom | |||
| DITROFF/FFORTID | ⊕ 1985 | ⊕ Israel | |||
| foogol | ⊕ 1985 | ⊕ United States | |||
| GCP | ⊕ 1985 | ⊕ Italy | Guarded Communicating Processes | ||
| GEP | ⊕ 1985 | Mathematical programming language | |||
| Jacob 0 | ⊕ 1985 | ⊕ United States | |||
| Juno | ⊕ 1985 | ⊕ United States | |||
| Kernel Parlog | ⊕ 1985 | ⊕ United Kingdom | |||
| LTR3 | ⊕ 1985 | ⊕ France | Langage Temps-Réel | ||
| Methods | ⊕ 1985 | ⊕ United States | |||
| Neon | ⊕ 1985 | ⊕ United States | |||
| OBSCURE | ⊕ 1985 | ||||
| OIL | ⊕ 1985 | ||||
| OLGA | ⊕ 1985 | ⊕ France | Language for specification of attribute grammars | ||
| POEM | ⊕ 1985 | ⊕ United Kingdom | OO extension to Prolog | ||
| Prodigy | ⊕ 1985 | ⊕ United States | |||
| QuickBasic | ⊕ 1985 | ⊕ United States | Microsoft IDE-centred Basic interpreter | ||
| Rapira | ⊕ 1985 | ⊕ Russian Federation | |||
| SASL-YACC | ⊕ 1985 | ⊕ United Kingdom | |||
| SEGRAS | ⊕ 1985 | ⊕ Germany | |||
| SOL | ⊕ 1985 | ⊕ United States | Second-Order Lambda calculus | ||
| STROBE | ⊕ 1985 | ⊕ United States | |||
| Tempura | ⊕ 1985 | ⊕ United Kingdom | |||
| Trellis | ⊕ 1985 | ⊕ Germany |