GNU Prolog votos

Ele é um compilador Prolog com restrição de problemas nos domínios finitos