GNU Prolog voti

Si tratta di un libero Prolog compiler con vincolo di risolvere oltre finiti i domini