Logtalk

Prolog beri çok az güncellemeleri ile geri 1972 yılında piyasaya sürüldü genel amaçlı mantık programlama dili olduğunu.

Logtalk daha modern Prolog özellikler, özellikle performans iyileştirmeleri, lambda ifadeleri, gramer kuralları, gelişmiş derleyici hataları ve uyarı raporlama eklemek için oluşturuldu.

Bu Üstüne üstlük, daha kolay bir kurulum süreci ve Prolog derleyici uyumluluğu güncelleştirmeleri ekleyin.

Bu günümüz AI ve bilgisayar dilbilim senaryolar, çok daha güçlü bir çoklu-paradigma dili, olay odaklı ve üst düzey multi-threading programlama için uygun olarak Prolog daha iyi, daha uygun bir alternatif Logtalk yapar.

Şu anda Logtalk sözdizimi standart Prolog sözdizimi uzatır ve bu Prolog derleyiciler üzerinde Logtalk çalıştırabilirsiniz:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Yalın Prolog

Qu-Prolog

SICStus Prolog

SWI prolog

XSB

YAP

Bu sürümdeki yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

sürüm 3.02.2 yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

sürüm 3.02.1 yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

sürüm 3.00.4 yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

sürüm 3.00.2 yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

sürüm 3.00.1 yeni Nedir:

• GELİŞMİŞ:
• Kaynak konum verileri (ile derlenmiş terimleri süslemek için zaman karar vermek için bu etiketleri kullanmaya oluşturulan ara Prolog dosyalarının boyutunu en aza indirmek için derlenmiş kod yazarken kullanılan terim etiketleri değişiklikler şu anda, sadece SWI-Prolog yararlanır konum verileri).
• SABİT:
• Bir dosya birden fazla ana dosyası olabilir.

Hangi sürümü 2.44.1 yeni

• meta_non_terminal derleme bir hata düzeltildi / ilk meta-argüman doğru işlenmiş olur sadece 1 direktif.
• Windows 64 bit sistemleri üzerinde çalışan algılamak için ve non-yüklem ve non-operatör ihracatını görmezden Eclipse yapılandırma dosyasını Güncelleme zaman ön-işleme lib / 1 direktifleri.
• birim test çerçevesi başarısız birim testler için daha bilgilendirici mesajlar yazdırmak için güncellendi.

listp & quot ;, & quot;;
• eklendi yüklem & quot (belirli bir uzunlukta sublists içine bir liste bölme için) / 4 bölünmüş listeye & quot ;, ve & quot; difflist & quot; kütüphane varlıkları.
• & quot Güncelleme; cc & quot; CxProlog için kabuk / 2 yüklemi için tanım örneği.

mi & quot;
• & quot nesnelerin adlarını değiştirdi; örnek birim testleri çalıştırırken örnek bir isim çakışmasını önlemek için.
• YAP 64 bit sürümleri tespitini engelledi, Windows yükleyici bir hata düzeltildi. hata raporu için Stepan ipatov için teşekkürler.

sürüm 2.44.0 Yeni Ne:

• Bu sürüm kategorilerini tamamlayan semantik değişiklikler, izin mevcut nesne kodunu yama kullanımı, meta-aramaların işleme iki hataları giderir DCG kuralları vücutta terminallerinin açık listeleri sağlar iki yeni örnek ekler ve Vim metin editörü ve Coşkulu ctags desteğini geliştirir.

Hangi sürümü 2.43.3 yeni

• Düzeltilmiş Logtalk derleyici çalışma zamanı işleyicisi nerede bir hata işletmenin varlığı istisna atma zaman iç varlık tanımlayıcıları koda başarısız oldu.
• İç Logtalk çalışma zamanı tablolar tarafından kullanılan dinamik yüklemler bazı endeksi / 1 direktifleri ekleyerek, Yalın Prolog yapılandırma dosyası güncellendi.
• just-in-time çoklu argüman indeksleme için yeni deneysel SWI-Prolog desteği ile önerilmemektedir endeksi / 1 direktifi, kullanılabilirliği test etmek için SWI-Prolog entegrasyon dosyaları güncellendi.
• Eklendi altdizi / 4 (belirli bir uzunlukta olan bir listenin dizilerine üretmek için), / 4 (bir liste öğeleri değiştirmek için) yerine yüklemler ve hamming_distance kütüphaneye & quot / 3; listp & quot; ve & quot; liste & quot; varlıklar.
• eklendi euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3 ve kütüphaneye & quot scalar_product / 3 yüklemler; numberlistp & quot; ve & quot; numberlist & quot; varlıklar.
• & quot tanımında bazı aptal hatalar düzeltildi; karakteri & quot; Kütüphane nesne, / 1 is_bin_digit yüklemler / 1.
/ 1 is_octal_digit / 1 is_dec_digit ve is_hex_digit
• kütüphane & quot Güncelleme; all_loader.lgt & quot; meta_compiler_loader.lgt & quot; yükleyici dosyası da & quot yüklemek için; yükleyici dosyası.

sürüm 2.43.2 yeni Nedir:

• operatör bildirimleri işleme kaynak dosyalarını derleme Optimize ve dinamik yeni varlıklar yaratır.

modülleri & quot;
• & quot kullanmak için Logtalk derleyici Güncelleme; (:). Derleyici bayrağı böylece tanımlamak hala bir modül sistemini desteklemeyen arka uç Prolog derleyicileri ile derleme sorunları önlemek ancak, Prolog modül desteği için test ederken / 2 dahili kontrol yapısı veya yüklem
olarak
• & quot kaldırıldı destek; startup_message & quot; derleyici bayrağı & quot; bayrakları (kompakt) & quot; ve & quot; bayrakları (ayrıntılı) & quot; tek bir değer ile değiştirilir değerler, & quot; bayraklar ve eski & quot karşılık quot ;,; bayrakları (kompakt) & quot; değer.
• yerel operatör bildirimleri yeni varlıklar dışında görünür nerede olacağını create_protocol / 3, create_object / 4, ve create_category / 4 dahili yüklemler ile op / 3 direktifleri kullanırken bir hata düzeltildi.
• varlık kaldırılması sırasında kaldırılmış olmaz bir artık kullanılmayan defter tutma dinamik yüklemi tanımlamak zamanında yeni bir dinamik bir varlık yaratarak bir hata düzeltildi.
• derleyici hata düzeltildi nerede & quot; Süper & quot; kendini başlatır sadece ve herhangi bir nesne başarısız bir istisna yerine atmak uzman olmayan bir nesne içinde çağrı.
• Güncelleme & quot; kriterler & quot; Her bir test için saniyede aramaların sayısı hesaplanırken aritmetik hatalar karşı korumak için, örneğin. Yavaş arka uç Prolog derleyicileri ile uzun işlem süreleri önlemek için ünite testleri çalıştırırken benchmark test tekrar sayısını azalır.

sürüm 2.43.1 yeni Nedir:

• kullanımları dikkate almak derleyici değiştirildi / 2 yönerge veritabanı yerleşik yöntemleri aramaları derlerken. Bu değişiklik kullandığı / 2 direktifinin semantik uzanır ve Logtalk düz Prolog uygulamalarından daha kolay geçiş sağlar.
• coinductive / 1 direktifi argüman olarak bir yüklem şablonu kullanarak için deneysel destek eklendi. Bu şablon argümanları coinductive başarı için anlamlı olan belirtilmesine olanak tanır. Feliks Kluzniak en DRA meta-tercüman üzerinde bulunan benzer işlevselliğine dayalı.
• dahili hata ayıklayıcı Logtalk kullanırken coinductive yüklemleri hata ayıklama için geliştirilmiş destek.

CxProlog için
• kaldırıldı coinduction desteği. Bu derleyici güncel sürümü artık deneysel coinduction uygulanması gereklidir yerleşik yüklem veya kontrol yapısının bir yumuşak kesim, yoksun.
• bagof / 3 ve SETOF / 3 dahili hedef argüman ^ / 2 varoluşsal niceleyici kullanabilir her yöntemleri.
için sarıcı yüklemler kullanıcı tanımını engelledi uzun zamandır sınırlama kaldırdın
• & quot desteği eklendi; ^ & quot; Meta-yüklem meta-argüman modu belirteci Jan Wielemaker tarafından önerilen ve SWI-Prolog 5.11.25 bulunan. amaç argüman ^ / 2 varoluşsal niceleyici kullanabilir her bagof / 3 ve SETOF / 3 yerleşik yöntemleri için sarýcýlarý tanımlarken Bu mod belirteci faydalıdır.
• Katma & quot; prolog_compiler & quot; ve & quot; prolog_loader & quot; arka uç diske derlemek ve bir (derlenmiş) Prolog bayrağı yük Prolog derleyici yerleşik yüklemleri seçenekleri geçirerek izin derleyici bayrakları. Her iki bayraklar için varsayılan değer boş listesidir.

Prolog hak sahiplerine çağrıları derlerken
• bir hata düzeltildi yerleşik Logtalk derleyici hedefleri olmayan meta-argümanlar işlemek için çalışabilir meta-yüklemleri. Bu hata, yalnızca bu tür Eclipse gibi bazı arka uç Prolog derleyicileri ile kendini gösterdi.
• koşullu derleme direktifleri işlenmesinde bir hata düzeltildi.
• create_category create_object / 4 aramalarda takma / 3 direktifleri geçen engelledi böcek, / 4 ve create_protocol / 3 yerleşik yüklemler düzeltildi.
• kaldırıldı yerleşik nesne & quot; logtalk & quot; decompile_predicate_head / 4 ve decompile_predicate_indicator / 4 kaldırılmış yöntemler.
• uzun kaldırılmış Logtalk metapredicate / 1 direktif kaldırıldı destek.

parametrik kategorilerle çalışırken önbelleğe girişlerinin yapılması gerekiyorsa daha spesifik olabilir kategori yüklemler çağrı önbelleğe
• performans hata düzeltildi.
• & quot önbelleğe alma Geliştirilmiş; süper & quot; prototip içinden çağırır. Daha önce, tüm önbelleğe alınmış girdileri & quot değerine göre uzman olacaktı; kendinden & quot; Düzgün bir nesne hem başlatır ve diğer nesneleri uzmanlaşmış özel durumlar ile başa çıkmak için indirin.
• direktifleri ihtiva varlıkların derleme sırasında yüklem kapsam direktifleri bulunan herhangi bir operatör bildirimleri etkinleştirmek için Logtalk derleyici güncellendi.
• yumuşak kesme kontrolü yapı sağlar, ancak yumuşak kesim vermeyin gibi SICStus Prolog olarak arka uç Prolog derleyicileri kullanarak coinductive yüklemler performansı Geliştirilmiş dahili meta-yüklem (/ 3 ise).
• derleyici bayrak & quot yüklü bir kaynak dosyası derlenmiş zaman derleme / yükleme uyarıları sahte rapor basılmış olabilir hata / düzeltildi; raporu & quot; kapalı.

streamvars & quot;
• & quot eklendi; Mevcut & quot türetilmiş kütüphane nesne; assignvars & quot; dere & quot; a & quot (değişkenler olabilir) terimleri ekleme ve almak için destek içeren kütüphane kategori; değişken.
• Güncelleme & quot; coinduction & quot; örnek, gelişmiş coinductive / 1 direktifinin yararlanarak ve SICStus Prolog kullanılarak çalıştırılabilir bireysel örnekler sayısını genişletmektedir. , Örnek kontrol coinduction kullanarak, coroutining ve kısıtlamaları bir model eklendi.
• Güncelleme & quot; metapredicates & quot; Meta-argüman varoluşsal nitelikli değişkenleri içerebilir zaman bagof / 3 ve SETOF / 3 yerleşik yöntemleri için sarýcýlarý nasıl tanımlanacağını gösteren örnek kodla örnek.
• & quot Güncelleme; cc & quot; örnek, birkaç arka uç Prolog derleyicileri için yüklem tanımları düzeltme ve bazı temel ünite testleri ekledi.
• Güncelleme & quot; kodlamaları & quot; Yalın Prolog sınırlı desteği ile örnek.
• meta_non_terminal / 1 direktif ve çağrı // N olmayan terminali için eksik girişler eklendi & quot; yardım & quot; örnek.
• Robert sasak katkıda PDDL 3.0 dosyaları için bir ayrıştırıcı, eklendi.
• SubEthaEdit metin editörü destek katlama Eklenen kodu. Eklenen kod Kate Vim ve TextMate metin editörleri koşullu derleme blokları için destek katlama.
• kütüphane yolları Logtalk derleyici / çalışma zamanı yüklemeden önce dosya yüklemek için entegrasyon komut güncellendi. Bu ayarları değiştirmek dosyaları kütüphane ve örnek dosyalarının yüklenmesini kolaylaştırmayı hedeflemektedir. LOGTALKHOME ortam değişkeni tanımlı değil Buna ek olarak, aynı zamanda $ HOME / share Logtalk kurulum dizini arayın.
• Yalın Prolog desteklemek ve YAP 64 bit sürümleri tespit etmek amacıyla, Windows yükleyici güncellendi.

sürüm 2.43.0 yeni Nedir:.

• Yalın Prolog için deneysel destek eklendi
• Kaldırılan beyan yüklemler için çağrılarından önce bitişik / 1 ve dinamik / 1 direktifleri zorla Logtalk derleyici kısıtlama.
• gramer kuralları olmayan terminallere Yanlış yazılmış aramaların Logtalk derleyici raporu geliştirildi.
• kullanımı izin ver:. / 1 ​​kontrol dilbilgisi kurallarının vücudunda inşa

kullanım / 2 direktiflerde belirtilen mesajlar ayıklarken
• mesajı artık kullanıcı tarafından yazılmış kaynak kodu gibi örtük nitelikli yazdırılır.
• Değişti dahili çoklu iş parçacığı yüklemler oluşturulan Prolog kod derlemeye gerektiren üst düzey hata ayıklama araçları ile entegrasyonu kolaylaştırmak için.
uygulanmasında kullanılan dahili yüklemler
• birim testler için kütüphane desteği böcek, & quot düzeltildi;. Lgtunit & quot ;, nerede Birim test özelliklerine uygun olarak herhangi bir istisna terimini kabul edeceğini istisnalar için test
• & quot Güncelleme; cc & quot; hata düzeltmeleri ve Eclipse için iyileştirmeler ile örnek expand_path / 2 yüklem SWI-Prolog uygulanması için bir hata düzeltme ile, Joachim Schimpf tarafından katkıda (SWI-Prolog son değişikliklerden kaynaklanan, / 3 yerleşik yüklem absolute_file_name), ve ile B-Prolog için command_line_arguments / 1 yüklemi için bir tanım.
• Güncelleme & quot; coinduction & quot; örnek, biraz daha bireysel örnekler ekledi.
• & quot Güncelleme; xml 'parser & quot; GNU Prolog ile taşınabilirlik sorunları geçici çözüm için katkı.

Bazı kabuk komut dosyalarında
• Doğru bir hata nerede & quot; #! / bin / bash & quot; ! Yerine & quot arasında kullanıldı; #! / Bin / bash & quot ;. hata raporu için Yiorgos Adamopoulos için teşekkürler.
• yönetici olmayan kullanıcılar tarafından tam yüklemesini sağlamak için Inno Setup GUI Windows Installer komut güncellendi.
• ISO Prolog direktifi eklendi sözdizimi renklendirme desteği desteklenen tüm metin editörleri ve sözdizimi highlighters için / 1.
dahil
• sekmesinde bazı hatalar düzeltildi bunların kullanımını engelledi Gedit Logtalk snippet'lerde tetikler.
• FOP bazı sayfaları içeriğini keser gibi kullanıcı ve Referans kılavuzları PDF sürümleri oluştururken yerine FOP XEP kullanarak geri değiştirildi.

sürüm 2.42.4 yeni Nedir:

• Eklenen bir entity_prefix / 2 yüklem ve iki setleri yarar yüklemler, decompile_predicate_heads / 2-4 ve decompile_predicate_indicators / 2-4, için & quot; logtalk & quot; Yerleşik bir nesne. decompile_predicate_head / 4 ve artık olarak decompile_predicate_indicator / 4.
işaretli
operatörler için kapsam bilgilerini korumak için
• desteği eklendi derleme sırasında kapsam yönergeleri kullanarak ilan etti. varlık hakkında bilgi eklendi dosyaları belgeleyen XML operatörleri ilan etti. Operatör bilgi yazdırmak için metin, PDF, ve (X) HTML dönüştürme komut güncellendi.
• Logtalk derleyici / çalışma zamanı Uygulamalı birkaç alt düzey optimizasyonlar.
• inşa ve Prolog derleyici bağımlı ince performans ayarlama desteklemek için Prolog yapılandırma dosyalarına derleyici yüklem yürütme içeriği erişmek iç yüklemler taşındı.
• Timon Van Overveldt tarafından önerilen term_variables / 2 dahili yüklem dayalı küçük bir performans optimizasyonu kullanmak için dişli / 1 çoklu iş parçacığı yerleşik yüklem uygulanması güncellendi. Bu optimizasyon açısından gereksiz bir kopyasını ve birleşme azaltmayı hedefliyor. Buna ek olarak, aynı zamanda performansı arttırır hem master ve slave parçacığı, işlenmesini basitleştirerek yakalamak / 3 yerleşik yüklemi ile setup_call_cleanup / 3 yerleşik yüklem kullanımını değiştirin.
• bağımsız kullanma girişimi ve-paralellik zombi konuda neden olur kullanıcı tarafından başarısızlık bağımsız hedefler belirlemek için dişli / 1 çoklu iş parçacığı yerleşik yüklem uygulanmasında bir hata düzeltildi.
• Daha bilgilendirici istisna şartları ne zaman senkronize olarak dinamik veya dinamik bir yüklem bir senkronize yüklemi ilan çalışırken.
• nesneler olarak modüllerin derleme desteklemek amacıyla XSB yapılandırma dosyası güncellendi. Eksik setup_call_catcher_cleanup / 4 dahili yüklemi için bir tanım eklendi. XSB 3.3 (veya sonraki bir sürümü) artık Logtalk ile uyumluluk için gereklidir.
• arithmetic_function / 1 özel yönergesi için sınırlı destek (aritmetik fonksiyonlar, küresel olarak yerine nesne veya kategorilerine tanımlayarak yerel olarak derlemek edilir) sağlamak amacıyla SWI-Prolog yapılandırma dosyası güncellendi.
• style_check / 1 yönergeyi görmezden ve set_prolog_flag / 2 direktifi olarak yap_flag / 2 direktifini yorumlamak amacıyla YAP yapılandırma dosyası güncellendi.
• FoP için XEP dan (Kullanıcı ve Referans kılavuzları PDF sürümlerini oluşturmak için kullanılır) varsayılan XSL-FO işlemci değiştirildi.
• & quot Güncelleme; xml 'parser & quot; Qu-Prolog, SICStus Prolog ve XSB ile taşınabilirlik sorunları geçici çözüm için katkı.
• Güncelleme & quot; kodlamaları & quot; sırayla örnek kodlama / 1 direktifi önce hiçbir boşluk olmamasını sağlamak için.
• Güncelleme & quot; attvars & quot; B-Prolog ve XSB desteklemek için bir örnek. Ayrıca Logtalk parametrik nesneler ve parametrik kategoriler içinde atfedilen değişkenleri kullanarak için destek eklendi. geribildirim ve uygulama önerileri için Jan Wielemaker, vator Santos Costa ve Bart Demoen için teşekkür ederiz.
• Güncelleme & quot; profilleyicilerini & quot; SICStus Prolog 4.2 sürümünde yürütme profil değişiklikleri ön destek ile örnek.
• & quot Güncelleme; genişleme & quot; Farklı kancalar nesnelerden term- ve hedef genişleme tanımları nasıl birleştirileceği konusunda daha fazla örnek kodla örnek.
• Güncelleme & quot; coinduction & quot; örnek, deneysel keysort / 2 coinductive yüklemi sözlerine ekledi. öneri için Jan Burse için teşekkür ederiz.
• Güncelleme & quot; tak & quot; multi-threading bir kayıp kesim hızla nedeniyle gereksiz seçim noktalarının çok sayıda yaratılmasına SWI-Prolog kullanarak yerel yığın yorucu neden olur örneği.
• Güncelleme & quot; mtbatch & quot; tak & quot; & quot genişletilmiş karşılaştırma sağlamak amacıyla örnek multi-threading; örnek.
• MacPorts tarafından aşamalı ediliyor MD5 sağlama, hesaplanmasını kaldırmak için onu günceller MacPorts portfile ve komut güncelleştirildi.
• kaldırma işlemi Windows kayıt defterinden SWI-prolog anahtarları silmek için başarısız SWI-Prolog, Windows montajcılar bir hata geçici çözüm için Inno Setup GUI Windows Installer komut güncellendi.

sürüm 2.42.3 yeni Nedir:

• bir kategoride ilan dinamik yüklemler çağrılacak izin ver & quot; Bu & quot; Kategorideki içinden. kendini & quot; Önceki sürümlerde, bu tür çağrılar & quot çağrılacak bu yüklemleri zorlayarak, bir derleme zamanı hatası neden olur; (Kontrol yapısı gönderme :: / 1 mesajı kullanarak).

({} / 1 kontrol yapısı kullanılarak) önceden derlenmiş fıkra kafaları
• Katma Logtalk derleyici desteği. dönem genişleme mekanizmasını kullanarak Bu özellik oldukça yararlıdır.
• gramer kurallarının derlenmesi ile oluşturulan yüklem hükümler basitleştiren kodu bir hata düzeltildi. Bir dilbilgisi kuralı meta-değişken, içerdiği zaman kod döngü olur ki Logtalk derleyici gerekir (ama şu anda do not) (çağrı / 1 kontrol yapısı bu durumda yerine kullanılmalıdır). yasadışı olarak rapor
• sözde nesnenin & quot bağlamında aramaların derleme Basitleştirilmiş; kullanıcı & quot;.

p & quot;
• ayıklayıcı komut & quot eklendi; Logtalk yerleşik hata ayıklayıcı. Bu komut yazdırır mevcut olduğunda baskı / 1 yüklemi kullanarak geçerli oldu. q & quot; debugger komutunu & quot yeniden adlandırıldı; & quot; Q & quot ;. Bir hata düzeltildi nerede ayıklayıcı komut & quot; w & quot; tanınan olmaz. d & quot; ayıklayıcı komutu & quot değişti; gerektiğinde terimleri alıntı.
• Eclipse yapılandırma dosyası ISO Prolog predicate_property / 2 yüklemi kısmi uygulanmasını eklendi.
• dde_register_service / 2 kütüphane meta-yüklemler hatalı beyanı ortadan kaldırmak amacıyla, zaman / 1, ve SWI-Prolog yapılandırma dosyası Güncelleme zaman / 2 dahili olarak meta-yüklemleri.

bayraklar & quot;
• & quot bir bug fix Uygulamalı; katkı yazarı, Theofrastos Mantadelis hazır. GNU Prolog ile bir uyumluluk sorunu gidermek.
• kütüphaneye & quot bir memberchk / 2 yüklemi eklendi; SETP & quot; protokol ve & quot; & quot; nesne. Eklenen yüklemler, / 1, is_newline / 1 ve kütüphaneye & quot is_end_of_line / 1 is_control; characterp & quot; ve & quot; karakter & quot; varlıklar.
• Logtalk nesneleri ve kategoriler içinde atfedilen değişkenleri kullanarak bir deney örneği eklendi. Şu anda arka uç Prolog derleyici olarak YAP veya SWI-Prolog kullanılmasını gerektirir.
• & quot indexicals için destek eklendi; kısıtlamalar / sicstus & quot; örnek.

Genişletilmiş
• & quot; delegeler & quot; parametrik nesnesi kullanarak bir yetki verenin örnek uygulama ile örnek.
• Genişletilmiş & quot; dynpred & quot; için, örneğin & quot bağlamında dinamik yüklemleri ele Kategori yüklemler nasıl tanımlanacağını göstermek için, bu aralıklar, ve & quot bağlamında; kendini & quot;.

cc & quot;
• & quot bir wall_time / 1 yüklem eklendi; örnek.
• true / 0 ve başarısız / 0 kontrol yapıları eksik ekleyerek test dosyaları vurgulayarak sözdizimi güncellendi.

Hangi sürümü 2.42.2 yeni

• kontrol sağlamak için Logtalk derleyici Güncelleme kullanıcı & quot; & quot içine yüklemler ithal gerektirmeden modül yüklem özellikleri; (Not Ancak, modül hala modül yüklemler çağıran kaynak dosyalarının derlenmesi öncesinde yüklenmiş olması gerektiğini).
• ortak programlama hataları için çağrı / 2-N hedeflerine derleme zamanı örneği kapatma argümanları kontrol etmek için Logtalk derleyici güncellendi.
• ücretsiz değişkenler veya lambda parametreleri ya da ya da serbest değişkenler ve lambda parametreleri hem de bildirilen değişkenler ile beyan edilmez değişkenlerle lambda ifadeleri için uyarılar üretmek için Logtalk derleyici güncellendi. Bu sağlık kontrolleri düşündüren Jan Burse için teşekkürler.
• & # x3c kullanarak desteklemek için Logtalk runtime Güncelleme; & # x3c; / 2 kontrol meta-yüklemler kapatma meta-argüman olarak inşa
.
• (otomatik olarak yardımcı yüklemi mümkünse üreterek) Serbest / Hedef lambda ifade aramaları derleme için destek eklendi.

logtalk & quot ;.;
• yerleşik nesne & quot, SWI-Prolog aynı ada sahip bir yüklem dayalı bir compile_aux_clauses / 1 public yöntem eklendi Bu yöntem genellikle genişletilmiş bir hedefe desteklenmesi için oluşturulan yardımcı maddelerini derlemek amacıyla goal_expansion / 2 kanca denir.
• meta-yüklem, bir Logtalk yerleşik bir yöntem olarak.
yerleşik bir yüklem olarak bazı Prolog derleyiciler tarafından uygulanan / 1, görmezden eklendi
• Logtalk gelen yüklem özellikleri sorgularken modül kütüphanelerinin otomatik yüklenmesini önlemek amacıyla SWI-Prolog yapılandırma dosyası güncellendi.
• yapmak için Çu-Prolog, SICStus Prolog ve XSB yapılandırma dosyaları Güncelleme mevcut yüklemi ISO yerleşik yüklem olarak / 2 term_variables.
• Bir başlangıç ​​kazasında çözme, Logtalk derleyici / çalışma zamanı derleme için yığın boyutu değerini iki katına amacıyla Qu-Prolog entegrasyon komut güncellendi.
• (& quot kadar taşındı; scripts / macosx / command_files / desteklenmeyen & quot; klasörüne) GNU Prolog için MacOS X komut dosyası restore.

meta & quot;
• Eklendi kütüphane nesnesine & quot / 4-5 findall_member yüklemler; (Richard O'Keefe taslak Prolog kütüphane önerisine dayanan). METAP & quot; kütüphane varlıkları & quot / 1 ve görmezden / 1 çağrılabilir yüklemler beyanı ve tanımı kaldırıldı; ve & quot; meta & quot;
; (/ 1 görmezden şimdi bir Logtalk yerleşik bir yöntem / 1 çağrılabilir tüm desteklenen Prolog derleyiciler yerleşik bir yüklem).
• kütüphane nesnesi, & quot eklendi; meta_compiler & quot ;, kütüphane nesne & quot tanımlanan meta-yüklemler çağrıları genişletmek için bir kanca nesne olarak kullanılabileceğini; meta & quot; Meta-arama giderlerini önlemek için. Meta-yüklem çağrı optimize edilemeyen durumlarda, & quot varsayılan tanımı; meta & quot; Nesne kullanılır. Meta-argüman olarak kontrol yapıları kullanarak değil (henüz) destekledi. Work in progress.
• bir protokol, & quot eklendi; loggingp & quot ;, ve kategori ve nesne uygulamaları, & quot; günlük & quot; ve & quot;. logger & quot ;, ilan ve kütüphaneye dosyalara olayları giriş için temel işlevlerini tanımlayan
• bir protokol, & quot eklendi; intervalp & quot ;, ve bir nesne, & quot; aralığını & quot ;, ilan ve (James F. Allen Aralığı Cebir çalışmasına dayalı) kütüphaneye temel zamansal aralık ilişkilerini tanımlayan
.
• adlı tamsayı sayaçları, & quot uygulayan bir kategori eklendi;. Sayaçları ve kütüphaneye quot ;,
• Eklenen yüklemler kütüphane varlıkları & quot / 2 ve proper_suffix / 2 proper_prefix; listp & quot ;, & quot; liste & quot ;, ve & quot; difflist & quot;.
• eklendi yüklem kütüphane nesnesine & quot / 2 devrik; çiftleri & quot;.

lambdas_compiled & quot;
• test amacıyla, & quot iki sözde örnekler eklendi; ve & quot; metapredicates_compiled & quot ;, yeni kütüphane nesnesinin faydalanmak olduğunu
• & quot; meta_compiler & quot;.
• & quot Güncelleme; genişleme & quot; sırayla örnek tanımlamak ve kanca nesneleri birleştirmek için nasıl göstermek için.

Logtalk kaynak kodu ile Alex Gorbatchev tarafından SyntaxHighlighter paketi (sürüm 3.0.83 veya üstü) kullanarak
• desteği eklendi.
• Başka GNU Kaynak-vurgulamak vurgulayıcı destek / 0 koşullu derleme yönergesi.
eksik sözdizimi renklendirme eklendi
• ücretsiz MacOS X Kod metin editörü Logtalk metin düzenleme desteği bulunan bir not eklendi.
• Yeni eklendi sözdizimi renklendirme desteği desteklenen tüm metin editörleri ve sözdizimi highlighters için / 1 yerleşik bir yöntem görmezden.

sürüm 2.42.1 yeni Nedir:

• tespit ve raporlama Logtalk derleyici desteği eklendi dinamik / 1 ve bitişik / 1 yüklem direktifleri eksik.
• Yeni bir tüy bırakmayan bayrak eklendi, & quot; missing_directives & quot ;, & quot varsayılan değeri ile; uyarı & quot ;, tüm yapılandırma dosyalarına. Bu bayrak, dinamik / 1, bitişik / 1 ve multifile / 1 yüklem direktifleri eksik derleyici uyarısı baskı sağlar.

yüklem göstergeler listesi için bir yüklem göstergesi, [/] için (/) ve [0] hedefleri listesi için : yeni meta-yüklem şablon modu göstergeleri için
• desteği eklendi.
• burada & quot hatalar için meta-yüklem fıkra kafaları kontrol ederken Logtalk derleyici bir hata düzeltildi; :: & quot; Meta-argüman modu göstergesi hala & quot olarak yorumlanır ediliyordu; 0 & quot;.
• yapıları ya da yanlış bağlamda bazı meta-argümanlar çağıran neden olabilir yerleşik yüklemler kontrol çağrıları oluşturmak için kullanılır (meta-aramalarda) kapanışları işlemedeki bir hata düzeltildi. SWI-Prolog posta listesinde gösteren örneğin Ulrich NEUMERKEL için teşekkür ederiz.
• & quot başvurular eksik baskı uyarıları önlemek amacıyla Logtalk derleyici Güncelleme; genişleyen & quot; ve & quot; izleme & quot; yerleşik protokoller nesneler gibi modülleri derlerken.

kullanıcı & quot;
• sözde nesne & quot izin sürüm 2.39.2 değişiklikleri geri alınarak; hemen hemen tüm Prolog yerleşik yüklemler tanımını içerir. & Quot bağlamında meta yüklemleri çağırırken Bu özellikle, arka uç Prolog derleyici bağlı olarak farklı sonuçlara yol açabilir; kullanıcı & quot;.
• SWI-Prolog & quot bir hata düzeltildi; swihooks.lgt & quot; Aynı dizinde aynı isimde bir Logtalk kaynak dosyası olduğunda bir Prolog dosyası danışmanlık geçersiz Logtalk bayrağı hakkında sahte bir hata iletisinde sonuçlandı dosya.
• özel yerleşik B-Prolog, SICStus Prolog, SWI-Prolog, XSB ve YAP yapılandırma dosyalarına meta-yüklemleri.
eklendi eksik destek
• / 1 ve load_files / 2 dahili yüklemler danışmak için meta-yüklem şablonları geçersiz amacıyla SICStus Prolog, SWI-Prolog ve YAP yapılandırma dosyaları güncellendi.

meta & quot;;
• kütüphane nesnesine & quot bir map_reduce / 5 meta-yüklem bir uygulama eklendi.

cc & quot;
• / 1 yüklem & quot bir command_line_arguments bir uygulama eklendi; örnek.
• Güncelleme & quot; lambda'lar & quot; ve & quot; metapredicates & quot; Bir kat sol meta-yüklem kullanılarak Fibonacci sayıları hesaplamak için nasıl gösteren örnekler. Güncelleme & quot; metapredicates & quot; map_reduce / 5 meta-yüklem bir kullanım örneği ile örnek.
• Güncelleme & quot; problog & quot; örnek, yeni açıklamalı kopmalar sözdizimi için ön destek ekleyerek.

büyü & quot;
• & quot eklendi; freedesktop.org paylaşılan mim-bilgi veritabanı için Logtalk mime tipi dosyasına eleman.

sürüm 2.42.0 yeni Nedir:.

• kalıcı nesne bayrakları bir uygulama eklendi
• protokolü uygulaması ilişkisinin geçişli kapatılması uygulanması, built-in yüklemler, conforms_to_protocol / 2-3 yeni bir çift eklendi.
• ProbLog ve CHR gibi diğer dillerle Logtalk entegrasyonu desteklemek için, açıklama / 1 deneysel yönergesi eklendi.