| ALDiSP | ⊕ 1989 | ⊕ Germany | |||
| Booster | ⊕ 1989 | ⊕ Netherlands | |||
| CAML | ⊕ 1989 | ⊕ France | |||
| CLASSIC | ⊕ 1989 | ⊕ United States | |||
| CLP(sigma*) | ⊕ 1989 | ⊕ United States | Constraint Logic Programming with Regular Sets | ||
| CLP* | ⊕ 1989 | ⊕ United States | Constraint Logic Programming with abstractions | ||
| COL | ⊕ 1989 | ⊕ France | |||
| Crawford FORTH | ⊕ 1989 | ⊕ United States | |||
| CSU FORTH | ⊕ 1989 | ||||
| EqL | ⊕ 1989 | ⊕ United States | |||
| FLO | ⊕ 1989 | ⊕ United States | Flowchart preprocessor for PIC | ||
| F-Logic | ⊕ 1989 | ||||
| Forms/2 | ⊕ 1989 | ⊕ United States | |||
| FUF | ⊕ 1989 | ⊕ Germany | Functional Unification Formalism | ||
| Fugue | ⊕ 1989 | Music representation language | |||
| HCLP | ⊕ 1989 | Hierarchical Constraint Logic Programming | |||
| IQL | ⊕ 1989 | ⊕ France | Recursive oo query language | ||
| Kaleidoscope | ⊕ 1989 | ⊕ United States | |||
| LAURE | ⊕ 1989 | ⊕ France | |||
| LIDO | ⊕ 1989 | ⊕ Germany | |||
| LOTOS | ⊕ 1989 | ⊕ United States | Specification language based on temporal ordering | ||
| LSP | ⊕ 1989 | ⊕ Japan | |||
| Machiavelli | ⊕ 1989 | ⊕ United States | Fucntional database language | ||
| Macos | ⊕ 1989 | ⊕ United States | BBS scripted language | ||
| MELD | ⊕ 1989 | ⊕ United States | |||
| Ontic | ⊕ 1989 | ⊕ United States | |||
| PC-Parlog | ⊕ 1989 | ⊕ United Kingdom | |||
| Playground | ⊕ 1989 | ||||
| P-TAC | ⊕ 1989 | ⊕ United States | |||
| RAPs | ⊕ 1989 | ⊕ United States | |||
| SDF | ⊕ 1989 | ⊕ Netherlands | Syntax Definition Formalism | ||
| Seymour | ⊕ 1989 | ||||
| SINA | ⊕ 1989 | ||||
| VAL | ⊕ 1989 | ⊕ United States | |||
| WSL | ⊕ 1989 | ⊕ United Kingdom | Wide Spectrum Language | ||
| XPC | ⊕ 1989 | ⊕ United States |