GNU Prolog bình chọn

Nó là một người tự do Prologlanguage compiler với constraint giải quyết xong cũng có hạn miền