GNU Prolog (64-bit)

Deskripsi

GNU Prolog adalah kompiler Prolog gratis dengan pemecahan kendala atas domain yang terbatas. GNU Prolog menerima Prolog dengan program kendala dan menghasilkan binari asli (seperti yang dilakukan gcc dari sumber C). Eksekusi yang diperoleh kemudian berdiri sendiri. Ukuran executable ini bisa kecil karena GNU Prolog dapat menghindari penautan kode dari predikat bawaan yang paling tidak digunakan. Kinerja GNU Prolog sangat menggembirakan (sebanding dengan sistem komersial). Selain kompilasi kode asli, GNU Prolog menawarkan penerjemah klasik (tingkat atas) dengan debugger.

Bagian Prolog sesuai dengan standar ISO untuk Prolog dengan banyak ekstensi yang sangat berguna dalam praktik (variabel global, antarmuka OS, dan soket). GNU Prolog juga menyertakan pemecah kendala yang efisien atas Finite Domains (FD). Ini membuka pemrograman logika kendala kepada pengguna yang menggabungkan kekuatan pemrograman kendala ke deklaratif pemrograman logika. Fitur termasuk sesuai dengan standar ISO untuk Prolog, fasilitas pengeditan baris di bawah penerjemah interaktif dengan penyelesaian pada atom, antarmuka dua arah antara Prolog dan C, kompiler kode asli yang menghasilkan executable yang berdiri sendiri, kompiler baris perintah sederhana yang menerima berbagai file, telah ditentukan sebelumnya kendala: kendala aritmatika, kendala Boolean, kendala simbolik, dan kendala reified, heuristik enumerasi yang telah ditentukan, dan pengguna dapat menentukan sendiri kendala baru.