Chronolog(0) | ⊕ 1993 | ⊕ Canada | |||
Chronolog(Z) | ⊕ 1993 | ⊕ Canada | |||
Golog | ⊕ 1993 | ⊕ Canada | |||
mLucid | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Polymorphic | ⊕ Canada | Indexical Lucid |
piDEMOS | ⊕ 1993 | ↓ ↑ ⊕ Specialised Languages | ⊕ Canada | teaching subset of DEMOS |