ANU ML | ⊕ 1988 | ⊕ Australia | |||
Impala | ⊕ 1988 | ⊕ Australia | |||
NU-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Australia | |
PMS-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Australia | |
PNU-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Australia | Parallel Nu-Prolog |