| Actra | ⊕ 1985 | ↓ ↑ ⊕ Specialised Languages | ⊕ Canada | Multiprocessing Smalltalk | |
| BNR Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| Chronolog | ⊕ 1985 | ⊕ Canada | Temporal version of Prolog | ||
| FRANK | ⊕ 1985 | ⊕ Canada | SPL with bins | ||
| GML | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Canada | Waterloo General Markup Language | |
| RedTen | ⊕ 1985 | ⊕ Canada | |||
| TXL | ⊕ 1985 | ⊕ Canada |