Here is a list of some most useful implementations of Prolog:
*SWI-Prolog
*GNU Prolog
*Amzi! Prolog + Logic Server
*LPA Prolog