| ↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
| CS-Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Hungary | |
| Temporal Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Hungary |