SWI-Prolog

yararlıdır mantık programlama amaçlı, yapay zeka ve hesaplama dilbilim var

Bu sürümde Yeni nedir:.

• Yeni dict türü ve sözdizimi hoş sözdizimi ile hem zaman ve mekan verimli ad-değer haritalar sağlar.
• Bunun bir sonucu olarak, bu liste kurucu değiştirmek için gerekli olan (H, t), (aynı zamanda Mercury kullanımda) '[|]'. (lH, t). Bu köklü görünebilir, ama pratikte (Terim, F, A) listelerinde ve ardından == F fazla işlem seçerek özellikle funktoru yapıyor, sadece bir kaç programları etkiler doğurabilir. '' Bir == 2. içine daha listelerini açmak için özel yapı, [] artık aynı hala boş liste, ancak '[]', yani [] atomunda değil.
• sözdizimi & quot; ... & quot; Şimdi dizeleri eşleştirilir. Dizeler (bütün tartışmalar için Joachim Schimpf sayesinde) Eclipse ile uyumludur. Geleneksel kod listeleri .... bayraklar double_quotes kullanılarak inşa edilir ve back_quotes bu davranışını denetlemek.
• Torbjorn Lager sayesinde, biz & quot; & quot ;, Pengines web üzerinde Prolog motorlar. Bu JavaScript ve diğer Prolog örneklerden bir Prolog sunucusuna rahatça konuşmak için genel bir API sağlar. Bu tarayıcınızın (http://swish.swi-prolog.org) yanı sıra http://lpn.swi-prolog.org kadar (embedded swish ile! Şimdi Prolog bilgi) 'de SWISH, SWI-Prolog sağladı.
• Markus Triska CLP (b), boolean kısıt çözücü eklendi onun CLP (fd) geliştirilmiş ve kısıtlamaları ile ilgili toplevel birkaç geliştirmeleri önceydi.
• Matt Lilley ve Mike Elston sayesinde, CQL, DSL (Domain Specific Language) SQL ile başa çıkmak için vardır. CQL karmaşık SQL veritabanları norm ve bu nedenle SQL büyük bir alt kümesi destekler ve sütun ve ocasional SQL kullanıcı beklemek olmaz o diğer şeyler binlerce tabloları ile başa çıkabilirim bir ortamda gelişmiştir.
• Matt Lilley HTTP ve SOCKS proxy sunucuları için SSL ve genel destek için çok daha iyi destek de dahil olmak üzere, önemli ölçüde ağ desteği geliştirilmiş.
• Birçok insan sağladı eklentiler SWI-Prolog sürüm 7 güveniyor (paketleri).

sürümü 7.2.1 / 7.3.3-dev yeni Nedir:

• Yeni dict tipi ve sözdizimi hoş sözdizimi ile hem zaman ve mekan verimli ad-değer haritalar sağlar.
• Bunun bir sonucu olarak, bu liste kurucu değiştirmek için gerekli olan (H, t), (aynı zamanda Mercury kullanımda) '[|]'. (lH, t). Bu köklü görünebilir, ama pratikte (Terim, F, A) listelerinde ve ardından == F fazla işlem seçerek özellikle funktoru yapıyor, sadece bir kaç programları etkiler doğurabilir. '' Bir == 2. içine daha listelerini açmak için özel yapı, [] artık aynı hala boş liste, ancak '[]', yani [] atomunda değil.
• sözdizimi & quot; ... & quot; Şimdi dizeleri eşleştirilir. Dizeler (bütün tartışmalar için Joachim Schimpf sayesinde) Eclipse ile uyumludur. Geleneksel kod listeleri .... bayraklar double_quotes kullanılarak inşa edilir ve back_quotes bu davranışını denetlemek.
• Torbjorn Lager sayesinde, biz & quot; & quot ;, Pengines web üzerinde Prolog motorlar. Bu JavaScript ve diğer Prolog örneklerden bir Prolog sunucusuna rahatça konuşmak için genel bir API sağlar. Bu tarayıcınızın (http://swish.swi-prolog.org) yanı sıra http://lpn.swi-prolog.org kadar (embedded swish ile! Şimdi Prolog bilgi) 'de SWISH, SWI-Prolog sağladı.
• Markus Triska CLP (b), boolean kısıt çözücü eklendi onun CLP (fd) geliştirilmiş ve kısıtlamaları ile ilgili toplevel birkaç geliştirmeleri önceydi.
• Matt Lilley ve Mike Elston sayesinde, CQL, DSL (Domain Specific Language) SQL ile başa çıkmak için vardır. CQL karmaşık SQL veritabanları norm ve bu nedenle SQL büyük bir alt kümesi destekler ve sütun ve ocasional SQL kullanıcı beklemek olmaz o diğer şeyler binlerce tabloları ile başa çıkabilirim bir ortamda gelişmiştir.
• Matt Lilley HTTP ve SOCKS proxy sunucuları için SSL ve genel destek için çok daha iyi destek de dahil olmak üzere, önemli ölçüde ağ desteği geliştirilmiş.
• Birçok insan sağladı eklentiler SWI-Prolog sürüm 7 güveniyor (paketleri).

sürümü 7.2.0 / 7.3.1-dev yeni Nedir:

• Yeni dict tipi ve sözdizimi hoş sözdizimi ile hem zaman ve mekan verimli ad-değer haritalar sağlar.
• Bunun bir sonucu olarak, bu liste kurucu değiştirmek için gerekli olan (H, t), (aynı zamanda Mercury kullanımda) '[|]'. (lH, t). Bu köklü görünebilir, ama pratikte (Terim, F, A) listelerinde ve ardından == F fazla işlem seçerek özellikle funktoru yapıyor, sadece bir kaç programları etkiler doğurabilir. '' Bir == 2. içine daha listelerini açmak için özel yapı, [] artık aynı hala boş liste, ancak '[]', yani [] atomunda değil.
• sözdizimi & quot; ... & quot; Şimdi dizeleri eşleştirilir. Dizeler (bütün tartışmalar için Joachim Schimpf sayesinde) Eclipse ile uyumludur. Geleneksel kod listeleri .... bayraklar double_quotes kullanılarak inşa edilir ve back_quotes bu davranışını denetlemek.
• Torbjorn Lager sayesinde, biz & quot; & quot ;, Pengines web üzerinde Prolog motorlar. Bu JavaScript ve diğer Prolog örneklerden bir Prolog sunucusuna rahatça konuşmak için genel bir API sağlar. Bu tarayıcınızın (http://swish.swi-prolog.org) yanı sıra http://lpn.swi-prolog.org kadar (embedded swish ile! Şimdi Prolog bilgi) 'de SWISH, SWI-Prolog sağladı.
• Markus Triska CLP (b), boolean kısıt çözücü eklendi onun CLP (fd) geliştirilmiş ve kısıtlamaları ile ilgili toplevel birkaç geliştirmeleri önceydi.
• Matt Lilley ve Mike Elston sayesinde, CQL, DSL (Domain Specific Language) SQL ile başa çıkmak için vardır. CQL karmaşık SQL veritabanları norm ve bu nedenle SQL büyük bir alt kümesi destekler ve sütun ve ocasional SQL kullanıcı beklemek olmaz o diğer şeyler binlerce tabloları ile başa çıkabilirim bir ortamda gelişmiştir.
• Matt Lilley HTTP ve SOCKS proxy sunucuları için SSL ve genel destek için çok daha iyi destek de dahil olmak üzere, önemli ölçüde ağ desteği geliştirilmiş.
• Birçok insan sağladı eklentiler SWI-Prolog sürüm 7 güveniyor (paketleri).

nedir sürümü Yeni 6.6.6 / 7.1.37: no

• İşleme !, bağlayıcı Unix bir tercüman bir dosya artık tercüman işleme seçenekleri hakkında akıllı olmaya çalışır. Bu değişikliğin etkisi Unix sürümleri bağlıdır. Bazı onları sadece kırma sonra diğerleri diğerleri seçenekleri geçmesi ve henüz içine tüm seçenekleri paketi, ilk seçeneği geçmesi
• Prolog bayrağı argv sadece Prolog tarafından işlenen değil argümanları sağlar.
• init dosyası .plrc (Windows pl.ini) artık güvenlik nedenleriyle çalışan dizinde aranır.

nedir sürümü Yeni 6.6.6 / 7.1.31: no

• İşleme !, bağlayıcı Unix bir tercüman bir dosya artık tercüman işleme seçenekleri hakkında akıllı olmaya çalışır. Bu değişikliğin etkisi Unix sürümleri bağlıdır. Bazı onları sadece kırma sonra diğerleri diğerleri seçenekleri geçmesi ve henüz içine tüm seçenekleri paketi, ilk seçeneği geçmesi
• Prolog bayrağı argv sadece Prolog tarafından işlenen değil argümanları sağlar.
• init dosyası .plrc (Windows pl.ini) artık güvenlik nedenleriyle çalışan dizinde aranır.

sürümünde 6.4.0 Yeni Ne:

• sürüm 3. Herkes Güncelleme RDF kütüphane bakım RDF hakkında zaten bu nedenle geliştirme sürümü kullanıyordu. Ntriples Added hızlı ayrıştırıcıları, Kaplumbağa ve trigonometrik biçimleri.
• Dış dil parçacıkları düzgün ve güvenli eklenmesi için yarı alıntının tanıtımı
• PlDoc yükseltilmesi ortak markdown yapıları kabul etmek.

geliştirme araçları, HTTP kütüphaneler, clib paketi
• Birçok geliştirmeleri. Unix daemon süreçleri için vb daha iyi destek (syslog UID / yönetimi, vb.)
• ele yereli için bir başlangıç ​​(özellikle yerel özgü büyük tamsayılar yazma biçimi / 3 destekler.
• istikrar Sürü:. Sabit çöküyor, taşınabilirlik yamalar, sistem geliştirmeleri kurmak, vb

nedir sürümü 6.2.0 Yeni

• `paketi 'paket yöneticisinin başlangıç ​​versiyonu
• Daha kaynak dosya işleme, özellikle wrt. : - (File) include
.
• hata ayıklayıcı Birçok düzeltmeleri, kaynak kullanımı ve portları gizli edildiği karar mantığı geliştirmek.
• Windows sürümü artık% 10-20 speedup sonuçlanan MinGW derleyici projesini kullanarak oluşturun. Donanımlar swipl-win.exe için konsolu:. Kopyala / yapıştır ve renk desteği

nedir sürümü 6.0.0 Yeni

Birden argümanlara

• Dinamik just-in-time indeksleme .
• kalkınma API'leri birçok Abstracted FDT IDE destekleyen.

vb temizlik, hata düzeltmeleri, bir
• sürü.

sürümünde 5.11.20 yeni nedir.

• Azaltılmış iz yığını kullanımı
• nesiller çöp toplama sağlayın.

sürümünde 5.11.10 yeni Nedir:

• iz yığın kullanımını azaltın. (kısmen)
• nesiller çöp toplama sağlayın.

sürümünde 5.11.9 yeni Nedir:

• iz yığın kullanımını azaltın. (kısmen)
• nesiller çöp toplama sağlayın.

sürümünde 5.10.0 yeni Nedir:

• Tüm platformlar artık tutarlı adlandırma kullanın. SWI-Prolog yürütülebilir swipl, bağlayıcı swipl-ld ve Resouce-dosya yöneticisi swipl-rc denir.
• dayanmaktadır Yeni yığın bellek yönetimi sanal adres-uzayda seyrek yığınları tahsis yerine yığının kayması. Bu değişiklik parçacığı sayısı çok daha iyi ölçeklenebilirlik sağlar, bu yüzden de yığın sınırları artık büyüdü ve set_prolog_stack / 2 kullanarak çalışma zamanında azaltılabilir 100 eski ilmekli sınırını kaldırıldı.
• yığın boyutu limitleri artık 64-bit donanım üzerinde 32-bit ve 256Mb üzerinde yığının başına 128MB varsayılan.
• Kapsamlı kaçak ve stres testi 24x7 sunucu kurulumu sistem çok daha sağlam hale sızıntı ve yarış koşulları bir dizi sabit.
• Bir başlangıç ​​şartları içine recursing için C-yığını kullanmaktan kaçınmak için yapılmıştır. Bu işlem çok daha derinden iç içe terimleri tanır ve dönem geçiş için yeterli kaynak varsa temiz bir istisna sağlar. Bu alanda yapılacak çok şey var.
• SWI-Prolog 5.10.0 veritabanı bazında (assertz / 2, recordz / 3) ve akarsu (/ 3 açmak) güvenli başvurular tanıtır.
• bentlerinde değişkenlerin sayısı artık 1,000,000,000 sınırlıdır; kaynak hataları karşılaşmak ya da halkalı terimler gibi yasadışı terimleri iddia çalışırken bu Ayrıca 65535 oldu, sistem zarif istisnalar sağlar.
• YAP ve SICStus hem uyumluluk geliştirilmiştir.

sürümünde 5.8.2 yeni nedir: Sinyal arayüzü Uygulama ve belgeler:

• Temizleme.
• SABİT:. Kullanım --nopce / - (dis) izin grafik pce
• SABİT: GC-bug; argüman yığını uwrite-bit sıyırma ihmal
• MODİFİYE: prolog bayrağı abort_with_exception kaldırıldı; artık kullanılır.

SABİT
• : bir ölümcül hata sonra çıkmak isterken kilitlenme kaçının
.
• MODİFİYE: is_set / 1 şimdi / 2 çeşit kullanmaktadır. Sonuç olarak, olmayan paylaşılan değişkenler farklı unsurları olarak kabul edilir; Sipariş N * log (N) ve yüklem bir kaynak hata döndürebilir.
• SABİT: Sonra: -.. modülü (x), x modül hedef genişleme göreli gerçekleştirmek
• TEMİZLİK: Ürün # 547:. Düzgün tanımsız yüklemleri ve alternatifleri alıntı
• Belge:. current_arithmetic_function / 1
netleştirin
• Belge: C-fonksiyonları için kullanılabilirlik snippit sağlayın
• SABİT: Önceki basitleştirme derleyici değişken yönetici bozuk. Ayrıca eklenen test case.
• SABİT: Hata # 436: kendisi ile bir değişkeni birleştirici bir referans döngü oluşturuyor
.

Ne sürümü 5.7.14 Yeni

• SABİT: Çapraz referencer ayırmak için: 0 Meta-yüklem bildirgelerinde
• TEMİZLİK: predsort / 3
için kullan meta_predicate
MODİFİYE
• : bunları içeren modüllerde tanımlanmamış yüklemler başvurular için / 0 artık sadece taramalar yapmak. Hala list_undefined / 0 küresel arar.
• GELİŞTİRİLMİŞ: CLP (FD). Arc-tutarlı global_cardinality / 2 çift başlangıçta toprak eğer
• SABİT: Kolu (multifile) hangi bazı maddeleri kendi başka bir modülde beden ve aynı bazı var yüklemler. Matt Lilley.
• EKLENDİ:% [& # x3c n & # x3e] f biçimi / 3 saniye kesirleri ile başa çıkmak için format_time için. Yeni hata ayıklama uzantıları tarafından kullanılır.
• EKLENDİ: debug_message_context (+ | -Bağlam) (böyle bir zaman damgası gibi) hata ayıklama iletileri için ek bağlam belirtmek için
.
SABİT
• : Yap apply_macros sistem modülünün bağlamında hedefine genişleme yapmak
• GELİŞTİRİLMİŞ: CLP (FD): Daha hızlı global_cardinality / 2 Anahtar Num çiftleri zemin iseniz
.
• SABİT: Cevap baskıda operatör öncelik anlaştım. Markus Triska.

GELİŞTİRİLMİŞ
• : artık hedefler için kullanın toplevel baskı seçenekleri, temizleme uygulaması

GELİŞTİRİLMİŞ
• : Bir liste (özellikle term_attvars (Dönem, [])) verilirse term_variables ve term_attvars verimli olun
.
• GELİŞTİRİLMİŞ: Yeni dönem-walker kodu kullanabilirsiniz kaydedilmiş veritabanını olun
• GELİŞTİRİLMİŞ: Basit bir döngü yerine bir özyinelemeli prosedürü kullanarak terimleri geçme bir iskeletin ilk kurulum. Şimdi term_variables / 2 ve ilgili önermeler kullanılmakta. Şema yeterli görünüyor, ancak parçalı yığın kod ölçüde optimize edilmelidir. Olduğu gibi, / 2 yavaş (% 5) hafifçe term_variables, ama çok daha az bellek ve yığın taşmaları olmadan iç içe terimleri işleyebilir.
• EKLENDİ: copy_term / 3 daha iyi destek / 2 term_attvars. Markus Triska ile tartışmanın ardından.
• EKLENDİ: del_attrs / 1 * tüm * özelliklerini silmek için. Kolaylaştırır copy_term / 3.

nedir sürümü 5.7.12 Yeni

büyük programlarda performans iyileştirme 10 ve 40 arasında
• olan % programlama stiline bağlı olarak. Özellikle kısıt çözen önemli ölçüde kar. Küçük programlar bazen çok daha büyük hızlanma gösteriyor.
• 5.7.4 beri, güncellenmiş modül sistemi
• adlandırma ve kod temeli modülerleştirme içinde temizleme sürü.