SWI-Prolog

Ini tujuan pemrograman logika yang berguna, kecerdasan buatan dan komputasi linguistik

Apa yang baru dalam rilis ini:.

• Jenis dict baru dan sintaks menyediakan baik peta ruang dan waktu yang efisien nama-nilai dengan sintaks yang menyenangkan.
• Sebagai akibatnya, itu perlu untuk mengganti daftar konstruktor (H, T) oleh (juga digunakan oleh Mercury) '[|]'. (H, T). Itu mungkin tampak drastis, tetapi dalam prakteknya hanya mempengaruhi beberapa program, terutama melakukan functor (Term, F, A) pada daftar dan kemudian memilih pengolahan lebih lanjut dari F == '.', A == 2. Untuk mengaktifkan daftar lebih menjadi membangun khusus, [] masih daftar kosong, tapi tidak lagi sama dengan '[]', yaitu, [] tidak di atom.
• Sintaks & quot; ... & quot; sekarang dipetakan ke string. String yang kompatibel dengan Eclipse (terima kasih kepada Joachim Schimpf untuk semua diskusi). Kode-daftar tradisional yang dibangun menggunakan .... Bendera double_quotes dan back_quotes mengontrol perilaku ini.
• Berkat Torbjorn Lager, kita memiliki & quot; & quot ;, Pengines mesin Prolog di web. Ini menyediakan API generik untuk berbicara dengan nyaman ke server Prolog dari JavaScript dan kasus lain Prolog. Ini memungkinkan SWISH, SWI-Prolog pada browser Anda (http://swish.swi-prolog.org) serta http://lpn.swi-prolog.org (Pelajari Prolog Sekarang! Dengan tertanam SWISH).
• Markus Triska menambahkan clp (b), kendala pemecah boolean, meningkatkan clp nya (fd) dan sebelum beberapa perangkat tambahan ke tingkat atas berhadapan dengan kendala.
• Berkat Matt Lilley dan Mike Elston, ada CQL, DSL (Domain Specific Language) untuk menangani SQL. CQL dikembangkan dalam lingkungan di mana database SQL kompleks norma dan karena itu mendukung subset besar SQL dan dapat menangani tabel dengan ribuan kolom dan hal-hal lain yang SQL pengguna ocasional tidak akan berharap.
• Matt Lilley ditingkatkan jaringan dukungan signifikan, termasuk dukungan yang lebih baik untuk SSL dan dukungan umum untuk kedua HTTP dan SOCKS server proxy.
• Banyak orang telah menyediakan add-ons (paket) yang mengandalkan SWI-Prolog versi 7.

Apa yang baru di versi 7.2.1 / 7.3.3-dev:

• Jenis dict baru dan sintaks menyediakan baik peta ruang dan waktu yang efisien nama-nilai dengan sintaks yang menyenangkan.
• Sebagai akibatnya, itu perlu untuk mengganti daftar konstruktor (H, T) oleh (juga digunakan oleh Mercury) '[|]'. (H, T). Itu mungkin tampak drastis, tetapi dalam prakteknya hanya mempengaruhi beberapa program, terutama melakukan functor (Term, F, A) pada daftar dan kemudian memilih pengolahan lebih lanjut dari F == '.', A == 2. Untuk mengaktifkan daftar lebih menjadi membangun khusus, [] masih daftar kosong, tapi tidak lagi sama dengan '[]', yaitu, [] tidak di atom.
• Sintaks & quot; ... & quot; sekarang dipetakan ke string. String yang kompatibel dengan Eclipse (terima kasih kepada Joachim Schimpf untuk semua diskusi). Kode-daftar tradisional yang dibangun menggunakan .... Bendera double_quotes dan back_quotes mengontrol perilaku ini.
• Berkat Torbjorn Lager, kita memiliki & quot; & quot ;, Pengines mesin Prolog di web. Ini menyediakan API generik untuk berbicara dengan nyaman ke server Prolog dari JavaScript dan kasus lain Prolog. Ini memungkinkan SWISH, SWI-Prolog pada browser Anda (http://swish.swi-prolog.org) serta http://lpn.swi-prolog.org (Pelajari Prolog Sekarang! Dengan tertanam SWISH).
• Markus Triska menambahkan clp (b), kendala pemecah boolean, meningkatkan clp nya (fd) dan sebelum beberapa perangkat tambahan ke tingkat atas berhadapan dengan kendala.
• Berkat Matt Lilley dan Mike Elston, ada CQL, DSL (Domain Specific Language) untuk menangani SQL. CQL dikembangkan dalam lingkungan di mana database SQL kompleks norma dan karena itu mendukung subset besar SQL dan dapat menangani tabel dengan ribuan kolom dan hal-hal lain yang SQL pengguna ocasional tidak akan berharap.
• Matt Lilley ditingkatkan jaringan dukungan signifikan, termasuk dukungan yang lebih baik untuk SSL dan dukungan umum untuk kedua HTTP dan SOCKS server proxy.
• Banyak orang telah menyediakan add-ons (paket) yang mengandalkan SWI-Prolog versi 7.

Apa yang baru di versi 7.2.0 / 7.3.1-dev:

• Jenis dict baru dan sintaks menyediakan baik peta ruang dan waktu yang efisien nama-nilai dengan sintaks yang menyenangkan.
• Sebagai akibatnya, itu perlu untuk mengganti daftar konstruktor (H, T) oleh (juga digunakan oleh Mercury) '[|]'. (H, T). Itu mungkin tampak drastis, tetapi dalam prakteknya hanya mempengaruhi beberapa program, terutama melakukan functor (Term, F, A) pada daftar dan kemudian memilih pengolahan lebih lanjut dari F == '.', A == 2. Untuk mengaktifkan daftar lebih menjadi membangun khusus, [] masih daftar kosong, tapi tidak lagi sama dengan '[]', yaitu, [] tidak di atom.
• Sintaks & quot; ... & quot; sekarang dipetakan ke string. String yang kompatibel dengan Eclipse (terima kasih kepada Joachim Schimpf untuk semua diskusi). Kode-daftar tradisional yang dibangun menggunakan .... Bendera double_quotes dan back_quotes mengontrol perilaku ini.
• Berkat Torbjorn Lager, kita memiliki & quot; & quot ;, Pengines mesin Prolog di web. Ini menyediakan API generik untuk berbicara dengan nyaman ke server Prolog dari JavaScript dan kasus lain Prolog. Ini memungkinkan SWISH, SWI-Prolog pada browser Anda (http://swish.swi-prolog.org) serta http://lpn.swi-prolog.org (Pelajari Prolog Sekarang! Dengan tertanam SWISH).
• Markus Triska menambahkan clp (b), kendala pemecah boolean, meningkatkan clp nya (fd) dan sebelum beberapa perangkat tambahan ke tingkat atas berhadapan dengan kendala.
• Berkat Matt Lilley dan Mike Elston, ada CQL, DSL (Domain Specific Language) untuk menangani SQL. CQL dikembangkan dalam lingkungan di mana database SQL kompleks norma dan karena itu mendukung subset besar SQL dan dapat menangani tabel dengan ribuan kolom dan hal-hal lain yang SQL pengguna ocasional tidak akan berharap.
• Matt Lilley ditingkatkan jaringan dukungan signifikan, termasuk dukungan yang lebih baik untuk SSL dan dukungan umum untuk kedua HTTP dan SOCKS server proxy.
• Banyak orang telah menyediakan add-ons (paket) yang mengandalkan SWI-Prolog versi 7.

Apa yang baru di versi 6.6.6 / 7.1.37:

• Pengolahan # !, mengikat file untuk penerjemah di Unix tidak lagi mencoba untuk menjadi pintar tentang pilihan pengolahan untuk penerjemah. Efek dari perubahan ini tergantung pada versi Unix:. Beberapa hanya memberikan opsi pertama, yang lain pak semua pilihan menjadi satu dan yang lain lulus pilihan setelah melanggar mereka
• Prolog bendera argv hanya menyediakan argumen yang belum diproses oleh Prolog.
• init file yang .plrc (pl.ini pada Windows) tidak lagi mencari di direktori kerja untuk alasan keamanan.

Apa yang baru di versi 6.6.6 / 7.1.31:

• Pengolahan # !, mengikat file untuk penerjemah di Unix tidak lagi mencoba untuk menjadi pintar tentang pilihan pengolahan untuk penerjemah. Efek dari perubahan ini tergantung pada versi Unix:. Beberapa hanya memberikan opsi pertama, yang lain pak semua pilihan menjadi satu dan yang lain lulus pilihan setelah melanggar mereka
• Prolog bendera argv hanya menyediakan argumen yang belum diproses oleh Prolog.
• init file yang .plrc (pl.ini pada Windows) tidak lagi mencari di direktori kerja untuk alasan keamanan.

Apa yang baru di versi 6.4.0:

• Diperbarui perpustakaan RDF ke versi 3. Siapa peduli tentang RDF mungkin sudah menggunakan versi pengembangan untuk alasan ini. Ditambahkan cepat parser untuk ntriples, Turtle dan trigonometri format.
• Pengenalan kutip kuasi untuk dimasukkan halus dan aman dari potongan bahasa eksternal
• Upgrade PlDoc untuk menerima penurunan harga umum konstruksi.
• Banyak perangkat tambahan untuk alat pengembangan, perpustakaan HTTP, paket clib. dll Dukungan yang lebih baik untuk proses daemon Unix (syslog, UID / GID manajemen, dll.)
• Sebuah awal untuk lokal penanganan (format / 3 mendukung, terutama menulis lokal bilangan bulat besar tertentu.
• Banyak stabilitas hal:. crash tetap, patch portabilitas, membangun perangkat sistem, dll

Apa yang baru di versi 6.2.0:

• versi awal dari `pack 'manajer paket
• penanganan file sumber yang lebih baik, terutama wrt. : - Termasuk (File)
.
• Banyak perbaikan untuk debugger, meningkatkan penanganan sumber dan logika yang memutuskan di mana port tersembunyi.
• versi Windows sekarang membangun menggunakan compiler MinGW proyek, sehingga 10-20% speedup. Perangkat tambahan untuk swipl-win.exe konsol:. Copy / paste dan dukungan warna

Apa yang baru di versi 6.0.0:

• Dinamis pengindeksan just-in-time di beberapa argumen
.
• disarikan banyak dari API pengembangan, mendukung IDE PDT.
• Banyak pembersihan, perbaikan bug, dll.

Apa yang baru di versi 5.11.20:.

• Mengurangi penggunaan trail-stack
• Memberikan pengumpulan sampah generasi.

Apa yang baru di versi 5.11.10:

• Mengurangi penggunaan trail-stack. (sebagian)
• Memberikan pengumpulan sampah generasi.

Apa yang baru dalam versi 5.11.9:

• Mengurangi penggunaan trail-stack. (sebagian)
• Memberikan pengumpulan sampah generasi.

Apa yang baru dalam versi 5.10.0:

• Semua platform sekarang menggunakan penamaan yang konsisten. The SWI-Prolog dieksekusi disebut swipl, linker swipl-ld dan manajer resouce file swipl-rc.
• New tumpukan memori-manajemen yang didasarkan pada tumpukan-pergeseran daripada mengalokasikan tumpukan jarang di alamat virtual-space. Perubahan ini memungkinkan untuk skalabilitas yang lebih baik dalam jumlah benang, jadi kami juga dihapus batas benang-hitungan lama 100. tumpukan-batas sekarang dapat diangkat dan diturunkan pada saat runtime menggunakan set_prolog_stack / 2.
• Default tumpukan-ukuran-batas sekarang 128MB per stack pada 32-bit dan 256Mb pada 64-bit hardware.
• kebocoran luas dan stres-pengujian telah tetap sejumlah kebocoran dan kondisi ras, membuat sistem jauh lebih kuat di server setup 24x7.
• Sebuah awal yang telah dibuat untuk menghindari menggunakan C-stack untuk recursing ke dalam istilah. Hal ini memungkinkan pengolahan jauh lebih dalam bersarang persyaratan dan memberikan pengecualian bersih jika ada sumber daya yang cukup untuk melintasi istilah. Masih banyak yang harus dilakukan di daerah ini.
• SWI-Prolog 5.10.0 memperkenalkan referensi aman untuk istilah database (assertz / 2, recordz / 3) dan sungai (membuka / 3).
• Jumlah variabel dalam klausul sekarang terbatas 1000000000; ini adalah 65535. Selain itu, sistem menyediakan pengecualian anggun ketika menghadapi sumber daya-kesalahan atau mencoba untuk menegaskan hal ilegal seperti hal siklik.
• Kompatibilitas untuk kedua YAP dan SICStus ditingkatkan.

Apa yang baru di versi 5.8.2:

• BERSIH-BERSIH: Pelaksanaan dan dokumentasi antarmuka sinyal.
• TETAP:. Gunakan --nopce / - pce untuk (dis) yang memungkinkan grafis
• FIXED: GC-bug; menghilangkan stripping uwrite-bit dari argumen tumpukan
• MODIFIKASI: Dihapus bendera abort_with_exception Prolog; itu tidak lagi digunakan.
• FIXED: Hindari kebuntuan ketika mencoba untuk keluar setelah kesalahan fatal
.
• MODIFIKASI: is_set / 1 sekarang menggunakan jenis / 2. Akibatnya, variabel non-shared dianggap unsur yang berbeda; urutannya adalah N * log (N) dan predikat dapat kembali sumber daya-kesalahan.
• FIXED: Setelah: -.. modul (x), melakukan gol-ekspansi relatif terhadap modul x
• BERSIH-BERSIH: Item # 547:. Benar mengutip predikat terdefinisi dan alternatif
• DOC: Memperjelas current_arithmetic_function / 1
.
• DOC: Menyediakan ketersediaan snippit untuk C-fungsi
• FIXED: penyederhanaan Sebelumnya rusak admin variabel compiler. Juga menambahkan uji kasus.
• FIXED: Bug # 436: mempersatukan variabel dengan dirinya sendiri menciptakan loop referensi
.

Apa yang baru dalam versi 5.7.14:

• FIXED: cross-referencer untuk membedakan: dari 0 dalam deklarasi meta-predikat
• BERSIH-BERSIH: Gunakan meta_predicate untuk predsort / 3
• MODIFIKASI: membuat / 0 sekarang hanya scan untuk referensi predikat terdefinisi dalam modul yang mengandung mereka. The list_undefined / 0 masih mencari global.
• DISEMPURNAKAN: CLP (FD):. Arc-konsisten global_cardinality / 2 jika pasangan yang awalnya tanah
• TETAP: Handle (multifile) predikat yang beberapa klausa memiliki tubuh mereka dalam modul lain dan beberapa di sama. Matt Lilley.
• TAMBAH:% [& # x3c; n & # x3e;] f format format_time / 3 untuk menangani pecahan detik. Digunakan oleh ekstensi men-debug baru.
• TAMBAH: debug_message_context (+ | -Context) untuk menentukan konteks tambahan untuk pesan debug (seperti waktu-cap)
.
• FIXED: Membuat apply_macros melakukan ekspansi tujuannya dalam konteks modul sistem
• DISEMPURNAKAN: CLP (FD): global_cardinality cepat / 2 jika pasangan Key-Bil adalah tanah
.
• FIXED: menangani Operator-prioritas dalam pencetakan jawaban. Markus Triska.
• DISEMPURNAKAN: Gunakan pilihan cetak level atas untuk tujuan residual, pelaksanaan pembersihan
• DISEMPURNAKAN: Membuat term_variables dan term_attvars efisien jika daftar diberikan (terutama term_attvars (Term, []))
.
• DISEMPURNAKAN: Membuat Database direkam menggunakan kode jangka walker baru
• DISEMPURNAKAN: Setup Pertama kerangka untuk melintasi hal menggunakan loop sederhana daripada prosedur rekursif. Sekarang digunakan untuk term_variables / 2 dan predikat terkait. Skema muncul memadai, tapi kode tumpukan tersegmentasi harus dioptimalkan jauh. Seperti, term_variables / 2 sedikit lebih lambat (5%), tetapi dapat menangani hal sangat bersarang dengan jauh lebih sedikit memori dan tanpa stack overflow.
• TAMBAH: term_attvars / 2 untuk dukungan yang lebih baik dari copy_term / 3. Setelah diskusi dengan Markus Triska.
• TAMBAH: del_attrs / 1 untuk menghapus * semua * atribut. Menyederhanakan copy_term / 3.

Apa yang baru dalam versi 5.7.12:

• Peningkatan kinerja pada program yang lebih besar adalah antara 10 dan 40 %, tergantung pada gaya pemrograman. Terutama pemecah kendala keuntungan secara signifikan. Program kecil kadang-kadang menunjukkan speedups jauh lebih besar.
• Sejak 5.7.4, sistem modul diperbarui
• Banyak pembersihan dalam penamaan dan modularisasi dari basis kode.