Logtalk

Advertisement:
Software screenshot:
Logtalk
Rincian Software:
Versi: 3.20 Diperbarui
Tanggal Upload: 26 Oct 18
Pengembang: Logtalk
Lisensi: Gratis
Popularitas: 11
Ukuran: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

Advertisement:


        Logtalk adalah bahasa pemrograman logika berorientasi objek yang dapat menggunakan sebagian besar implementasi Prolog sebagai kompiler back-end. Sebagai bahasa multi-paradigma, Logtalk mencakup dukungan untuk prototipe dan kelas, protokol (antarmuka), pemrograman berbasis komponen melalui komposisi berdasarkan kategori, pemrograman berbasis kejadian, dan pemrograman multi-threading tingkat tinggi.
    

Apa yang baru dalam rilis ini:

* IMPROVED: Hindari peringatan direktif yang palsu `meta_predicate / 1` ketika meta-panggilan yang sebenarnya tidak berbagi variabel dengan kepala klausa.


* IMPROVED: Izinkan menggunakan ekspresi lambda dalam aturan grammar tanpa memerlukan pembungkus `panggilan // 1 '.


* FIXED: Optimasi bug dalam kompilasi meta-argumen penutupan ketika tujuan yang dihasilkan adalah panggilan ke predikat Prolog built-in karena inlining definisi predikat pengguna.


* FIXED: Optimasi bug dalam kompilasi meta-argumen penutupan saat sasaran yang dihasilkan adalah panggilan ke konstruk kontrol Prolog `: / 2`.

Apa yang baru di versi 3.19:

* DITAMBAHKAN: Dukungan untuk menentukan predikat bawaan Prolog tambahan untuk serat
cek tujuan yang selalu benar atau salah pada file adaptor menggunakan
hook predicate `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.


* DITAMBAHKAN: Properti objek `modul` untuk objek yang dihasilkan dari kompilasi
modul Prolog.


* DITAMBAHKAN: kesalahan kenyamanan melemparkan metode built-in `syntax_error / 1` dan
`system_error / 0`. Metode ini membuang istilah pengecualian `error / 2` standar
dan setara dengan urutan pemanggilan metode `context / 1` dan` throw / 1`.


* DIHAPUS: Dukungan untuk Logtalk yang tidak berlaku lagi 2.x `calls / 1`,` uses / 1`, dan
arahan `alias / 3`.


* DIHAPUS: Dukungan untuk konstruksi kontrol Logtalk 2.x `: / 1` yang tidak berlaku lagi.


* DIHAPUS: Dukungan untuk Logtalk yang tidak digunakan lagi 2.x `unknown`,` singletons`,
`tmpdir`, dan` version` compiler flags.

Apa yang baru di versi 3.14:

BARU: Dukungan untuk variabel _parameter_ menyediakan alternatif untuk
`parameter / 2` dan` this / 1` metode bawaan untuk mengakses parameter entitas.
Variabel parameter adalah variabel yang digunakan dalam identifier entitas parametrik
yang memulai dan mengakhiri dengan garis bawah (`_VariableName_`). Setiap kejadian
dari suatu variabel parameter dalam suatu entitas klausa secara implisit disatukan dengan
parameter entitas. Ini memungkinkan parameter entitas ditambahkan, disusun kembali, atau
dihapus tanpa membutuhkan perubahan pada klausa yang merujuk pada mereka.
Variabel parameter hanya didukung untuk entitas parametrik yang didefinisikan dalam
file sumber.

Apa yang baru di versi 3.13:

BARU: Dukungan kompilator untuk mendeteksi panggilan ke predikat statis lokal tanpa klausa yang cocok (alias sepele gagal ).

Apa yang baru di versi 3.11.1:

* IMPROVED: Peringatan kompilator dan pesan kesalahan untuk membuatnya lebih seragam untuk memudahkan penguraian oleh editor dan IDE dan untuk menghindari pencetakan istilah yang berpotensi besar.


* DIPERBAIKI: Kompiler tidak lagi memerlukan panggilan ke database dan prediksi predikat di mana argumen pertama adalah istilah yang memenuhi syarat modul untuk dibungkus menggunakan konstruk kontrol pemintas kompilasi `{} / 1`.


* IMPROVED: Compiler error checking untuk database dan predikat predikat panggilan di mana argumen pertama adalah istilah yang memenuhi syarat modul.


* IMPROVED: Minimalkan jumlah pemuatan ulang file yang dipicu oleh panggilan ke predikat `logtalk_make / 0-1`.


* FIXED: Case di mana predikat `logtalk_make / 0-1` akan gagal memuat ulang file yang kompilasinya menghasilkan kesalahan kompilator.

Apa yang baru di versi 3.11:

* CHANGED: Predikat bawaan `current_event / 5` untuk selalu meng-instantiate argumen pertama ketika dipanggil dengan itu tidak mengikat.


* DITAMBAHKAN: Dukungan untuk mengganti direktori awal default dengan mendefinisikan
alias perpustakaan `scratch_directory` dalam file inisialisasi Prolog backend
(diasumsikan dimuat sebelum pemuatan Logtalk). Setelah diskusi dengan
Douglas R. Miles untuk mendukung menginstal Logtalk dalam direktori hanya-baca
dan menjalankan beberapa contoh Logtalk secara bersamaan tanpa konflik.


* DITAMBAHKAN: Metode konteks kontek built-in `konteks / 1` untuk menyediakan akses
ke konteks eksekusi panggilan predikat. Terutama digunakan untuk menyediakan default
konteks kesalahan ketika argumen predikat tipe-pengecekan.


* DITAMBAHKAN: Dukungan untuk mencetak pesan dari jenis `debug` dan` debug (_) `. Ini
pesan hanya dicetak, secara default, saat tanda `debug` diaktifkan.


* DITAMBAHKAN: Properti `termasuk (File)` ke `logtalk :: loaded_file_property / 2`
predikat untuk membolehkan enumerasi, dengan backtracking, semua file yang dimasukkan oleh a
file yang dimuat (menggunakan arahan `include / 1`).

Apa yang baru di versi 3.10.7:

* DIRENAM: `logtalk_make / 1` target` hilang `ke` cek`.


* DITAMBAHKAN: Dukungan untuk memperluas target `logtalk_make / 1` dengan definisi pengguna
tindakan menggunakan predikat baru `logtalk_make_target_action / 1`.


* DITAMBAHKAN: Pemeriksaan umpan kompiler untuk tautologi dan tujuan entitas yang salah.
Saat ini dicentang adalah panggilan ke Prolog unifikasi, perbandingan, dan jenis
menguji predikat bawaan. Disarankan oleh Barry Evans.

Apa yang baru di versi 3.10.5:

* DIPERBAIKI: Regresi diperkenalkan pada rilis 3.10.2 ketika eksekusi meta-pemanggilan metode built-in konteks.

* FIXED: Kegagalan kompilator yang dihasilkan dari penerapan pemeriksaan portabilitas untuk panggilan ke Prolog bawaan dan fungsi bawaan yang ditemukan dalam klausa tambahan (biasanya dihasilkan oleh mekanisme perluasan-panjang).

Apa yang baru di versi 3.10.3:

* IMPROVED: Kode yang disederhanakan dihasilkan untuk predikat multifile.


* TETAP: Regresi dalam rilis sebelumnya dalam kompilasi multifile
predikat klausa yang membuat panggilan ke konstruk kontrol `:: / 1-2`.

Apa yang baru di versi 3.09.1:

* DITAMBAHKAN: Mendukung objek `number_of_rules / 1` dan` number_of_user_rules / 1`
dan properti kategori.


* DITAMBAHKAN: Dukungan untuk properti predikat `number_of_rules / 1`.


* DITAMBAH: Deteksi arahan `meta_predicate / 1` yang salah menentukan sasaran
meta-argumen yang sebenarnya adalah penutupan yang dilewatkan ke predikat predikat `call / 2-N`
panggilan. Terima kasih kepada Arun Majumdar atas laporannya.


* DITAMBAH: Deteksi arahan ruang lingkup predikat yang hilang di hadapan
Arahan `mode / 2`.

Apa yang baru di versi 3.09.0:

* CHANGED: File pengaturan sekarang juga dicari di pengguna direktori home
ketika tidak ditemukan di direktori startup atau di direktori pengguna Logtalk.
Mengatur tanda `settings_file` ke` restrict` sekarang membatasi pencarian
file pengaturan ke direktori pengguna Logtalk dan direktori home pengguna.
Perubahan ini berguna ketika tim membagikan penginstalan Logtalk dengan keduanya
variabel lingkungan `LOGTALKHOME` dan` LOGTALKUSER` yang mengarah ke
direktori yang sama. Terima kasih kepada Barry Evans atas sarannya.

Apa yang baru di versi 3.08.0:

* CHANGED: Pastikan bahwa dalam kesalahan kompilator dan pesan peringatan informasi file dan baris selalu merupakan baris terakhir untuk masalah yang dilaporkan.

Apa yang baru di versi 3.07.0:

* DITAMBAHKAN: Tanda baca-saja `unicode` untuk menggambarkan kompilator Prolog backend
dukungan untuk standar Unicode.


* DITAMBAHKAN: Dukungan untuk institusasi argumen `+` (ground) dan `-` (tidak terikat)
mode (dinyatakan sebagai operator awalan) untuk digunakan dengan predikat `mode / 2`
direktif.


* DITAMBAHKAN: Dukungan untuk spesifikasi determinisme `one_or_error` dalam` mode / 2`
arahan predikat. Berguna untuk mendokumentasikan predikat pengecekan tipe.


* IMPROVED: Mendeteksi upaya untuk memanggil tujuan yang terukur secara eksistensial di luar
lingkup panggilan `bagof / 3` dan` setof / 3`.


* FIXED: Ketika mengkompilasi arahan `uses / 2`, jangan membuat klausa untuk menghubungkan
penggunaan runtime untuk predikat bawaan di `pengguna` saat tidak ada alias yang ditentukan.


* FIXED: Saat menyebarkan kegagalan kompilasi untuk file ke file induknya,
memastikan bahwa nenek moyang file akan dimuat ulang dimulai dengan leluhur teratas
oleh mekanisme make.


* FIXED: Hindari pemuatan ulang file yang berlebihan saat memanggil `logtalk_make / 0` atau
`logtalk_make / 1` dengan target` all`.


* FIXED: Deteksi predikat yang hilang dalam `^^ / 1` panggilan saat menelepon
`logtalk_make / 1` dengan target` hilang`.

* DIBATALKAN: Bug di API refleksi di mana beberapa predikat referensi silang
informasi tidak dicatat. Terima kasih kepada Edward Schwartz untuk laporan bug.

Apa yang baru di versi 3.06.2:

Rilis ini melanjutkan pekerjaan untuk meningkatkan alat pengembang di bawah sponsor dari Kyndi, Inc. Ini termasuk versi baru dari alat pembungkus untuk mem-porting aplikasi Prolog dan perbaikan dan perbaikan untuk lgtunit dan alat diagram. Ini juga termasuk pengujian unit baru, perbaikan kompilator dan dokumentasi, dan pembaruan kompatibilitas untuk Lean Prolog.

Apa yang baru di versi 3.04.1:

* FIXED: Compiler bug di mana predikat yang diperluas dengan memanggil metode `compile_aux_clauses / 1` dapat salah dilaporkan sebagai tidak kontekstual.


* FIXED: Panggilan ke predikat bawaan `threaded_notify / 1` dari dalam` pseudo-object `pengguna tidak harus memerlukan argumen terikat sesuai dokumentasi.


* FIXED: Panggilan ke predikat `object_property / 2` dan category_property / 2` bawaan dengan argumen-argumen properti` number_of_clauses / 1` atau `number_of_user_clauses / 1` menjadi deterministik.

Apa itu baru di versi 3.03.0:

* DITAMBAHKAN: Dukungan untuk target `logtalk_make / 1` baru,` missing`, ke daftar entitas dan predikat yang hilang. Juga tersedia menggunakan shortcut `{?}`.

* DITAMBAHKAN: Dukungan untuk target `logtalk_make / 1` baru,` circular`, untuk daftar referensi melingkar (mempertimbangkan tujuan pengiriman pesan) antara pasangan dan trio objek. Juga tersedia menggunakan shortcut `{@}`.

* IMPROVED: Menambahkan hash direktori ke nama file Prolog perantara untuk membantu menghindari tabrakan nama file saat mengumpulkan semua file perantara di direktori yang sama untuk penyematan. Saat ini membutuhkan ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB, atau YAP sebagai kompiler backend.

* FIXED: Meta-predicate call optimization bug ketika meta-argumen adalah penutupan pra-dikompilasi atau penutupan untuk tujuan yang disebut dalam konteks
`user` pseudo-object. Juga menerapkan pemeriksaan kesalahan yang lebih ketat untuk menutup meta-argumen.

* TETAP: Cukup pencetakan objek parametrik dan pengidentifikasi kategori parametrik dalam pesan kesalahan dan peringatan.

Apa yang baru di versi 3.02.2:

* DIBATALKAN: Kesalahan memeriksa bug dalam ekspresi lambda menggunakan `true / 0` sebagai lambda
tujuan. Terima kasih kepada Boris Vassilev untuk laporan bug.


* FIXED: Predikat `logtalk_make / 1` akan berhasil (setelah mencetak peringatan
pesan) saat dipanggil dengan argumen yang tidak dipakai atau argumen yang tidak valid
kegagalan. ke
file Prolog menengah yang dihasilkan menggunakan predikat multifile untuk menjadi lebih baik
pengalaman embedding. Khususnya, itu membuatnya lebih mudah untuk melakukan embedding tambahan.


* IMPROVED: Predikat make sekarang juga memuat ulang file induk file dengan
kesalahan kompilasi atau pemuatan. Ini memastikan bahwa, ketika file rusak membatalkan
kompilasi semua file dalam file loader, file-file yang terdaftar setelah rusak
file akan dikompilasi ketika file yang salah diperbaiki dan predikasinya adalah
disebut.

Apa yang baru di versi 3.02.1:

* IMPROVED: Entri tabel runtime untuk file yang dimuat sekarang ditambahkan ke file Prolog tengah yang dihasilkan menggunakan predikat multifile untuk pengalaman penyematan yang lebih baik. Khususnya, itu membuatnya lebih mudah untuk melakukan embedding tambahan.
 * IMPROVED: Predikat make sekarang juga memuat ulang file induk file dengan kompilasi atau memuat kesalahan. Ini memastikan bahwa, ketika file yang salah membatalkan kompilasi semua file dalam file loader, file yang terdaftar setelah file yang salah akan dikompilasi ketika file yang salah diperbaiki dan prediktor dipanggil.

Apa yang baru di versi 3.01.2:

Rilis ini melengkapi implementasi pengikatan statis; menambahkan dukungan untuk menggunakan nama file apa adanya dengan predikat kompilasi dan pemuatan; memperbaiki bug kompiler; pembaruan dokumentasi fitur; meningkatkan alat debugging, pengujian, dan pendokumentasian; menambahkan serangkaian tes unit baru untuk memeriksa kesesuaian Prolog dengan standar resmi dan de facto; memperbarui pewarnaan sintaks untuk semua editor teks yang didukung dan penyorot sintaks; dan termasuk pembaruan kompatibilitas untuk ECLiPSe, JIProlog, dan YAP.

Persyaratan :

Kompilator Prolog yang Kompatibel.

Software yang serupa

WebPDFReports
WebPDFReports

3 Jan 15

BlueJ
BlueJ

27 Sep 17

JavaGroove
JavaGroove

18 Jun 18

Perangkat lunak lain dari pengembang Logtalk

Logtalk
Logtalk

3 May 15

Komentar untuk Logtalk

Komentar tidak ditemukan
Tambahkan komentar
Aktifkan gambar!