GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) ialah pengkompil Prolog yang berkuasa dan percuma yang menawarkan penyelesaian kekangan ke atas domain terhingga. Perisian ini direka untuk pembangun yang perlu mencipta program yang kompleks dengan mudah. GNU Prolog menerima Prolog dengan program kekangan dan menghasilkan perduaan asli, sama seperti yang gcc lakukan daripada sumber C. Boleh laku yang diperoleh kemudiannya berdiri sendiri, yang bermaksud bahawa ia boleh dijalankan pada mana-mana komputer tanpa memerlukan perisian atau perpustakaan tambahan.

Salah satu kelebihan GNU Prolog yang paling ketara ialah saiznya yang kecil. Memandangkan perisian ini boleh mengelakkan memautkan kod kebanyakan predikat terbina dalam yang tidak digunakan, saiz boleh laku boleh menjadi sangat kecil. Ini menjadikannya sesuai untuk pembangun yang ingin mencipta aplikasi ringan yang tidak menggunakan terlalu banyak ruang pada komputer pengguna.

Persembahan GNU Prolog juga sangat menggalakkan dan setanding dengan sistem komersial. Ini bermakna anda boleh bergantung pada perisian ini untuk menyampaikan hasil yang pantas dan cekap setiap kali anda menggunakannya.

Di samping kompilasi kod asli, GNU Prolog menawarkan penterjemah klasik (peringkat atas) dengan penyahpepijat. Jurubahasa membolehkan anda menguji kod anda secara interaktif dan nyahpepijat sebarang isu yang timbul semasa pembangunan.

Bahagian Prolog mematuhi piawaian ISO untuk Prolog dengan banyak sambungan yang sangat berguna dalam amalan (pembolehubah global, antara muka OS dan soket). Ini bermakna anda boleh bergantung pada perisian ini untuk menyampaikan hasil yang boleh dipercayai setiap kali anda menggunakannya.

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:

- Mematuhi standard ISO untuk prolog

- Kemudahan penyuntingan baris di bawah penterjemah interaktif dengan penyelesaian pada atom

- Antara muka dua arah antara prolog dan C

- Pengkompil kod asli yang menghasilkan boleh laku yang berdiri sendiri

- Pengkompil baris arahan mudah menerima pelbagai fail

- Kekangan yang dipratentukan: kekangan aritmetik, kekangan Boolean, kekangan simbolik, kekangan semula.

- Heuristik penghitungan yang dipratakrifkan.

- Kekangan baharu yang ditentukan pengguna

Secara ringkasnya:

Jika anda sedang mencari pengkompil prolog yang berkuasa tetapi percuma dengan penyelesaian kekangan ke atas domain terhingga maka jangan cari lebih jauh daripada prolog GNU 32-bit! Dengan saiznya yang kecil namun keupayaan prestasi yang mengagumkan ditambah dengan antara muka pengguna yang intuitif menjadikan program ini sempurna bukan sahaja untuk pemula tetapi juga pengaturcara yang berpengalaman!