| ↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
| BABEL | ⊕ 1990 | Portugal | |||
| Delta Prolog | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | Portugal | |
| LogTalk | ⊕ 1998 | ↓ ↑ ⊕ Experimental and other | Portugal | OO Extensions to Prolog | |
| Tyco | Portugal |