Per Prolog conosco Sicstus (che, se non erro, non è liberamente scaricabile).
Di liberamente scaricabile ho trovato SWI-Prolog: http://www.swi-prolog.org/ (non l'ho provato).


Ciao.