| 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 |