| B | ⊕ 1996 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | Specification languag | |
| BUGS | ⊕ 1996 | ↓ ↑ ⊕ Specialised Languages | ⊕ Bayesian | ⊕ United Kingdom | Bayesian inference Using Gibbs Sampling |
| CHR | ⊕ 1996 | ⊕ United Kingdom | |||
| EITL | ⊕ 1996 | ⊕ United Kingdom | |||
| extended Tempura | ⊕ 1996 | ⊕ United Kingdom | |||
| FTLL | ⊕ 1996 | ⊕ United Kingdom | |||
| GUM | ⊕ 1996 | ⊕ United Kingdom | |||
| Hank | ⊕ 1996 | ⊕ United Kingdom | |||
| HUGS | ⊕ 1996 | ⊕ United Kingdom | Glasgow Haskell | ||
| Indlog | ⊕ 1996 | ⊕ United Kingdom | |||
| POP++ | ⊕ 1996 | ⊕ United Kingdom | |||
| Tangram | ⊕ 1996 | ⊕ United Kingdom | |||
| TODL | ⊕ 1996 | ↓ ↑ ⊕ Specialised Languages | ⊕ United Kingdom | ||
| TSQL2 | ⊕ 1996 | ⊕ United Kingdom |