↔ Order by name | ↔ Order by year | ↔ Order by year reverse | ↔ Order by Type | ↔ Order by Sammet category |
ANDOR | ⊕ 1990 | ⊕ Horn clause | ⊕ Japan | AND-OR Prolog | |
ANDOR-II | ⊕ 1990 | ⊕ Horn clause | ⊕ Japan | AND-OR Prolog | |
Beta-Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
cu-Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Kanji PROLOG | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Meta-Logic Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Modal Prolog | ⊕ 1987 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Neuro-Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Neuro-Prolog II | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
Prolog/KR | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | Extension to prolog for Knowledge representation |
Prolog-ELF | ⊕ 1985 | ↓ ↑ ⊕ Experimental and other | ⊕ Horn clause | ⊕ Japan | |
Temporal Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan |