| Actalk | ⊕ 1989 | ↓ ↑ ⊕ Experimental and other | ⊕ Canada | ||
| ForceEpsilon | ⊕ 1989 | ↓ ↑ ⊕ Experimental and other | ⊕ Polymorphic | ⊕ Canada | |
| ForceTwo | ⊕ 1989 | ⊕ Canada | |||
| Modula Plus | ⊕ 1989 | ↓ ↑ ⊕ Specialised Languages | ⊕ Canada | ||
| ObjVProlog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| ObjVProlog-D | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| TELOS | ⊕ 1989 | ↓ ↑ ⊕ Experimental and other | ⊕ Canada |