Yo también te recomiendo swi-prolog.
Precisamente ahora estaba haciendo un par de pruebas de lógica rebatible con la extensión dprolog; a todo el aficionado a estas cosas recomiendo echarle un ojo.
El tema 11 del libro "prolog programming in depth" tiene todo lo que se necesita saber acerca del tema.
Encontrar el libro es muy fácil, hay versiones gratuitas que se encuentran con sólo escribir el título en google.
Saludos y suerte con prolog... y un último consejo; sobre prolog hay una cosa casi más interesante que aprender a utilizarlo, y es aprender cómo funciona, en el sentido de entender los algoritmos y principios que utiliza para realizar la inferencia, etc..
