GNU Prolog adalah Prolog compiler gratis dengan kendala pemecahan atas domain yang terbatas. GNU Prolog Prolog menerima dengan program kendala dan menghasilkan binari asli (seperti gcc tidak dari sumber C). Executable yang diperoleh kemudian berdiri sendiri. Ukuran file ini bisa menjadi kecil karena GNU Prolog dapat menghindari menghubungkan kode dari built-in predikat paling tidak terpakai. Kinerja GNU Prolog sangat menggembirakan (sebanding dengan sistem komersial). Selain kompilasi kode asli, GNU Prolog menawarkan interpreter klasik (top-level) dengan debugger.
Prolog bagian sesuai dengan standar ISO untuk Prolog dengan banyak ekstensi yang sangat berguna dalam praktek (variabel global, OS antarmuka, dan soket). GNU Prolog juga mencakup kendala efisien solver atas Hingga Domain (FD). Hal ini akan membuka kendala pemrograman logika untuk pengguna menggabungkan kekuatan pemrograman kendala untuk declarativity pemrograman logika. Fitur termasuk sesuai dengan standar ISO untuk Prolog, fasilitas pengeditan baris di bawah juru interaktif dengan selesai pada atom, antarmuka dua arah antara Prolog dan C, kode asli kompiler memproduksi berdiri executable saja, sederhana baris perintah kompiler menerima berbagai file, yang telah ditetapkan kendala. kendala aritmatika, kendala Boolean, kendala simbolik, dan kendala reifikasi, heuristik pencacahan yang telah ditetapkan, dan user dapat menentukan kendala baru sendiri
Komentar tidak ditemukan