GNU Prolog prêmios

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

Clique na premiação para revelar o código que você pode usar no seu site