| Actus 2 | ⊕ 1986 | ⊕ United Kingdom | |||
| AlphaPop | ⊕ 1986 | ⊕ Stack | ⊕ United Kingdom | Pop on the Mac | |
| CCSP | ⊕ 1986 | ⊕ United Kingdom | |||
| ECRC-Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| EDUCE | ⊕ 1986 | ⊕ United Kingdom | |||
| GLIDE | ⊕ 1986 | ⊕ United Kingdom | |||
| L-HYBRID | ⊕ 1986 | ⊕ United Kingdom | |||
| Parlog86 | ⊕ 1986 | ⊕ United Kingdom | |||
| S-LONLI | ⊕ 1986 | ⊕ United Kingdom | |||
| Ten15 | ⊕ 1986 | ⊕ United Kingdom | |||
| Timed CSP | ⊕ 1986 | ⊕ United Kingdom | Extension of CSP to include timing constructs | ||
| Tuki | ⊕ 1986 | ↓ ↑ ⊕ Specialised Languages | ⊕ Intermediate languages and VMs | ⊕ United Kingdom |