| &-Prolog | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Spain | |
| *Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | |
| ABSYS | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ United Kingdom | Aberdeen system declarative language |
| Aquarius Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | High performance Prolog |
| Beta-Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| BNR Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada | |
| CIAO | ⊕ 1994 | ↓ ↑ ⊕ Experimental and other | Horn clause | ⊕ Spain | Distributed And/Or parallel prolog |
| Concurrent Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | |
| C-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United Kingdom | |
| CS-Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Hungary | |
| CS-Prolog II | ⊕ 1995 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Greece | |
| cu-Prolog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| Delta Prolog | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Portugal | |
| d-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | Defeasible Prolog |
| 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 | |
| ISO Prolog | ⊕ 1997 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ International | |
| Kanji PROLOG | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| lambda-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | |
| LM-Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Sweden | Lisp Machine Prolog |
| Marseille Prolog | ⊕ 1973 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | |
| Meta-Logic Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| Modal Prolog | ⊕ 1987 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| Modula-Prolog | ⊕ 1985 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Switzerland | |
| Modular Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United Kingdom | |
| M-Prolog | ⊕ 1980 | ↓ ↑ ⊕ String and List Processing | Horn clause | Modular Prolog | |
| M-Prolog | ⊕ 1973 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | |
| Multi-Prolog | ⊕ 1993 | ↓ ↑ ⊕ String and List Processing | Horn clause | ||
| MU-Prolog | ⊕ 1982 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | Prolog with coroutining |
| Muse | ⊕ 1990 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ International | Or-Parallel Prolog |
| Neuro-Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| Neuro-Prolog II | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| 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 |
| NUE-Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | |
| NUOO-Prolog | ⊕ 1997 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | |
| NU-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | |
| ObjVProlog | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada | |
| ObjVProlog-D | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada | |
| PDC-Prolog | ⊕ 1995 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Denmark | |
| PMS-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | |
| PNU-Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | Parallel Nu-Prolog |
| P-Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Singapore | |
| Prolog | ⊕ 1971 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | Logic programming language |
| Prolog 3 | ⊕ 1989 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | 3rd generation of the logic programming language |
| Prolog II+ | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | 2nd generation of the logic programming language |
| Prolog III | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | Prolog with unification replaced by constraint resolution. |
| Prolog IV | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ International | Prolog II with extra constraints etc |
| Prolog/KR | ⊕ 1984 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | Extension to prolog for Knowledge representation |
| Prolog/V | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ International | Prolog implemented in Smalltalk |
| Prolog+ | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ International | Enhanced Prolog | |
| Prolog++ | ⊕ 1994 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ International | OO Prolog |
| Prolog-2 | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United Kingdom | |
| Prolog-D-Linda | ⊕ 1990 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ Australia | Linda style Prolog |
| Prolog-ELF | ⊕ 1985 | ↓ ↑ ⊕ Experimental and other | Horn clause | ⊕ Japan | |
| Prolog-II | ⊕ 1982 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ France | Prolog with dif and freeze |
| Prolog-II/MALI | ⊕ 1993 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ France | |
| Prolog-Linda | ⊕ 1989 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ Australia | |
| Q-system | ⊕ 1969 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada | |
| Quintec Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United Kingdom | |
| R-Prolog | ⊕ 1991 | ↓ ↑ ⊕ String and List Processing | Horn clause | ||
| SB-Prolog | ⊕ 1973 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ United States | |
| SCOOP | ⊕ 1988 | ↓ ↑ ⊕ Specialised Languages | Horn clause | ⊕ France | |
| Shared Prolog | ⊕ 1990 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Italy | |
| SICStus Prolog | ⊕ 1987 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Sweden | Swedish Inst Comp Sci Prolog |
| Squeak Prolog | ⊕ 2000 | ↓ ↑ ⊕ String and List Processing | Horn clause | ||
| Temporal Prolog | ⊕ 1983 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Japan | |
| Temporal Prolog | ↓ ↑ ⊕ String and List Processing | Horn clause | |||
| Temporal Prolog | ⊕ 1988 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Hungary | |
| Turbo Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Denmark | |
| Visual Prolog | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Denmark | |
| Waterloo Core Prolog | ⊕ 1986 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada | |
| W-Prolog | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Australia | Simple Prolog dialect in Java |
| XProlog | ⊕ 2002 | ↓ ↑ ⊕ String and List Processing | Horn clause | ⊕ Canada |