Sabtu, 30 November 2013

SWI-PROLOG



SWI-Prolog fitur paling penting
* Kernel yang berlisensi LGPL. Prolog perpustakaan didistribusikan di bawah GPL dengan pernyataan tambahan yang memungkinkan untuk digunakan dalam aplikasi proprietary. Rincian dapat ditemukan pada halaman lisensi.
* Cepat kompilasi. Misalnya, beban 140.000 baris kode yang tersebar lebih dari 500 file sumber-in 2.3 detik pada sistem 5400 AMD.
* Kuat dan bebas dari kebocoran memori. Digunakan untuk beberapa server yang menjalankan 24x7 (termasuk layanan-web).
* Kecil. Lingkungan pengembangan penuh, termasuk grafik, perpustakaan dan paket antarmuka banyak hal memerlukan approx. Harddisk 40MB. Kernel non-grafis adalah tentang 650Kb, perpustakaan grafis menambahkan sekitar 1.2MB pada gambar.
* Timbangan baik untuk aplikasi yang besar. Tidak ada batasan ukuran program, atom-panjang, jangka-arity atau nilai integer. Tidak ada penurunan kinerja pada predikat dengan banyak (diindeks) fakta.
* Tak terbatas aritmatika integer dan bilangan rasional berdasarkan perpustakaan GMP.
* Comprehensive set built-in sebutan, yang meliputi Bagian 1 dari standar ISO, de-facto bagian Edinburgh Prolog standar dan penting Quintus dan SICStus Prolog.
air kompatibilitas untuk Ciao, YAP dan GNU-Prolog.

Tidak ada komentar:

Posting Komentar