Logtalk

Yazılım ekran görüntüsü:
Logtalk
Yazılım detaylar:
Versiyon: 2.44.1
Qayıt: 14 Apr 15
Geliştirici: Paulo Moura
Lisans: Ücretsiz
Popülerlik: 1

Rating: nan/5 (Total Votes: 0)

Logtalk Prolog programlama diline açık kaynak nesne yönelimli bir uzantısıdır. Nesne yönelimli ve olay güdümlü programlama ile mantık programlama entegre, en Prolog derleyicileri ile uyumludur.
Logtalk prototipleri ve sınıfları destekler. Buna ek olarak, bu kategori bazlı bileşimi yoluyla bileşen tabanlı programlama destekler

Özellikler :.

  • Ayırma arayüzü ve uygulama arasındaki:
  • Yüklem direktifler (bildirimleri) herhangi bir nesne ile uygulanabilir protokoller (arayüzler), içinde olabilir.

  • Parametrik nesneler:
  • Nesne adları Nesne yüklemler parametrize için kullanılabilecek ücretsiz değişkenleri içeren bileşik terimler olabilir.

  • hem sınıf temelli ve prototip tabanlı sistemler için destek:
  • olabilir, aynı uygulama, sınıf-temelli (uzatma ilişkileri ile) (örnekleme ve uzmanlık ilişkileri) hiyerarşileri ve prototip tabanlı hiyerarşileri.

  • birden fazla nesne hiyerarşileri için Destek:
  • gerek yok bazı genel nesne köklü bir tek uzun hiyerarşi kısıtlı olması.

  • Özel, korumalı ve kamu miras:
  • Logtalk C benzer bir şekilde korunmuş, özel ve kamu miras destekler. Ayrıca, herhangi bir varlık ilişkisi bir kapsam anahtar kelime kullanarak nitelikli olabilir.

  • Özel, korumalı ve kamu nesne yüklemler:
  • nesne ayarlayın kapsam protokol tasarımı maç ve çalıştırma sistemi seçimlerinizi uygulamak izin yüklemler.

  • Statik ve dinamik nesneler:
  • Nesneler statik veya dinamik olabilir. Statik nesneler derlenmiş ve Prolog dosyaları aynı şekilde yüklenir kaynak dosyalarında tanımlanmıştır. Dinamik nesne ya zamanında kaynak dosyalarında tanımlanan veya oluşturulabilir.

  • Statik ve dinamik nesne yüklemler:
  • herhangi bir statik nesne statik ve dinamik yüklemler hem içerebilir.

  • standart Prolog sözdizimi kullanabilirsiniz, böylece bir ön-işlemci:
  • Logtalk pürüzsüz bir öğrenme eğrisi için bir kaç operatörler ve direktiflerin yanı sıra standart Prolog sözdizimini kullanır.

  • Olay güdümlü programlama:
  • casusluk olayı meydana geldiğinde Yüklemler dolaylı nesne bağlantıyı minimize programlama çözümleri sağlayan, çağrılabilir. Buna ek olarak, olaylar davranışsal yansıması için destek sağlar.

  • Bileşen-tabanlı programlama:
  • Yüklemler herhangi bir kod çoğaltılması olmadan, hemen hemen herhangi bir nesne tarafından ithal edilebilir kategoriler içinde kapsüllü ve bağımsız nesne hiyerarşileri olabilir. Böylece, nesneler yeniden kullanım gibi ince taneli birimler kod hareket kategoriler, kompozisyonu ile tanımlanabilir.

  • Çoklu kalıtım desteği:
  • Logtalk protokolü ve uygulama hem çok miras destekler. Bir nesne birkaç protokolleri uygulamak ve genişletmek, uzmanlaşmak, ya da birkaç nesne örneğini verebilir. Çok miras çatışmalar Logtalk arama algoritmaları tarafından veya açıkça yüklem direktifleri kullanarak dolaylı çözülür.

  • iyi performans:
  • Logtalk kodu verimli Prolog kod yazmak için kullandığınız teknikleri kullanılarak derlenmiş olup. Buna ek olarak, yöntem aramalarını büyük ölçüde performansını artırmak, Logtalk zamanı motoru tarafından önbelleğe alınır. Bazı Prolog derleyicileri için Benchmark sonuçları burada mevcuttur.

  • ISO Prolog Standardı ile yakın entegrasyon:
  • Logtalk ISO Prolog Standart uygun veya yakından takip herhangi bir Prolog derleyici ile pürüzsüz entegrasyon için tasarlanmıştır.

  • en Prolog derleyicileri ile uyumlu:
  • neredeyse herhangi bir modern bir derleyici ile uyumlu hale minimal yapılandırma dosyası üzerinden belirli bir Prolog derleyici ile Logtalk arayüzleri.

  • XML belge dosyalarının otomatik nesil:
  • Logtalk otomatik olarak her derlenmiş nesne, protokol, ya da kategori için XML biçiminde bir belge dosyası oluşturur. Sistem dosyaları belgeleyen dönüştürmek için gerekli tüm XSL (T) dosyaları ve komut dosyalarını içerir (X) HTML ve PDF.
  • Logtalk bir Prolog derleyici (ana geliştirme ortamı MacOS X çalıştıran bir Apple PowerBook G4) ile hemen hemen her bilgisayar üzerinde çalışır. logtalk ve belirli bir Prolog derleyici arasındaki arayüz bir yapılandırma dosyası üzerinden gerçekleştirilir.
  • Bu dosya Prolog derleyici mevcut ISO Prolog standart bazı Logtalk özel yüklemler ve uygulamaları değil yüklemleri içeriyor.

  • Logtalk yazarken ben mümkün olduğunca Prolog ISO standardı takip etmeye çalıştık. ISO standardı Bölüm I tanımlı değil logtalk tarafından ihtiyaç duyulan yetenekleri şunlardır:

  • erişim özelliklerini (dinamik, statik, built_in) yüklem için:
  • sevdiğiniz Prolog bir yapılandırma dosyası çok kolay hale yukarıda belirtilen bu yeteneklere sahiptir şartıyla. Logtalk paketi zaten en yaygın Prolog derleyicileri için yapılandırma dosyalarını içerir. En iyi performans için, Logtalk Prolog derleyici statik ve dinamik kod hem de ilk argüman endeksleme destekler gerektirir.

  • Logtalk gelişimi ve test şu anda (alfabetik sırayla) aşağıdaki Prolog derleyicileri kullanılarak yapılır:
  • GNU Prolog 1.2.18
  • SWI Prolog 5.4.7
  • YAP 4.5.7

  • Bunun, bu senin en iyi seçenek Logtalk çalışan muhtemelen Çünkü
  • (bu derleyiciler birini kullanmak için ücretsiz şartıyla).

  • :
  • Ayrıca, Logtalk (alfabetik sırayla) aşağıdaki Prolog derleyicileri ile çok az ya da hiç değişiklik ile çalışır
  • 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'nın MacProlog32 1.25
  • Tekniği WinProlog32 4.0x
  • MasterProlog 4.1
  • Açık 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

Bu sürümdeki yeni nedir:

  • & quot aramak için mekanizma mesaj gönderme Modifiye, önce & quot; yöntem arama yapmadan önce olay işleyicileri. Bu değişiklik (örneğin bir mesaj anlaşılamamıştır bir istisna atma yerine başarısız) Mevcut kod üzerinde hiçbir etkisi yok ama bazı ilginç uygulamaları sağlayan gerekir.
  • derlerken / bayrak ayar değerlerini bir dosya yükleme ve / 2 dahili yüklemi set_logtalk_flag kullanırken arasındaki derleyici bayrakları Daha tutarlı kullanım: Her iki durumda, ayar & quot; smart_compilation & quot; kapanacaktır bayrak & quot; temiz & quot; bayrak ve ayar & quot; temiz & quot; kapanacaktır bayrak & quot; smart_compilation & quot; bayrak. Ayrıca, & quot ayarı, hata ayıklama & quot; bayrak kapanacaktır hem & quot; smart_compilation & quot; ve & quot; temiz & quot; bayraklar.
  • verir yumuşak kesim kontrol yapısı, (* - & gt;) yerel arka-uç Prolog derleyici tarafından desteklenen zaman GNU tartışırken / 2, Daniel Diaz bir tespite sonra (dilbilgisi kurallarının vücutta kullanılmak üzere yumuşak kesme kontrol yapısı için Prolog desteği).
  • Logtalk derleyici hata düzeltildi zaman & quot; source_data & quot; bayrak bir okuma dönemi konumunu almak mümkün değildir arka-uç Prolog derleyicileri ile ilgili olduğunu.
  • ilk meta-argüman doğru işlenir ki sadece meta_non_terminal / 1 direktifin derleme bir hata düzeltildi.
  • Windows 64 bit sistemlerde çalışırken tespit etmek ve dışı yüklem ve olmayan 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üncelleştirildi.

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

  • Mi & quot;
  • & quot nesnelerin isimlerini değiştirdi; örnek ünite testleri çalıştırırken örnek bir ad çakışması önlemek için.
  • YAP 64 bit sürümleri algılama engelledi, Windows yükleyicisi bir hata düzeltildi. Hata raporu için Stepan ipatov için teşekkürler.
  • kurulum dizini özelleştirme kullanıcıların engelledi, Windows yükleyicisi bir hata düzeltildi. Hata raporu ve hata teşhisi için Gavin Lambert Daniel Moniz için teşekkürler.
  • XSB gelişmiş algılama için Windows Yükleyici komut Güncelleme ve Logtalk zaten yüklü olan bir bilgisayarda bir yönetici olmayan kullanıcı tarafından çalıştırdığınızda, yalnızca kullanıcı başına dosyalarını yüklemek için varsayılan.

  • Listeleri & quot;, paket
  • LaTeX & quot temel desteği eklendi. Eklendiği notlar & quot; darp & quot; ve & quot; texmates & quot; LaTeX paketi.
  • Textastic iPad metin editörü tarihinde eklendi notlar.
  • UltraEdit metin editörü temel sözdizimi renklendirme ve kod katlama desteği eklendi.
  • TextMate TextMate 2.0 geliştirme sürümünde tanıtılan otomatik girinti düzeltmeleri devre dışı bırakmak için paket güncellendi.

sürüm 2.44.0 yeni nedir:

  • Her iki yama izin kategoriler tamamlama değiştirildi semantik yüklem beyanlar ve tamamlanmaktadır nesnelerin yüklem tanımları. Bu, yüklem beyan ve tanımı aramaları tamamlanmaktadır nesnenin kendisi içine veya ilgili kuruluşlara bakarak önce tamamlayan kategorilerinde başlar sağlanarak gerçekleştirilir.
  • kapalı kategorileri tamamlayan desteği ile derlenmiş bir tamamlanmaktadır nesne için bir tamamlayıcı kategori derlerken bir uyarı oluşturmak için Logtalk derleyici Güncelleme.
  • hata arama bağlam & quot atanabilir meta-yüklemler için meta-çağrıların işleme düzeltildi; bu & quot; yerine & quot; & quot gönderici; Bir meta-argüman :: / 2 biri, {} oldu her / 1,

sürüm 2.43.3 yeni nedir:

  • kullanımları dikkate almak derleyici değiştirildi / Yansıma yerleşik yöntemleri aramaları derleme 2 direktifi. Bu değişiklik kullandığı / 2 direktifin semantik uzanır ve logtalk düz Prolog uygulamalarından daha kolay göç veriyor.
  • kapsam / 1 özelliği ekleyerek, predicate_property / 2 dahili yöntemin uygulanması Güncelleme.
  • kaynak dosya adı, kaynak dosya dizini, ve oluşturulan Prolog dosyaları kaynak dosya derleyici seçenekleri hakkında bilgi eklemek için Logtalk derleyici Güncelleme. Bir kaynak dosyasını yüklerken önceki sürümlerinde, bu bilgiler sadece kayıtlı edildi. değişiklikler Logtalk kütüphaneler derlenmiş ön ve önceden yüklenmiş olan bina uygulamaları kolaylaştırmak.
  • kaynak dosyaları derlenmesinde kullanılan kanca nesnenin adını yazdırmak için Logtalk derleyici Güncelleme zaman & quot; kanca & quot; derleyici bayrağı tanımlanır.
  • dahili hata ayıklayıcı olan / 1 uygulanmasını geri aramalar deterministik yapmak mantıklı güncelleme semantik yararlanmak için başarısız arka-uç Prolog derleyicileri tarafından oluşturulan gereksiz seçim noktalarını önlemek için.
  • Güncel
  • varlık varlığı durumlar atma zaman iç varlık tanımlayıcıları koda başarısız Logtalk derleyici zamanı işleyicisi bir hata düzeltildi.
  • İç Logtalk zamanı tablolar tarafından kullanılan dinamik yüklemler bazı endeksi / 1 direktifleri ekleyerek, Yalın Prolog yapılandırma dosyasını güncelleştirildi.
  • just-in-time çoklu-argüman indeksleme için yeni deneysel SWI-Prolog desteği ile önerilmemektedir endeks / 1 direktifi, kullanılabilirliği test etmek için SWI-Prolog entegrasyon dosyaları güncellendi.
  • Eklendi altsekansı / 4 (belirli bir uzunlukta bir liste altdizileri ü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; & 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.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 direktifin semantik uzanır ve logtalk düz Prolog uygulamalarından daha kolay göç veriyor.
  • coinductive / 1 direktifine argüman olarak bir yüklem şablonu kullanarak 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üklemler 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 uygulaması gereklidir yerleşik yüklem veya kontrol yapısının bir yumuşak kesim, yoksun.
  • bagof / 3 ve SETOF / 3 dahili gol argüman ^ / 2 varoluşsal nicelik kullanabilir her yöntemler.
  • için sarıcı yüklemler kullanıcı tanımını engelledi uzun soluklu bir sınırlama kaldırdın
  • & quot desteği eklendi; ^ & quot; Meta-yüklem meta-argüman mod belirleyici Jan Wielemaker tarafından önerilen ve SWI-Prolog 5.11.25 bulundu. Gol argüman ^ / 2 varoluşsal nicelik kullanabilir her bagof / 3 ve SETOF / 3 dahili yöntemler sarıcılarıdır tanımlarken Bu mod belirleyici yararlıdır.
  • Eklendi & quot; prolog_compiler & quot; ve & quot; prolog_loader & quot; arka sonuna kadar diske derlemek ve bir (derlenmiş) Prolog bayrağı yüklemek Prolog derleyici yerleşik yüklemleri seçenekleri geçirerek izin derleyici bayrakları. Her iki bayraklar için varsayılan değer boş liste.

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

  • Parametrik kategorilerde çalışırken önbelleğe girişleri gerekli olandan daha spesifik olabilir kategori yüklemler çağrı önbelleğe
  • performans hata düzeltildi.
  • & quot önbelleğe Geliştirilmiş; süper & quot; prototip içinden çağırır. Daha önce, tüm önbelleğe alınmış girişleri & quot değeri ile uzman olacaktı; kendini & quot; düzgün bir nesne hem başlatır ve diğer nesneleri uzmanlaşmış özel durumlarda başa için.
  • direktifleri ihtiva varlıkların derleme sırasında yüklemi kapsamı direktifleri bulunan herhangi bir operatör bildirimleri etkinleştirmek için Logtalk derleyici Güncelleme.
  • yumuşak kesme kontrol yapısı sağlar, ancak yumuşak kesim vermeyin gibi SICStus Prolog gibi arka uç Prolog derleyicileri kullanarak coinductive yüklemler performansı Geliştirilmiş dahili meta-yüklem (/ 3 varsa).
  • derleyici bayrağı & quot yüklü bir kaynak dosyası derlenmiş zaman derleme / yükleme uyarıları sahte rapor yazdırılır olabilir hata / düzeltildi; raporu & quot; kapalı.

  • Streamvars & quot;
  • & quot eklendi; Mevcut & quot türetilmiş kütüphane nesne; assignvars & quot; akışı & quot; bir & quot gelen (değişkenler olabilir) terimler ekleyerek ve almak için destek içeren kütüphane kategori; değişken.
  • Güncelleme & quot; coinduction & quot; örnek, gelişmiş coinductive / 1 direktifin yararlanarak ve SICStus Prolog kullanılarak çalıştırılabilir bireysel örnekler sayısını genişletmektedir. Neda Saeedloei katkıda model, örnek kontrol coinduction kullanarak, coroutining ve kısıtlamaları, eklendi.
  • Güncelleme & quot; metapredicates & quot; Meta-argüman varoluşsal nitelikli değişkenleri içerebilir zaman bagof / 3 ve SETOF / 3 dahili yöntemleri için sarýcýlarý nasıl tanımlanacağı gösteren örnek kodla örnek.
  • & quot Güncel, cc & quot; örnek, birkaç arka-uç Prolog derleyicileri için yüklem tanımları düzeltme ve bazı temel birim testler ekleyerek.
  • Güncelleme & quot; kodlamalar & quot; Yalın Prolog için sınırlı desteği ile örnek.
  • meta_non_terminal / 1 direktif ve çağrı // N olmayan terminali için eksik girdileri 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 eklendi 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ırmak amaçlamaktadır. LOGTALKHOME ortam değişkeni tanımlı değil Buna ek olarak, aynı zamanda $ HOME / payının Logtalk kurulum dizini arayın. Öneri için VATOR Santos Costa için teşekkür ederiz.
  • Yalın Prolog desteklemek ve YAP 64 bit sürümleri tespit etmek amacıyla, Windows yükleyici Güncelleme.

sürüm 2.43.0 yeni nedir:.

  • Yalın Prolog için deneysel destek eklendi
  • Logtalk derleyici ve çalışma zamanı tarafından değiştirildi hata raporlama. Tüm istisna şartları artık mümkün, hata, kullanmak (Hata, logtalk (Gol, Varlık))
  • biçimi. , Her pratik, yeni '$ lgt_must_be' / 2-3 dahili yüklemler kullanmak için kontrol iç hatayla değişti.
  • & quot eklendi; optimize & quot; Varsayılan değer olan & quot olan bayrak; üzerinde & quot ;. Bu bayrak kullanıcı örneğin mevcut optimizasyonlar kapatmak için izin verir hata ayıklama görevleri (
  • anda uygulanan optimizasyonlar derlenmiş yüklem maddelerinin vücuttan gerçek / 0 gereksiz aramaların kaldırılmasını ve kaldırılması,

  • Dilbilgisi kuralları genişlemesi tarafından oluşturulan maddelerinin vücuttan (=) / 2)
  • gereksiz çağrılar.
  • Eklenenler & quot; source_data & quot; Varsayılan değer olan & quot olan bayrak; üzerinde & quot ;. Bu bayrak & quot set ile; & quot ;, üzerinde Logtalk modu / 2 kullanılarak temsil bilgilerini tutacak,
  • bilgi / 1-2, kullanışlı / 2, ve use_module / 2 direktiflerine artı (kaynak dosya isimleri ve satır numaraları dahil) kaynak konum verileri kullanır hem hata ayıklama için
  • ve geliştirme araçları ile entegrasyon için. Bu bayrak daha kompakt kodu oluşturmak için kapatılabilir. parameter_names / 1 nesne ve
  • kategori özelliği gereksizliği önlemek amacıyla çıkarılır.
  • nesneler, protokoller ve kategoriler için / 1 özellikleri / 1 korumalı ve özel Uygulanan. Birlikte kamu / 1 özelliği ile, bu özellikleri

  • Varlık beyan yüklemler listesini veriyor
  • yansıtıcı hesaplamalar için erişilebilir. Uygulanan, / 2 beyan / 2 tanımlar içerir / 3
  • ve yüklemler ilan ve bir işletmenin içinde tanımlanan özelliklerini erişmek için / 3 özellikleri sağlar. Deklarasyon özellikleri line_count / 1, yüklem kapsamı yönergesinin satır numarasını içerir. Tanım özellikleri line_count / 1, ilk
  • başkanı satır numarası dahil
  • yüklemi için tümcesi ve number_of_clauses / 1, yüklem maddelerinde sayısı. Ayrıca deneysel kullanır / 3 ve use_module / 3 özellikleri uyguladı.
  • yeniden bir yüklem tanımını içeren nesneyi veya kategori hakkında sorgulama izin, redefined_from / 1 yüklem özelliği eklendi.
  • Bir loaded_file / 3 yüklemi eklendi & quot; logtalk & quot; Yerleşik mevcut loaded_file / 2 yüklemi tamamlayan ve
  • erişim sağlar nesne,
    Dosya derlenmiş ve yüklendi
  • açık seçenekler kullanılır.
  • meta_non_terminal / 1 direktif ve arama için Uygulanan derleyici desteği // N yerleşik olmayan terminali.
  • dilbilgisi kuralı sigara terminal kapsamı ve varlığı hataları ile başa çıkmak için destek kaldırarak dilbilgisi kurallarının derleme Basitleştirilmiş
  • yerine yüklem düzeyinde. Dilbilgisi kurallarını ayıklarken bu özellik yararlı olabilir rağmen, Prolog-yerli geliştirme araçları ile logtalk entegrasyonunu karmaşık.
  • varlık şartı yerleri kaydedebilir ve Prolog derleyicileri arka sonuna kadar bu bilgi mevcut yapmak için Logtalk derleyici Güncelleme.
  • dinamik varlıklar için yüklem beyanı ve tanımı tablolar için gereksiz iç herkesi kucaklayan hükümler üretmekten kaçınmak için Logtalk derleyici Güncelleme.
  • nesne kapsülleme bozduğu için multifile yüklemler kullanarak engel amacıyla Logtalk derleyici Güncelleme. Birincil beyan
  • İşletme kapsam ve yüklem için multifile direktif ikisini de içeren, bulunmalıdır. Buna ek olarak, bir multifılde için hükümler tanımlayan
  • Şimdi yerine sadece bir uyarı bir derleme hatası neden olur multifile / 1 direktifi gelen olmadan Varlık :: Funktör / Arity.
  • 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ştirilmiş.
  • 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ştirildi ile entegrasyonu kolaylaştırmak amacıyla yerleşik çoklu iş parçacığı yüklemler uygulanmasında kullanılan iç yüklemler

  • Oluşturulan Prolog kod derlemeye gerektirir
  • üst düzey hata ayıklama araçları.
  • senkronize yüklemler çağrı varlık yüklemler derleme logtalk 2.42.4 tanıtılan bir hata düzeltildi. Çağrıları sonuçlandı Bu hata
  • iplik hedefleri rastgele başarısızlıkları ortaya çıkacağını yüklemler olmayan senkronize formları, yerine yapılan.
  • düzeltildi bir kategori içinde bir çalışma zamanı derlenmiş meta-arama nesnesinin bir yüklem
  • bir çağrı olarak derlenmiş olacak uzun soluklu hata
  • Yerel kategori yüklemi bir çağrı olarak yerine kategoriyi ithal.
  • düzeltildi varlık bayrak değerleri set_logtalk_flag kullanarak yerel ayarlanmış bir uzun ayakta hata / 2 direktif varlık içine kaydedilecek başarısız olur
  • derlenmiş kodu.

  • / 1 yöntemi kaldırılması olmayan bir prototip nesnesine dinamik bir yüklemi kaldırılması
  • düzeltildi uzun soluklu hata olmadan başarılı olur
  • yüklem aslında kaldırılmaktadır.
  • bağlamında bir çalışma zamanı derleme gerektiren bir meta-argüman çağrılırken doğru yürütme içeriği belirlenmesinde bir hata düzeltildi
  • & quot; gönderen & quot;.
  • modül yeterlilik
  • düştü olacağını meta-yüklemler modül açık nitelikli aramaların derleme bir hata düzeltildi
  • derlenmiş çağrı. Meta-argümanlar
  • çerçevesinde adı verilecek, yani bu çağrılar (Logtalk meta-yüklem semantiklerini kullanacağını unutmayın
  • arayan) yerine her zamanki Prolog modülü meta-yüklem semantik.
  • kullanırken coinduction yığınları başlatılmadı bir hata düzeltildi

nedir sürüm 2.42.4 Yeni:

  • Bu sürüm içerir derleyici, çalışma zamanı ve çok Performans iyileştirmeleri diş, senkronize / 1 ve dinamik / 1 direktiflerine için derleyici hata iletileri geliştirir dosyaları belgeleyen operatör kapsamı bilgiler korumak ve otomatik olarak oluşturulan XML bu bilgileri çıktısı için destek ekler, logtalk nesnesine yeni programı yüklemler ekler, birkaç programlama artırır örnekler, Çu-Prolog, SICStus Prolog, SWI-Prolog, XSB ve YAP.
  • taşınabilirlik güncelleştirmelerini Windows üzerinde SWI-Prolog kaldırıcı hata için geçici bir çözüm içerir ve özellikleri

nedir sürüm 2.42.3 Yeni:

  • Bu sürüm dinamik yüklemler çağırmak için destek ekler & quot bağlamı, bu & quot; kategoriler içinden, SICStus Prolog CLP (FD) kütüphane kullanırken indexicals için destek, bir deneysel örnek ekler ekler, gelişmiş kütüphaneleri ve örnekler içerir, önceden derlenmiş fıkra başkanları için destek ekler yerleşik hata ayıklayıcısını onarımları ve geliştirmeler içerir nesneler ve kategoriler içinde atfedilen değişkenleri kullanarak, ve Eclipse, GNU Prolog, SICStus Prolog ve SWI-Prolog için taşınabilirlik güncellemeleri sunuyor.

nedir sürüm 2.42.2 Yeni:

  • Bu sürüm yüklemler modül aramaların derleme artırır ,, meta-yüklem aramalar meta-argümanlar kontrol geliştirir lambda ifadeleri desteğini geliştirir, kütüphane meta-yüklemler aramalar için bir optimize derleyici içerir, geliştirir, zamansal aralık ilişkileri ile çalışan ve tamsayı sayaçlarını kullanarak, günlük olaylar için yeni kütüphaneler ekler Mevcut örnekler ve kütüphaneler, GNU Prolog, Çu-Prolog, SICStus Prolog, SWI-Prolog ve XSB için taşınabilirlik güncellemelerini JavaScript tabanlı SyntaxHighlighter paketini kullanmak için destek ekler ve özellikleri.

nedir sürüm 2.42.1 Yeni :

  • Bu sürüm yeni meta-yüklem modu için destek ekler Dahili meta-yüklemler daha Prolog ANLAMINDA için destek sağlayan göstergeler.
  • Destek dinamik / 1 ve bitişik / 1 direktifleri eksik tespit ve raporlama eklendi.
  • Yeni tüy bırakmayan bayrağı eklendi.
  • İki meta-yüklem derleme hata düzeltildi.
  • örneklerden bazıları güncellendi.
  • Taşınabilirlik güncellemeler B-Prolog, SICStus Prolog, SWI-Prolog, XSB ve YAP için yapılmıştır.

Geliştirici Diğer yazılım Paulo Moura

Logtalk
Logtalk

11 Mar 16

Yorumlar Logtalk

Yorum Bulunamadı
Yorum eklemek
Görüntülerde açın!