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 |