GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) adalah kompiler Prolog yang kuat dan gratis yang menawarkan penyelesaian kendala pada domain terbatas. Perangkat lunak ini dirancang untuk pengembang yang perlu membuat program kompleks dengan mudah. GNU Prolog menerima Prolog dengan program kendala dan menghasilkan binari asli, membuatnya berdiri sendiri dan efisien.

Salah satu keuntungan paling signifikan dari GNU Prolog adalah kemampuannya untuk menghindari penautan kode dari sebagian besar predikat bawaan yang tidak terpakai, menghasilkan ukuran yang dapat dieksekusi lebih kecil. Performa GNU Prolog sangat menggembirakan, sebanding dengan sistem komersial.

Selain kompilasi kode asli, GNU Prolog menawarkan juru bahasa klasik (tingkat atas) dengan debugger. Penerjemah menyediakan fasilitas pengeditan garis dalam mode interaktif dengan penyelesaian pada atom, sehingga memudahkan pengembang untuk men-debug kode mereka.

Perangkat lunak ini sesuai dengan standar ISO untuk Prolog dengan banyak ekstensi yang sangat berguna dalam praktiknya seperti variabel global, antarmuka OS, dan soket. Ini memudahkan pengembang untuk membuat program kompleks yang dapat berinteraksi secara mulus dengan sistem lain.

GNU Prolog juga menyertakan pemecah kendala yang efisien melalui Finite Domains (FD). Ini membuka pemrograman logika kendala untuk pengguna dengan menggabungkan kekuatan pemrograman kendala dengan deklarativitas pemrograman logika. Dengan fitur ini, pengguna dapat menentukan batasannya dengan mudah tanpa khawatir tentang kesalahan sintaks atau masalah lainnya.

Kendala yang telah ditentukan termasuk kendala aritmatika seperti penjumlahan dan pengurangan; Batasan Boolean seperti AND/OR; kendala simbolis seperti pencocokan string; kendala reified yang memungkinkan Anda untuk mengekspresikan kondisi logis menggunakan operator Boolean; heuristik pencacahan yang telah ditentukan sebelumnya yang membantu Anda menemukan solusi dengan cepat dengan menjelajahi berbagai kemungkinan secara sistematis.

Pengguna juga dapat menentukan batasan baru mereka sendiri dengan menggunakan perintah sederhana yang disediakan oleh kompiler baris perintah prolog GNU yang menerima berbagai file. Ini memudahkan pengembang yang menginginkan kontrol lebih besar atas perilaku program mereka atau memerlukan fungsionalitas khusus yang tidak tersedia di pustaka yang telah ditentukan sebelumnya.

Singkatnya, jika Anda sedang mencari alat yang kuat namun gratis yang memungkinkan Anda membuat program kompleks dengan mudah sambil menyesuaikan diri dengan standar industri, maka lihatlah prolog GNU!