| ↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
| ABSYS | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | ⊕ Horn clause | ⊕ United Kingdom | Aberdeen system declarative language |
| C-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| ECRC-Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Edinburgh Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| IC Prolog ][ | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| IC-Prolog | ⊕ 1979 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Modular Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| N-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| NUA-Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | Extension to the WAM for Parallel Andorra |
| Prolog-2 | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Quintec Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
| Robinson Unification Logic | ⊕ 1969 | ⊕ Horn clause | ⊕ United Kingdom |