Logtalk

Logtalk merupakan perpanjangan berorientasi objek open source dengan bahasa pemrograman Prolog. Mengintegrasikan logika pemrograman dengan pemrograman berorientasi objek dan event-driven, itu kompatibel dengan sebagian besar kompiler Prolog.
Logtalk mendukung kedua prototipe dan kelas. Selain itu, mendukung pemrograman berbasis komponen melalui komposisi berbasis kategori

Fitur :.

• Pemisahan antara interface dan implementasi:
• arahan Predikat (deklarasi) dapat terkandung di dalam protokol (antarmuka), yang dapat dilaksanakan oleh objek apapun.


• objek Parametrik:

Nama
• Obyek dapat istilah senyawa yang mengandung variabel bebas yang dapat digunakan untuk parametrize predikat objek.


• Dukungan untuk kedua sistem kelas dan berbasis prototipe:
• Anda mungkin memiliki, dalam aplikasi yang sama, hirarki (dengan Instansiasi dan spesialisasi hubungan) dan hierarki berbasis prototipe (dengan hubungan ekstensi) berbasis kelas
.

• Dukungan untuk beberapa hierarki objek:
• Tidak perlu dibatasi untuk hirarki panjang tunggal berakar pada beberapa objek generik.


• Swasta, dilindungi, dan warisan publik:
• Logtalk mendukung swasta, dilindungi, dan warisan masyarakat dengan cara yang mirip dengan C. Selain itu, ada hubungan entitas dapat memenuhi syarat menggunakan kata kunci lingkup.


• Swasta, dilindungi, dan predikat objek publik:
• Mengatur ruang lingkup objek predikat untuk mencocokkan desain protokol dan membiarkan sistem runtime menegakkan pilihan Anda.


• benda statis dan dinamis:
• Objek dapat berupa statis atau dinamis. Objek statis didefinisikan dalam file sumber yang disusun dan dimuat dalam cara yang sama seperti file Prolog. Objek dinamis dapat baik didefinisikan dalam file sumber atau dibuat pada saat runtime.


• predikat objek statis dan dinamis:
• Setiap objek statis dapat mengandung predikat statis dan dinamis.


• Sebuah pra-prosesor sehingga kita dapat menggunakan standar sintaks Prolog:
• Logtalk menggunakan standar sintaks Prolog dengan penambahan beberapa operator dan arahan untuk kurva belajar halus.


• pemrograman Event-driven:
• Predikat dapat implisit disebut ketika peristiwa terjadi memata-matai, sehingga solusi pemrograman yang meminimalkan objek kopling. Selain itu, acara memberikan dukungan untuk refleksi perilaku.


• pemrograman berbasis komponen:
• Predikat dapat dirumuskan dalam kategori, yang dapat diimpor oleh hampir objek apapun, tanpa duplikasi kode dan terlepas dari hirarki objek. Dengan demikian, objek dapat didefinisikan melalui komposisi kategori, yang bertindak sebagai halus unit kode reuse.


• Dukungan multi-warisan:
• Logtalk mendukung multi-warisan dari kedua protokol dan implementasi. Sebuah objek dapat mengimplementasikan beberapa protokol dan memperluas, spesialis, atau instantiate beberapa objek. Konflik Multi-warisan diselesaikan secara implisit oleh algoritma Logtalk lookup atau eksplisit dengan menggunakan arahan predikat.


• kinerja yang baik:
• kode Logtalk ini disusun dengan menggunakan teknik yang sama yang Anda gunakan untuk menulis kode Prolog efisien. Selain itu, metode pencarian cache oleh mesin Logtalk runtime, sangat meningkatkan kinerja. Hasil benchmark untuk beberapa kompiler Prolog tersedia di sini.


• Tutup integrasi dengan Standar ISO Prolog:
• Logtalk dirancang untuk integrasi yang mulus dengan compiler Prolog yang sesuai atau erat mengikuti standar ISO Prolog.


• Kompatibel dengan sebagian besar kompiler Prolog:
• interface Logtalk dengan Prolog compiler tertentu melalui file konfigurasi minimal sehingga kompatibel dengan hampir semua compiler modern.


• Otomatis generasi XML file dokumentasi:
• Logtalk secara otomatis menghasilkan file dokumentasi dalam format XML untuk setiap objek, protokol, atau kategori yang disusun. Sistem ini mencakup semua XSL diperlukan (T) file dan skrip untuk mengkonversi mendokumentasikan file ke (X) HTML dan PDF.
• Logtalk berjalan pada hampir semua komputer dengan compiler Prolog (lingkungan pengembangan utama adalah Apple PowerBook G4 menjalankan MacOS X). Antarmuka antara Logtalk dan Prolog compiler tertentu dicapai melalui file konfigurasi.
• File ini berisi beberapa predikat tertentu Logtalk dan implementasi untuk standar ISO Prolog predicates tidak tersedia di compiler Prolog.


• Dalam menulis Logtalk Saya telah mencoba untuk mengikuti standar ISO Prolog bila memungkinkan. Kemampuan yang dibutuhkan oleh Logtalk yang tidak didefinisikan dalam Bagian I dari standar ISO adalah:


• akses ke predikat properti (dinamis, statis, built_in):
• Asalkan Prolog favorit Anda memiliki kemampuan yang disebutkan di atas, membuat file konfigurasi sangat mudah. Paket Logtalk sudah termasuk file konfigurasi untuk yang paling umum kompiler Prolog. Untuk kinerja yang optimal, Logtalk mengharuskan compiler Prolog mendukung pertama-argumen pengindeksan untuk kedua kode statis dan dinamis.


• Logtalk developement dan pengujian saat ini dilakukan dengan menggunakan kompiler Prolog berikut (dalam urutan abjad):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Karena itu, ini mungkin pilihan terbaik Anda untuk menjalankan Logtalk (memberikan bahwa Anda bebas untuk menggunakan salah satu dari kompiler ini).


• Selain itu, Logtalk berjalan dengan sedikit atau tanpa modifikasi dengan kompiler Prolog berikut (dalam urutan abjad):
• ALS Prolog 3.1
• Amzi! Prolog 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1,25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Buka Prolog 1.1b10
• PrologII 4,5
• QU-Prolog 6.7
• Quintus Prolog 3.3 ~ 3.5
• SICStus Prolog 3.8 ~ 3.12.x
• XSB 2.6 ~ 2.7

Apa yang baru dalam rilis ini:

• Modifikasi pengiriman pesan mekanisme untuk memanggil & quot; sebelum & quot; event handler sebelum melakukan pencarian metode. Perubahan ini harus tidak berdampak pada kode yang ada, tetapi memungkinkan beberapa aplikasi yang menarik (misalnya gagal bukannya melemparkan pengecualian ketika pesan tidak dimengerti).
• penanganan lebih konsisten bendera compiler antara nilai pengaturan bendera ketika kompilasi / memuat file dan ketika menggunakan set_logtalk_flag yang / 2 built-in predikat: dalam kedua kasus, pengaturan & quot; smart_compilation & quot; bendera di akan mematikan & quot; bersih & quot; bendera dan pengaturan & quot; bersih & quot; bendera di akan mematikan & quot; smart_compilation & quot; bendera. Juga, pengaturan & quot; men-debug & quot; bendera di akan mematikan kedua & quot; smart_compilation & quot; dan & quot; bersih & quot; bendera.
• Memungkinkan konstruk kontrol memotong lembut, (* - & gt;) / 2, ketika native didukung oleh back-end Prolog compiler, yang akan digunakan dalam tubuh aturan tata bahasa (setelah komentar oleh Daniel Diaz saat membahas GNU dukungan Prolog untuk soft-cut control membangun).
• Dikoreksi bug Logtalk compiler ketika & quot; source_data & quot; flag pada dengan back-end kompiler Prolog mana tidak mungkin untuk mengambil posisi jangka membaca.
• Dikoreksi bug dalam penyusunan meta_non_terminal / 1 direktif di mana hanya meta-argumen pertama akan diproses dengan benar.
• Diperbarui file konfigurasi Eclipse untuk mendeteksi ketika berjalan pada Windows 64 bit sistem dan mengabaikan non-predikat dan non operator ekspor saat pra-pengolahan lib / 1 arahan.
• Diperbarui kerangka unit test untuk mencetak pesan yang lebih informatif untuk unit test gagal.
• Ditambahkan predikat membagi / 4 (untuk membelah daftar ke sublists dengan panjang tertentu) ke & quot; & quot ;, listp & quot; & quot ;, daftar dan & quot; difflist & quot; entitas perpustakaan
.
• Diperbarui & quot; cc & quot; Misalnya dengan definisi untuk shell / 2 predikat CxProlog.
• Berubah nama-nama benda-benda di & quot; mi & quot; Misalnya untuk menghindari konflik nama ketika menjalankan tes contoh satuan.
• Dikoreksi bug dalam installer Windows yang mencegah deteksi YAP 64 bit versi.
Terima kasih kepada Stepan Ipatov untuk laporan bug.
• Dikoreksi bug dalam installer Windows yang mencegah pengguna dari mengubah direktori instalasi. Terima kasih kepada Daniel Moniz untuk laporan bug dan Gavin Lambert untuk mendiagnosa bug.
• Diperbarui installer script Windows for meningkatkan deteksi XSB dan ke default untuk menginstal hanya file per-user ketika dijalankan oleh pengguna non-admin pada komputer mana Logtalk sudah diinstal.
• Ditambahkan dukungan dasar untuk LaTeX & quot; daftar & quot; paket. Ditambahkan catatan pada quot &; dicetak & quot; dan & quot; texmates & quot; Paket LaTeX
.
• Ditambahkan catatan pada editor teks Textastic iPad.
• Ditambahkan mewarnai sintaks dasar dan dukungan kode lipat untuk editor teks UltraEdit.
• Diperbarui TextMate bundel untuk menonaktifkan koreksi indent otomatis diperkenalkan dalam versi pengembangan TextMate 2.0.

Apa yang baru dalam versi 2.44.0:

• Berubah semantik melengkapi kategori untuk memungkinkan menambal baik deklarasi predikat dan definisi predikat objek dilengkapi. Hal ini dicapai dengan memastikan bahwa predikat deklarasi dan definisi pencarian mulai dari kategori melengkapi sebelum melihat ke dalam obyek itu sendiri dilengkapi atau ke entitas terkait.
• Diperbarui compiler Logtalk untuk menghasilkan peringatan ketika mengkompilasi kategori melengkapi untuk objek dilengkapi yang disusun dengan dukungan untuk melengkapi kategori dimatikan.
• Dikoreksi bug dalam pengolahan meta-panggilan untuk meta-predikat di mana konteks panggilan akan diatur ke & quot; ini & quot; bukannya & quot; pengirim & quot; setiap kali meta-argumen adalah salah satu :: / 2, {} / 1,

Apa yang baru dalam versi 2.43.3:

• Mengubah compiler untuk memperhitungkan kegunaan / 2 direktif ketika kompilasi panggilan ke refleksi metode built-in. Perubahan ini memperluas semantik penggunaan / 2 direktif dan memungkinkan migrasi mudah dari aplikasi Prolog polos untuk Logtalk.
• Diperbarui pelaksanaan predicate_property / 2 built-in metode, menambahkan lingkup / 1 properti.
• Diperbarui compiler Logtalk untuk menambahkan informasi tentang nama file sumber, direktori file sumber, dan pilihan sumber file compiler ke file Prolog yang dihasilkan. Pada versi sebelumnya, informasi ini telah didaftarkan hanya ketika loading file sumber. Perubahan menyederhanakan membangun aplikasi di mana Logtalk perpustakaan pra-disusun dan pre-loaded.
• Diperbarui compiler Logtalk untuk mencetak nama objek kail yang digunakan dalam penyusunan file sumber ketika & quot; kait & quot; flag compiler didefinisikan.
• Diperbarui built-in debugger untuk menghindari titik pilihan yang tidak perlu diciptakan oleh back-end Prolog compiler yang menarik / 1 pelaksanaan gagal untuk mengambil keuntungan dari semantik pembaruan logis untuk membuat panggilan deterministik.
• Dikoreksi bug dalam penangan compiler runtime Logtalk mana gagal menguraikan pengidentifikasi entitas internal yang saat melemparkan pengecualian keberadaan entitas.
• Diperbarui Lean file konfigurasi Prolog, menambahkan indeks / 1 arahan untuk beberapa predikat dinamis yang digunakan oleh tabel Logtalk runtime internal.
• Diperbarui file integrasi SWI-Prolog untuk menguji ketersediaan indeks / 1 direktif, yang sudah ditinggalkan oleh eksperimental dukungan SWI-Prolog baru untuk just-in-time multi-argumen pengindeksan.
• Ditambahkan predikat subsequence / 4 (untuk menghasilkan subsequences dari daftar dengan panjang tertentu), menggantikan / 4 (untuk menggantikan unsur dalam daftar), dan hamming_distance / 3 ke perpustakaan & quot; listp & quot; dan & quot; daftar & quot; entitas.
• Ditambahkan euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, dan scalar_product / 3 predikat ke perpustakaan & quot; numberlistp & quot; dan & quot; numberlist & quot; entitas.
• Dikoreksi beberapa bug konyol dalam definisi & quot; karakter & quot; objek perpustakaan predikat is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, dan is_hex_digit / 1
.
• Diperbarui perpustakaan & quot; all_loader.lgt & quot; File loader juga memuat & quot; meta_compiler_loader.lgt & quot; File loader.

Apa yang baru dalam versi 2.43.1:

• Mengubah compiler untuk memperhitungkan kegunaan / 2 direktif ketika kompilasi panggilan ke database metode built-in. Perubahan ini memperluas semantik penggunaan / 2 direktif dan memungkinkan migrasi mudah dari aplikasi Prolog polos untuk Logtalk.
• Ditambahkan dukungan eksperimental untuk menggunakan template predikat sebagai argumen untuk coinductive / 1 direktif. Template ini memungkinkan spesifikasi yang argumen yang berarti bagi keberhasilan coinductive. Berdasarkan fungsi serupa yang ditemukan pada pada Feliks Kluzniak yang DRA meta-penerjemah.
• Peningkatan dukungan untuk debugging predikat coinductive saat menggunakan Logtalk built-in debugger.
• Dihapus dukungan coinduction untuk CxProlog. Versi saat ini dari kompiler ini tidak memiliki soft-cut built-in predikat atau pengendalian membangun, yang sekarang dibutuhkan oleh implementasi coinduction eksperimental.
• Mengangkat batasan lama yang mencegah definisi pengguna predikat pembungkus untuk bagof / 3 dan setof / 3 built-in metode setiap kali argumen tujuan dapat menggunakan ^ / 2 quantifier eksistensial.
• Ditambahkan dukungan untuk & quot; ^ & quot; meta-meta-argumen predikat modus specifier disarankan oleh Jan Wielemaker dan ditemukan di SWI-Prolog 5.11.25. Modus specifier ini berguna ketika mendefinisikan pembungkus untuk bagof / 3 dan setof / 3 metode built-in setiap kali argumen tujuan dapat menggunakan ^ / 2 quantifier eksistensial.
• Ditambahkan & quot; prolog_compiler & quot; dan & quot; prolog_loader & quot; bendera compiler, yang memungkinkan melewati pilihan untuk back-end Prolog compiler built-in predikat yang mengkompilasi ke disk dan memuat (dikompilasi) Prolog bendera. Nilai default untuk kedua bendera adalah daftar kosong.
• Dikoreksi bug ketika kompilasi panggilan ke Prolog milik built-in predikat meta mana compiler Logtalk bisa mencoba memproses argumen non meta sebagai tujuan. Bug ini hanya terwujud dengan beberapa back-end Prolog compiler seperti Eclipse.
• Dikoreksi bug dalam pengolahan arahan kompilasi bersyarat.
• Dikoreksi bug yang mencegah melewati alias / 3 arahan pada panggilan ke create_object / 4, create_category / 4, dan create_protocol / 3 built-in predikat.
• Dihapus dari built-in objek & quot; logtalk & quot; yang decompile_predicate_head / 4 dan decompile_predicate_indicator / 4 metode usang.
• dukungan Dihapus untuk lama usang Logtalk metapredicate / 1 directive.
• Dikoreksi bug kinerja ketika caching panggilan ke kategori predikat mana entri cache bisa lebih spesifik daripada yang diperlukan ketika bekerja dengan kategori parametrik.
• Peningkatan caching & quot; Super & quot; panggilan dari dalam prototipe. Sebelumnya, semua entri cache akan khusus dengan nilai & quot; diri & quot; untuk benar menangani kasus-kasus khusus di mana sebuah objek baik instantiates dan spesialisasi objek lain.
• Diperbarui compiler Logtalk untuk mengaktifkan deklarasi operator yang ditemukan pada arahan lingkup predikat selama kompilasi entitas yang berisi arahan.
• Peningkatan kinerja predikat coinductive saat menggunakan back-end Prolog compiler seperti SICStus Prolog yang tidak memberikan soft-cut control membangun tapi memberikan soft-cut built-in meta-predikat (jika / 3).
• Dikoreksi bug di mana laporan palsu kompilasi / pemuatan peringatan bisa dicetak ketika file sumber dikompilasi / sarat dengan bendera compiler & quot; laporan & quot; dimatikan.
• Ditambahkan & quot; streamvars & quot; objek perpustakaan, berasal dari quot ada &; assignvars & quot; Kategori perpustakaan, menampilkan dukungan untuk menambah dan mengambil istilah (yang mungkin variabel) dari & quot; aliran & quot; variabel.
• Diperbarui & quot; coinduction & quot; Misalnya, mengambil keuntungan dari peningkatan coinductive / 1 direktif dan memperluas jumlah contoh individu yang dapat dijalankan menggunakan SICStus Prolog. Ditambahkan model memeriksa contoh, menggunakan coinduction, coroutining, dan kendala, disumbangkan oleh Neda Saeedloei.
• Diperbarui quot &; metapredicates & quot; contoh dengan kode contoh yang menggambarkan bagaimana mendefinisikan pembungkus untuk bagof / 3 dan setof / 3 metode built-in ketika meta-argumen mungkin berisi variabel eksistensial berkualitas.
• Diperbarui & quot; cc & quot; Misalnya, mengoreksi definisi predikat selama beberapa back-end Prolog compiler dan menambahkan beberapa tes unit dasar.
• Diperbarui quot &; pengkodean & quot; Contoh dengan dukungan terbatas untuk Ramping Prolog.
• Ditambahkan entri hilang untuk meta_non_terminal / 1 direktif dan untuk panggilan // N non-terminal ke & quot; membantu & quot; contoh.
• Ditambahkan parser untuk PDDL 3,0 file, disumbangkan oleh Robert Sasak.
• Ditambahkan kode lipat dukungan untuk editor teks SubEthaEdit. Kode menambahkan dukungan untuk blok kompilasi bersyarat kepada editor teks Kate, Vim, dan Textmate lipat.
• Diperbarui script integrasi untuk memuat jalur perpustakaan file sebelum loading Logtalk compiler / runtime. Perubahan ini bertujuan untuk menyederhanakan pemuatan perpustakaan dan contoh file dari file pengaturan. Selain itu, juga mencari direktori instalasi Logtalk di $ HOME / share jika variabel lingkungan LOGTALKHOME tidak didefinisikan. Terima kasih Untuk VAtor Santos Costa untuk saran.
• Diperbarui installer Windows untuk mendukung Bersandar Prolog dan mendeteksi YAP 64 bit versi.

Apa yang baru dalam versi 2.43.0.

• Ditambahkan dukungan eksperimental untuk Bersandar Prolog
• Berubah kesalahan pelaporan oleh compiler Logtalk dan runtime. Semua istilah pengecualian sekarang menggunakan, bila memungkinkan, kesalahan (Error, logtalk (Goal, Entity))
• Format. Mengubah memeriksa untuk digunakan, kapan pun praktis, baru '$ lgt_must_be' / 2-3 predikat intern kesalahan internal.
• Ditambahkan & quot; mengoptimalkan & quot; bendera, yang nilai default adalah & quot; & quot ;. Bendera ini memungkinkan pengguna untuk mematikan optimasi yang ada untuk misalnya tugas debugging (yang
• optimasi yang diterapkan meliputi penghapusan panggilan berlebihan untuk benar / 0 dari tubuh klausa predikat disusun dan penghapusan
• panggilan berlebihan untuk (=) / 2 dari tubuh klausa yang dihasilkan oleh ekspansi aturan tata bahasa).
• Ditambahkan & quot; source_data & quot; bendera, yang nilai default adalah & quot; & quot ;. Dengan bendera ini diatur ke & quot; & quot ;, Logtalk akan menyimpan informasi diwakili menggunakan modus / 2,
• info / 1-2, menggunakan / 2, dan use_module / 2 arahan ditambah data lokasi sumber (termasuk nama file sumber dan nomor baris), berguna baik untuk debugging
• dan integrasi dengan alat-alat pembangunan. Bendera ini dapat dimatikan untuk menghasilkan kode lebih kompak. Para parameter_names / 1 objek dan
• kategori properti dihapus untuk menghindari redundansi.
• Diimplementasikan dilindungi / 1 dan swasta / 1 properti untuk objek, protokol, dan kategori. Bersama dengan masyarakat / 1 properti, properti ini
• memungkinkan daftar predikat dinyatakan dalam entitas yang akan diakses untuk perhitungan reflektif. Diimplementasikan menyatakan / 2, mendefinisikan / 2, termasuk / 3,
• dan menyediakan / 3 properti untuk mengakses sifat predikat dinyatakan dan ditetapkan dalam suatu entitas. Sifat deklarasi termasuk line_count / 1, nomor baris dari direktif lingkup predikat. Sifat definisi termasuk line_count / 1, nomor baris dari kepala pertama
• klausul untuk predikat, dan number_of_clauses / 1, jumlah klausul untuk predikat. Juga dilaksanakan menggunakan eksperimental / 3 dan use_module / 3 properti.
• Ditambahkan properti predikat, redefined_from / 1, yang memungkinkan query tentang obyek atau kategori yang berisi definisi predikat yang didefinisikan ulang.
• Ditambahkan loaded_file / 3 predikat ke & quot; logtalk & quot; built-in objek, yang melengkapi yang sudah ada loaded_file / 2 predikat dan memberikan akses ke
• Pilihan eksplisit digunakan ketika file dikompilasi dan dimuat.
• Diimplementasikan dukungan compiler untuk meta_non_terminal / 1 direktif dan panggilan // N
built-in non-terminal.
• Sederhana penyusunan aturan tata bahasa dengan menghilangkan dukungan untuk berurusan dengan ruang lingkup dan eksistensi kesalahan non-terminal di aturan tata bahasa
• tingkat bukan tingkat predikat. Meskipun fitur ini bisa membantu ketika debugging aturan tata bahasa, itu rumit integrasi Logtalk dengan alat pengembangan Prolog-pribumi.
• Diperbarui compiler Logtalk untuk menyimpan lokasi klausul badan dan membuat informasi ini tersedia untuk back-end Prolog compiler.
• Diperbarui compiler Logtalk untuk menghindari menghasilkan klausa mencakup semuanya internal yang tidak perlu untuk deklarasi predikat dan tabel definisi untuk entitas yang dinamis.
• Diperbarui compiler Logtalk untuk menghalangi menggunakan predikat multifile untuk melanggar objek enkapsulasi. Sebuah deklarasi utama
• entitas harus ada, mengandung lingkup dan arahan multifile untuk predikat. Selain itu, mendefinisikan klausa untuk multifile sebuah
• Entitas :: Functor / arity tanpa sesuai multifile / 1 direktif sekarang akan menghasilkan kesalahan kompilasi bukan hanya peringatan.
• Dihapus pembatasan Logtalk compiler yang memaksa tdk berhubungan / 1 dan dinamis / 1 arahan mendahului panggilan ke predikat dinyatakan.
• Peningkatan laporan Logtalk compiler panggilan salah eja non-terminal dalam aturan tata bahasa.
• Biarkan penggunaan:. / 1 ​​control membangun pada tubuh aturan tata bahasa
• Ketika debugging pesan yang ditentukan dalam penggunaan / 2 arahan, pesan sekarang dicetak secara implisit berkualitas seperti dalam kode sumber yang ditulis oleh pengguna.
• Berubah predikat internal yang digunakan dalam pelaksanaan predikat built-in multi-threading untuk memfasilitasi integrasi dengan

Alat
• tingkat tinggi debugging yang membutuhkan dekompilasi kode Prolog yang dihasilkan.
• Dikoreksi bug diperkenalkan di Logtalk 2.42.4 pada kompilasi predikat entitas yang menyebut predikat disinkronkan. Bug ini mengakibatkan panggilan
• yang dibuat bukan untuk bentuk non-disinkronkan dari predikat, yang akan terwujud dalam kegagalan acak tujuan benang.
• Dikoreksi bug berdiri lama di mana meta-panggilan runtime-disusun dalam kategori akan dikompilasi sebagai panggilan untuk predikat objek
• mengimpor kategori bukan sebagai panggilan untuk kategori predikat lokal.
• Dikoreksi bug berdiri lama di mana nilai-nilai flag entitas set lokal menggunakan set_logtalk_flag yang / 2 direktif akan gagal disimpan ke entitas
• kode dikompilasi.
• Dikoreksi bug berdiri lama ketika menghapuskan predikat dinamis dalam sebuah objek non-prototipe mana menghapuskan / 1 metode akan berhasil tanpa
• predikat yang benar-benar dihapuskan.
• Dikoreksi bug dalam menetapkan konteks pelaksanaan yang benar saat memanggil meta-argumen yang membutuhkan kompilasi runtime dalam konteks
• & quot; pengirim & quot;.
• Dikoreksi bug dalam penyusunan panggilan eksplisit memenuhi syarat untuk modul meta-predikat di mana kualifikasi modul akan dijatuhkan dari
• panggilan disusun. Perhatikan bahwa panggilan ini akan menggunakan semantik Logtalk meta-predikat (yaitu meta-argumen akan dipanggil dalam konteks
• pemanggil) bukannya biasa modul Prolog meta-predikat semantik.
• Dikoreksi bug di mana tumpukan coinduction tidak diinisialisasi ketika menggunakan

Apa yang baru dalam versi 2.42.4:

• Versi ini mencakup compiler, runtime, dan multi threading optimasi kinerja, meningkatkan pesan kesalahan compiler untuk disinkronkan / 1 dan dinamis / 1 arahan, menambahkan dukungan untuk melestarikan informasi lingkup operator dan keluaran informasi ini ke XML secara otomatis mendokumentasikan file, menambahkan predikat utilitas baru ke objek logtalk, meningkatkan beberapa program contoh, termasuk solusi untuk uninstaller bug SWI-Prolog pada Windows, dan fitur update portabilitas untuk Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, dan YAP.

Apa yang baru dalam versi 2.42.3:

• Versi ini menambahkan dukungan untuk memanggil predikat dinamis dalam konteks & quot; ini & quot; dari dalam kategori, menambahkan dukungan untuk pre-compiled kepala klausa, termasuk perbaikan bug dan perbaikan debugger built-in, termasuk peningkatan perpustakaan dan contoh, menambahkan dukungan untuk indexicals bila menggunakan SICStus Prolog CLP (FD) perpustakaan, menambahkan contoh eksperimental menggunakan variabel dikaitkan dalam objek dan kategori, dan fitur update portabilitas untuk Eclipse, GNU Prolog, SICStus Prolog, dan SWI-Prolog.

Apa yang baru dalam versi 2.42.2:

• Versi ini meningkatkan kompilasi panggilan ke modul predikat , meningkatkan pengecekan meta-argumen dalam panggilan meta-predikat, meningkatkan dukungan untuk ekspresi lambda, termasuk compiler mengoptimalkan untuk panggilan ke perpustakaan meta-predikat, menambahkan perpustakaan baru untuk acara logging, bekerja sama dengan hubungan jarak temporal, dan menggunakan counter integer, meningkatkan contoh yang ada dan perpustakaan, menambahkan dukungan untuk menggunakan paket SyntaxHighlighter berbasis JavaScript, dan fitur update portabilitas untuk GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, dan XSB.

Apa yang baru dalam versi 2.42.1:

• Versi ini menambahkan dukungan untuk modus meta-predikat baru indikator, memungkinkan dukungan untuk lebih Prolog milik built-in meta-predikat.
• Dukungan ditambahkan untuk mendeteksi dan melaporkan hilang dinamis / 1 dan tdk berhubungan / 1 arahan.
• Sebuah bendera serat baru ditambahkan.
• Dua meta-predikat kompilasi bug dikoreksi.
• Beberapa contoh yang diperbarui.
• update Portabilitas dibuat untuk B-Prolog, SICStus Prolog, SWI-Prolog, XSB, dan YAP.