↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
LM-Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Sweden | Lisp Machine Prolog |
SICStus Prolog | ⊕ 1987 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Sweden | Swedish Inst Comp Sci Prolog |