GNU Prolog comentários

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

Seu voto: