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 |