MENYALAK yap adalah kompiler prolog berkinerja tinggi.
Unduh sekarang

MENYALAK Peringkat & Ringkasan

MENYALAK Tag

penyusun Prolog Compiler. WAM emulator arsitektur MIPS Prolog Wam.

MENYALAK Keterangan

Yap adalah kompiler prolog berkinerja tinggi. Yap adalah kompiler Prolog berkinerja tinggi yang dikembangkan di Coppe Sistemas / UFRJ dan di Liacc / Universidade do Porto. Mesin prolognya didasarkan pada WAM (Warren Abstract Machine), dengan beberapa optimasi untuk kinerja yang lebih baik. Yap mengikuti tradisi Edinburgh, dan sebagian besar kompatibel dengan standar ISO-Prolog dan dengan Quintus dan Sicstus Prolog.yap telah dikembangkan sejak 1985. Versi asli ditulis dalam perakitan, C dan Prolog, dan mencapai kinerja tinggi pada mesin berbasis M68K. . Kode perakitan digunakan untuk mengimplementasikan emulator WAM. Emulator nanti mendukung arsitektur vax, sparc, dan mips. Berhadap beberapa fitur utama dari "Yap": · Portabilitas: seluruh sistem sekarang ditulis dalam C. Yap mengkompilasi dalam mesin 32 bit populer, dan pcs Linux, dan Dalam mesin 64 bit, alfas yang menjalankan OSF Unix dan Linux. · Kinerja: Kami telah mengoptimalkan emulator untuk mendapatkan kinerja yang sebanding dengan atau lebih baik daripada sistem prolog terkenal. Bahkan, versi Yap saat ini berkinerja lebih baik daripada yang asli, ditulis dalam bahasa perakitan. · Kekobatan: Kami telah menguji sistem dengan beragam aplikasi Prolog. · Ekstensbilitas: Yap dirancang secara internal dari awal hingga merangkum manipulasi istilah. Prinsip-prinsip ini digunakan, misalnya, untuk mengimplementasikan antarmuka C yang sederhana dan kuat. Versi baru dari Yap memperluas prinsip-prinsip ini untuk mengakomodasi ekstensi ke algoritma penyatuan, yang kami yakini akan berguna untuk mengimplementasikan ekstensi seperti pemrograman kendala. · Kelengkapan: Yap sudah lama disediakan sebagian besar built in dari implementasi Edinburgh Prolog. Ini termasuk fungsionalitas I / O, operasi data-base, dan modul. Bekerja pada Yap bertujuan sekarang untuk menjadi kompatibel dengan standar Prolog. · Openess: Kami ingin membuat perkembangan baru dari Yap terbuka untuk komunitas pengguna. · Penelitian: Yap telah menjadi kendaraan untuk penelitian di dalam dan di luar kelompok kami. Saat ini penelitian terjadi pada paralelisasi dan tabulasi, dan dukungan untuk jaringan Bayesian. Apa yang baru dalam 5.1.2 Rilis Pengembangan: · Banyak peningkatan utama.

MENYALAK Perangkat Lunak Terkait