Logtalk. Unduhan gratis, unduhan Logtalk. pada unduhan perangkat lunak

Bahasa Pemrograman Logika Berorientasi Objek Terbuka Logtalk adalah bahasa pemrograman logika berorientasi objek open-source yang matang yang dapat menggunakan sebagian besar implementasi Prolog sebagai kompiler back-end. Berikut adalah beberapa fitur utama "Logtalk": · Arahan predikat (deklarasi) dapat terkandung dalam protokol (antarmuka), yang dapat diimplementasikan oleh objek apa pun. · Nama objek dapat berupa istilah majemuk yang berisi variabel gratis yang dapat digunakan untuk parametrize objek predikat. Ini memungkinkan kita untuk memperlakukan predikat apa pun sebagai instantiasi objek parametrik. Yaitu. Melalui objek parametrik kita dapat mengaitkan sejumlah metode dengan istilah majemuk. · Anda mungkin memiliki, dalam aplikasi yang sama, hierarki berbasis kelas (dengan hubungan instantiation dan spesialisasi) dan hierarki berbasis prototipe (dengan relasi ekstensi). Selain itu, fitur bahasa fundamental seperti protokol (antarmuka) dan kategori (komponen) dapat digunakan secara bersamaan berdasarkan kelas, instance, dan prototipe. · Tidak perlu dibatasi ke hirarki tunggal yang berakar pada beberapa objek generik. · Logtalk mendukung warisan pribadi, dilindungi, dan publik dengan cara yang mirip dengan c. Selain itu, setiap hubungan entitas dapat memenuhi syarat menggunakan kata kunci lingkup. Misalnya. Objek dapat mengimplementasikan protokol secara pribadi, sehingga membuat semua protokol menyatakan predikat pribadi. · Atur ruang lingkup predikat objek Anda agar sesuai dengan desain protokol Anda dan biarkan sistem runtime memberlakukan pilihan Anda. · Objek bisa berupa statis atau dinamis. Objek statis didefinisikan dalam file sumber yang dikompilasi dan dimuat dengan cara yang sama seperti file Prolog. Objek dinamis dapat didefinisikan dalam file sumber atau dibuat pada runtime. · Setiap objek statis dapat berisi predikat statis dan dinamis. · Logtalk menggunakan sintaks Prolog standar dengan penambahan beberapa operator dan arahan untuk kurva pembelajaran yang lancar. Kode Prolog dapat dengan mudah dienkapsulasi di dalam objek dengan sedikit atau tanpa perubahan. Selain itu, Logtalk dapat secara transparan menafsirkan sebagian besar modul prolog sebagai objek logtalk untuk memudahkan menggunakan kembali kode yang ada (mis. Perpustakaan). · Predikat dapat secara implisit disebut ketika peristiwa memata-matai terjadi, memungkinkan solusi pemrograman yang meminimalkan kopling objek. Selain itu, acara memberikan dukungan untuk refleksi perilaku. · Predikat dapat dienkapsulasi dalam kategori di dalam, yang dapat diimpor oleh objek mana pun, tanpa duplikasi kode dan terlepas dari hierarki objek. Dengan demikian, objek dapat didefinisikan melalui komposisi kategori, yang bertindak sebagai unit penggunaan ulang kode berbutir halus. · Pemrograman multi-threading tingkat tinggi tersedia saat menjalankan logtalk dengan kompiler prolog back-end yang dipilih, memungkinkan objek untuk mendukung pesan sinkron dan asinkron. Mudah memanfaatkan multi-prosesor modern dan komputer multi-inti tanpa repot dengan detail membuat dan menghancurkan benang, mengimplementasikan komunikasi benang, atau menyinkronkan utas. · Logtalk mendukung multi-warisan dari protokol dan implementasi. Objek dapat menerapkan beberapa protokol dan memperluas, mengkhususkan diri, atau instantiate beberapa objek. Konflik multi-pewarisan diselesaikan secara implisit oleh algoritma pencarian logtalk atau secara eksplisit dengan menggunakan arahan predikat. · Kode logtalk dikompilasi menggunakan teknik yang sama yang Anda gunakan untuk menulis kode prolog yang efisien. Selain itu, Logtalk mendukung pengikatan statis dan pengikatan dinamis (dengan caching pencarian metode), sangat meningkatkan kinerja. Hasil benchmark untuk beberapa kompiler Prolog tersedia di sini. · Logtalk dirancang untuk integrasi yang lancar dengan kompiler prolog apa pun yang sesuai atau dengan cermat mengikuti standar ISO Prolog. · Antarmuka Logtalk dengan kompiler prolog back-end tertentu melalui file konfigurasi minimal membuatnya kompatibel dengan hampir semua kompiler modern. · Logtalk secara otomatis menghasilkan file dokumentasi dalam format XML untuk setiap objek, protokol, atau kategori yang dikompilasi. Sistem ini mencakup semua file dan skrip XSL (T) yang diperlukan untuk mengkonversi file yang mendokumentasikan ke (X) HTML dan PDF. Persyaratan: · Prolog. Apa yang baru dalam rilis ini: · Dukungan tambahan untuk menggunakan konstruk kontrol logtalk bypass {} / 1 untuk membungkus penutupan yang harus dieksekusi dalam konteks "Pengguna" Pseudo- Object (mis. Panggilan untuk Prolog Built-in Predicates). · Modul Workaround Meta-predicate semantik Untuk mendukung panggilan ke modul meta-predicates yang ditentukan dalam penggunaan penggunaan_module / 2 dalam objek dan kategori. · Dukungan tambahan untuk mengkompilasi panggilan ke modul meta-predikat yang secara eksplisit memenuhi syarat (mungkin mensyaratkan bahwa modul dimuat, tergantung pada kompiler prolog back-end). · Pembersihan kode kompilasi arahan predikat meta-predikat. Kencangkan pemeriksaan arahan meta-predikat dan argumen arahan predikat meta-predikat. · Peningkatan kompilasi panggilan / 2-N tujuan. · Peningkatan kinerja meta-panggilan yang dikompilasi saat runtime. · Peningkatan kinerja ekspresi lambda bebas / gol, biasanya digunakan dalam bagof / 3 dan setof / 3 panggilan. · Meningkatkan ekspresi lambda memeriksa kesalahan dan menambahkan dukungan untuk menggunakan ekspresi (>>) / 2 lambda sebagai tujuan. · Memperbaiki bug dalam menangani konteks meta-call untuk ekspresi lambda. · Mengoreksi kesalahan ketik dalam istilah pengecualian yang dihasilkan saat mengirim pesan ke objek yang sesuai dengan metode lokal bawaan. · Diperbarui file konfigurasi CXProlog untuk mengatur batas waktu menulis dan menulis daftar yang memungkinkan kompilasi perpustakaan logtalk dan contoh (nilai default adalah dua rendah dalam beberapa kasus yang mengarah ke kesalahan kompilasi). Selain itu, manfaatkan bendera "versi_data" baru, sehingga membutuhkan versi 0,97,4 atau versi yang lebih baru. · Diperbarui file konfigurasi SWI-Prolog untuk mengenali dan menyusun arahan eksklusif at_halt / 1. · Diperbarui file konfigurasi b-prolog untuk menambahkan deklarasi predikat meta yang hilang untuk predikat bawaan eksklusif / 2 built-in. · Diperbarui file konfigurasi YAP dengan menambahkan deklarasi yang hilang untuk waktu / 1 meta-predikat bawaan dan dengan mengomentari pengaturan panggilan yang menetapkan bendera "Bahasa" ke "ISO" karena semua perpustakaan YAP yang tidak Kompilasi dengan pengaturan ini. · Diperbarui file konfigurasi XSB dengan menambahkan deklarasi yang hilang untuk waktu / 1 bawaan meta-predikat dan definisi untuk predikat setup_call_cleanup / 3 (untuk memulihkan kompatibilitas dengan fitur Multi-Threading Logtalk). · Memperbarui semua file konfigurasi dengan informasi tentang ketersediaan setup_call_cleanup / 3 predikat. · Memperluas contoh "lambdas" dengan kontribusi oleh Artur Miguel Dias, lebih banyak permintaan sampel (termasuk yang non-deterministik), dan beberapa tolok ukur sederhana. · Menambahkan dukungan pewarnaan sintaks untuk operator quantifier eksistensial ^ / 2 untuk sebagian besar editor teks dan highlighters sintaksis. Menambahkan kode sampel menggunakan ^ / 2 quantifier eksistensial ke file tes mewarnai sintaks.

Logtalk. Perangkat Lunak Terkait