| ↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
| BNR Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| ObjVProlog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| ObjVProlog-D | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| Q-system | ⊕ 1969 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| Waterloo Core Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada | |
| XProlog | ⊕ 2002 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Canada |