GNU Prolog perguntas e respostas

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

Faça uma pergunta sobre GNU Prolog