| Chronolog 3d | 1988 | Canada | |||
| EV2 | 1988 | Canada | |||
| GraphLog | 1988 | Canada | |||
| microChronolog | 1988 | Canada | |||
| m-Verdi | 1988 | Canada | |||
| SL | 1988 | Canada | |||
| Small Euclid | 1988 | Multi-purpose | Pascals | Canada | Testing susbset of Euclid |
| Trilogy | 1988 | Canada | |||
| Trilogy II | 1988 | Experimental and other | Canada |