| Actor | ⊕ 1986 | ⊕ Canada | |||
| CML | ⊕ 1986 | ⊕ Canada | Conceptual Modelling Language | ||
| LogoWriter | ⊕ 1986 | ⊕ Canada | |||
| Real-Time Euclid | ⊕ 1986 | ⊕ Canada | Euclid with RT extensions | ||
| SPECTUR | ⊕ 1986 | ⊕ Canada | |||
| Waterloo Core Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada |