Open Prolog
Ciao Prolog
Poplog
Visual Prolog
Kernel Prolog
GNU Prolog
LPA Prolog
Strawberry Prolog
Light Edition
SWI-Prolog
BProlog