GNU Prolog (64-bit)

Penerangan

GNU Prolog ialah pengkompil Prolog percuma dengan penyelesaian kekangan ke atas domain terhingga. GNU Prolog menerima Prolog dengan program kekangan dan menghasilkan perduaan asli (seperti yang dilakukan gcc daripada sumber C). Boleh laku yang diperoleh kemudiannya berdiri sendiri. Saiz boleh laku ini boleh menjadi kecil kerana GNU Prolog boleh mengelak daripada memautkan kod kebanyakan predikat terbina dalam yang tidak digunakan. Persembahan GNU Prolog sangat menggalakkan (setanding dengan sistem komersial). Di samping kompilasi kod asli, GNU Prolog menawarkan penterjemah klasik (peringkat atas) dengan penyahpepijat.

Bahagian Prolog mematuhi piawaian ISO untuk Prolog dengan banyak sambungan yang sangat berguna dalam amalan (pembolehubah global, antara muka OS dan soket). Prolog GNU juga termasuk penyelesai kekangan yang cekap ke atas Domain Terhad (FD). Ini membuka pengaturcaraan logik kekangan kepada pengguna yang menggabungkan kuasa pengaturcaraan kekangan kepada pengisytiharan pengaturcaraan logik. Ciri-ciri termasuk mematuhi piawaian ISO untuk Prolog, kemudahan penyuntingan baris di bawah penterjemah interaktif dengan pelengkapan pada atom, antara muka dua arah antara Prolog dan C, pengkompil kod asli yang menghasilkan boleh laku berdiri sendiri, pengkompil baris perintah mudah menerima pelbagai fail, yang dipratakrifkan kekangan: kekangan aritmetik, kekangan Boolean, kekangan simbolik dan kekangan semula, heuristik penghitungan yang dipratentukan, dan pengguna boleh menentukan kekangan baharunya sendiri.