GNU Prolog (32-bit) Terima Prolog dengan kendala dan kompilasi di atas domain hingga.
Unduh sekarang

GNU Prolog (32-bit) Peringkat & Ringkasan

GNU Prolog (32-bit) Tag

GNU Prolog (32-bit) Keterangan

GNU Prolog adalah kompiler Prolog gratis dengan hambatan pemecahan atas domain hingga. GNU Prolog menerima Prolog dengan program kendala dan menghasilkan binari asli (seperti GCC dari sumber C). Eksekusi yang diperoleh kemudian berdiri sendiri. Ukuran yang dapat dieksekusi ini bisa kecil karena GNU Prolog dapat menghindari menghubungkan kode predikat bawaan yang paling tidak digunakan. Pertunjukan 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 mencakup pemecah kendala yang efisien atas domain hingga (FD). Ini membuka pemrograman logika kendala kepada pengguna yang menggabungkan kekuatan kendala pemrograman dengan deklarasi dari pemrograman logika. Fitur termasuk sesuai dengan standar ISO untuk prolog, fasilitas pengeditan garis di bawah penerjemah interaktif dengan penyelesaian pada atom, antarmuka dua arah antara Prolog dan C, kompiler kode asli yang memproduksi executable berdiri sendiri, kompiler baris perintah sederhana yang menerima berbagai file, yang telah ditentukan sebelumnya Kendala: Kendala aritmatika, kendala boolean, kendala simbolis, dan kendala regangan, heuristik enumerasi yang telah ditentukan, dan pengguna dapat menentukan kendala barunya sendiri.

GNU Prolog (32-bit) Perangkat Lunak Terkait