Logtalk

Yazılım ekran görüntüsü:
Logtalk
Yazılım detaylar:
Versiyon: 3.38 Güncelenir
Qayıt: 4 May 20
Geliştirici: Logtalk
Lisans: Ücretsiz
Popülerlik: 25
Boyut: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        Logtalk, Prolog uygulamalarının çoğunu arka uç derleyici olarak kullanabilen, nesne yönelimli bir mantıksal programlama dilidir. Çoklu paradigma dili olarak, Logtalk hem prototipler hem de sınıflar için destek, protokoller (arayüzler), kategori tabanlı kompozisyon, olay odaklı programlama ve yüksek seviyeli çoklu iş parçacığı programlama yoluyla bileşen tabanlı programlama içerir.
    

Bu sürümde yeni :

* GELİŞTİRİLMİŞ: Gerçek meta-çağrı değişkenleri yan tümce.


* İYİLEŞTİRİLDİ: Bir `çağrı // 1 'sarıcı gerektirmeden dilbilgisi kurallarında lambda ifadelerini kullanmanıza izin ver.


* SABİT: Sonuç hedefi, bir kullanıcı yüklem tanımının satır içi olması nedeniyle bir Prolog yerleşik yüklemine yapılan bir çağrı olduğunda, kapatma meta-argümanı derlemesindeki optimizasyon hatasıdır.


* SABİT: Sonuç hedefi bir Prolog `: / 2` kontrol yapısına çağrı olduğunda kapatma meta-argümanının derlenmesinde optimizasyon hatası.

Yeni nedir? 3.19 sürümü:

* EKLENDİ: Lint için ek Prolog yerleşik yüklemlerinin tanımlanması için destek
bağdaştırıcı dosyalarına her zaman doğru veya yanlış olan hedeflerin denetimleri
kanca, '$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1 'değerini belirler.


* EKLENDİ: Derlemeden kaynaklanan nesneler için nesne özelliği modülü
Prolog modüllerinin


* EKLENDİ: yerleşik yöntemler `syntax_error / 1 'atma kolaylığı hatası ve
`System_error / 0`. Bu yöntemler standart `error / 2` istisna koşullarını atar
ve "context / 1" ve "throw / 1" yöntem çağrıları dizisine eşdeğerdir.


* SÖKÜLMÜŞ: Kullanımdan kaldırılmış Logtalk 2.x `çağrıları / 1` desteği, / 1` kullanır ve
diğer ad / 3 yönergeleri.


* SÖKÜLMÜŞ: Kullanımdan kaldırılmış Logtalk 2.x `: / 1` kontrol yapısı desteği.


* ÇIKARILDI: Kullanımdan kaldırılan Logtalk 2.x `unknown`,` singletons` için destek,
'tmpdir' ve `version` derleyici bayrakları.

Yeni olan nedir? 3.14 sürümünde:

* GELİŞTİRİLDİ: Düzenleyiciler ve IDE'ler tarafından ayrıştırmayı kolaylaştırmak ve potansiyel olarak büyük terimler yazdırmaktan kaçınmak için bunları daha muntazam hale getirmek için derleyici uyarı ve hata mesajları.


* GELİŞTİRİLDİ: Derleyici artık veritabanına çağrı gerektirmiyor ve yansıma, ilk argümanın `{} / 1` derleyici bypass kontrol konsolu kullanılarak sarılacak bir modül-nitelikli terim olduğu yerde tahmin ediyor.


* GELİŞTİRİLDİ: Veri tabanı ve yansıma için derleyici hata denetimi, ilk argümanın bir modül-nitelikli terim olduğu aramaları başlatır.


* GELİŞMİŞ: 'logtalk_make / 0-1' yüklemelerine yapılan çağrıların tetiklediği dosya yeniden yükleme sayısını en aza indirir.


* SABİT: 'logtalk_make / 0-1' yüklemesinin, derlemenin bir derleyici hatası oluşturduğu bir dosyayı yeniden yükleyemediği durum.

Sürüm 3.11'de yeni olan nedir? : p>

* DEĞİŞTİRİLDİ: Yerleşik yüklemi "current_event / 5" her zaman, ilk bağımsız değişkeni, çağrılmadan bağlandığında çağrılır.


* EKLENDİ: Tanımlayarak varsayılan çizik dizinini geçersiz kılma desteği
bir arka uç Prolog başlatma dosyasındaki "scratch_directory" kütüphanesi
(Logtalk yüklemesinden önce yüklenmiştir). İle bir tartışmadan sonra
Douglas R. Miles, Logtalk'ın salt okunur bir dizinde kurulmasını destekliyor
ve çakışma olmadan eşzamanlı olarak birden çok Logtalk örneğini çalıştırmak.


* EKLENDİ: erişim sağlamak için A bağlam / 1 'yerleşik içerik yürütme yöntemi
bir çağrı yürütme bağlamına. Temelde bir varsayılan sağlamak için kullanılır
yazım denetimi argümanlarını yazarken hata içeriği.


* EKLENDİ: `Debug` ve` debug (_) `türündeki mesajları yazdırmak için destek. Bunlar
Mesajlar, sadece 'debug' bayrağı açıldığında varsayılan olarak yazdırılır.


* EKLENDİ: Özellik `` logtalk :: loaded_file_property / 2` için (File) `içerir
numaralandırmaya izin vermek için, geri
yüklenen dosya (`include / 1` direktiflerini kullanarak).

Yeni olan nedir? 3.10.7 sürümünde:

* RENAMED: `logtalk_make / 1`` `` `` `` `` `` `` `` `` `` `` `` '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' ile '' '' '' '' '' '' '' '' '' '' '' '' '' '' '' '


* EKLENDİ: tanımlı kullanıcı ile `logtalk_make / 1` hedeflerini genişletmek için destek
Yeni multifile yüklemi `logtalk_make_target_action / 1 'kullanarak eylemler.


* EKLENDİ: Derleyici tint, tautology ve falseity varlık hedeflerini kontrol eder.
Şu anda kontrol edilenler, Prolog birleştirme, karşılaştırma ve türüne çağrılardır
yerleşik yüklemleri sınama. Barry Evans tarafından önerildi.

Yeni olan nedir 3.10.5 sürümünde:

* SABİT: Meta çağırma yürütme sırasında 3.10.2 sürümünde uygulanan regresyon bağlamda yerleşik yöntemler.

* DÜZELTİLDİ: Taşınabilirlik denetimleri, yardımcı maddelerde bulunan Prolog yerleşik yüklemleri ve işlevlerine yapılan çağrılara (genellikle genişleme mekanizması tarafından oluşturulan) taşınabilirlik denetimleri uygulamasından kaynaklanan derleyici hatası.

Yeni olan nedir sürüm 3.10.3:

* GELİŞTİRİLMİŞ: Çok yönlü yüklemeler için basitleştirilmiş kod oluşturuldu.


* DÜZELTİLDİ: Bir önceki sürümdeki çoklu yayın derlemesindeki regresyon
':: / 1-2' denetim yapılarına çağrı yapan yüklem cümleleri.

Sürüm 3.09.1'deki :

:

* EKLENDİ: "number_of_rules / 1" ve "number_of_user_rules / 1" nesnesinin desteği
ve kategori özellikleri.


* EKLENDİ: 'number_of_rules / 1' yüklemi özelliği desteği.


* EKLENDİ: Bir hedefi yanlış belirten meta_predicate / 1` direktiflerinin algılanması
aslında bir kapanış olan meta-argümanı `call / 2-N` meta-yüklemine geçti
çağırır. Rapor için Arun Majumdar'a teşekkürler.


* EKLENDİ: Varlığında eksik yüklem kapsamı direktiflerinin tespit edilmesi
"mode / 2` direktifleri.

Sürüm 3.09.0'da yeni olan :

* DEĞİŞTİRİLDİ: Ayarlar dosyaları artık kullanıcıya da bakılıyor ev dizini
Başlangıç ​​dizininde veya Logtalk kullanıcı dizininde bulunamadığı zaman.
'Settings_file' işaretini 'restrict' olarak ayarlamak artık aramayı kısıtlıyor
Logtalk kullanıcı dizinine ve kullanıcı giriş dizinine bir ayar dosyası.
Bu değişiklikler, bir ekip her ikisi de bir Logtalk yüklemesini paylaştığında kullanışlıdır
"LOGTALKHOME" ve "LOGTALKUSER" ortam değişkenlerini işaret eden
aynı dizin Öneri için Barry Evans'a teşekkürler.

3.08.0 sürümünde yeni :

* DEĞİŞTİRİLDİ: Derleyici hatası ve uyarı iletilerinde olduğundan emin olun. dosya ve satır bilgileri her zaman bildirilen sorun için son satırdır.

Sürüm 3.07.0'da yeni: :

* EKLENDİ: Backend Prolog derleyicisini tanımlamak için A unicode 'salt okunur bayrağı
Unicode standardı için destek.


* EKLENDİ: `++` (ground) ve `--` (unbound) argüman örneği için destek
"mod / 2" yüklemi ile kullanılacak modlar (önek işleçleri olarak bildirilir)
direktif.


* EKLENDİ: `mode / 2`'deki` one_or_error` determinizm belirtimi desteği
yüklem yönergeleri. Tip kontrol eden yüklemleri belgelemek için kullanışlıdır.


* GELİŞTİRİLDİ: Varoluşsal olarak nicelendirilmiş hedefleri arama girişimlerini algıla.
bagof / 3` ve “setof / 3” çağrılarının kapsamı.


* SABİT: `use / 2` direktiflerini derlerken, için bir bağlama maddesi oluşturmayın.
hiçbir takma ad tanımlanmadığında "kullanıcı" öğesinde yerleşik yüklemler için çalışma zamanı.


* SABİT: Bir dosya için bir derleme hatasını ana dosyalarına iletirken,
Üst atadan başlayarak dosya atalarının yeniden yüklenmesini sağlayın
make mekanizması ile.


* SABİT: 'logtalk_make / 0' çağrılırken gereksiz dosya yeniden yüklenmesinden kaçının veya
`all` hedefi ile logtalk_make / 1`.


* SABİT: Arama yaparken `^ / 1` çağrılarında eksik yüklemlerin algılanması
`Kayıp`` ile logtalk_make / 1`.

* SABİT: Yansıtma API'sinde bazı yüklemeli çapraz referanslamanın yapıldığı hata
bilgi kaydedilmedi. Hata raporu için Edward Schwartz'a teşekkür ederiz.

3.06.2 sürümünde yeni nedir:

Bu sürüm, aşağıdaki geliştirici araçlarını iyileştirme çalışmalarını sürdürmektedir. Kyndi, Inc.'in sponsorluğunda, basit Prolog uygulamalarını ve lgtunit ve diagram araçları için geliştirmeler ve düzeltmeler yapmak için sarma aracının yeni bir sürümünü içerir. Ayrıca yeni birim testleri, derleyici ve dokümantasyon düzeltmeleri ve Yalın Prolog için bir uyumluluk güncellemesi de içerir.

Yeni olan nedir? 3.04.1 sürümünde:

* DÜZELTİLDİ: Compile_aux_clauses / 1 'yöntemini çağırarak terimi genişletilmiş bir yüklemenin, discontiguous olarak bildirilemeyeceği derleyici hatası.


* SABİT: "Kullanıcı" sözde nesnesi içinden "threaded_notify / 1" yerleşik yüklemesine yapılan çağrılar, belgelere göre bir bağımlı bağımsız değişken gerektirmemelidir.


* SABİT: 'object_property / 2' ve category_property / 2 'yerleşik aramaları, deterministik olmak üzere `number_of_clauses / 1' veya` number_of_user_clauses / 1 'özellik argümanlarıyla yapılır.

Nedir? 3.03.0 sürümünde yeni :

* EKLENDİ: Eksik varlıkları ve yüklemeleri listelemek için yeni bir `logtalk_make / 1 'hedefi,' kayıp 'desteği. Ayrıca, {{}} kısayolunu kullanarak da kullanılabilir.

* EKLENDİ: nesnelerin çiftleri ve triosları arasında döngüsel referansları (mesaj gönderme hedefleri dikkate alınarak) listelemek için yeni bir `logtalk_make / 1 'hedefi,' dairesel 'desteği. Ayrıca, {@} kısayolunu kullanarak da kullanılabilir.

* GELİŞTİRİLMİŞ: Katıştırmak için aynı dizindeki tüm ara dosyaları toplarken dosya adı çakışmalarını engellemeye yardımcı olmak için ara Prolog dosya adlarına bir dizin karması ekleyin. Şu anda ECLiPSe, GNU gerektirir
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB, veya backend derleyici olarak YAP.

* SABİT: Bir meta-argüman ya önceden derlenmiş bir kapatma ya da bir bağlam için çağrılan bir hedef için bir kapanma olduğunda meta-yüklem çağrı optimizasyonu hata
"kullanıcı" sözde nesne. Ayrıca meta argümanları kapatmak için daha sıkı bir hata kontrolü uygulayın.

* SABİT: Hata ve uyarı iletilerinde parametrik nesne ve parametrik kategori tanımlayıcılarının güzel baskısı.

Sürüm 3.02.2'de yeni olan :

* SABİT: lambda olarak `true / 0` kullanarak lambda ifadelerinde hata kontrolü yapılırken hata oluştu
hedef. Hata raporu için Boris Vassilev'e teşekkürler.


* SABİT: `logtalk_make / 1` yüklemesi başarılı olur (bir uyarı yazdırdıktan sonra
ileti) yerine örneklenmemiş veya geçersiz bir argümanla çağrıldığında
başarısız. göre
daha iyi bir multifile yüklemi kullanarak orta Prolog dosyaları oluşturulur
gömme deneyimi. Özellikle, artan katıştırmayı kolaylaştırır.


* GELİŞTİRİLDİ: make artık dosyaları ile dosyaların ana dosyalarını yeniden yüklemektedir
derleme veya yükleme hataları. Bu, hatalı bir dosya iptal edildiğinde,
Bir yükleyici dosyasındaki tüm dosyaların derlenmesi, hatalı olduktan sonra listelenen dosyalar
Hatalı dosya sabitlendiğinde ve make yüklemleri yapıldığında dosya derlenecek
Aradı.

Sürüm 3.02.1’de yeni: :

* GELİŞTİRİLDİ: Yüklü dosyalar için çalışma zamanı tablosu girdileri, daha iyi bir gömme deneyimi için çok yönlü bir yüklemeyi kullanarak oluşturulan ara Prolog dosyalarına eklenmiştir. Özellikle, artan katıştırmayı kolaylaştırır.
 * GELİŞTİRİLDİ: make artık dosyaları derleme veya yükleme hataları ile dosyaların ana dosyalarını yeniden yüklemektedir. Bu, hatalı bir dosya bir yükleyici dosyasındaki tüm dosyaların derlenmesini iptal ettiğinde, hatalı dosyadan sonra listelenen dosyaların hatalı dosya sabitlendiğinde ve make yüklemlerinin çağrılmasıyla derlenmesini sağlar.

Sürüm 3.01.2’de yeni:

:

Bu yayın statik bağlama uygulamasını tamamlıyor; derleme ve yükleme yüklemeleriyle birlikte dosya adlarını kullanmak için destek ekler; derleyici hataları giderir; dokümantasyon güncellemelerini içerir; hata ayıklama, test etme ve belgeleme araçlarını geliştirir; Prolog uygunluğunu resmi ve fiili standartlarla kontrol etmek için yeni bir birim test seti ekler; tüm desteklenen metin editörleri ve sözdizimi vurgulayıcıları için sözdizimi renklendirme güncelleştirir; ve ECLiPSe, JIProlog ve YAP için uyumluluk güncellemeleri içerir.

Gereksinimleri :

Uyumlu Prolog derleyici.

Benzer yazılım

Geliştirici Diğer yazılım Logtalk

Logtalk
Logtalk

3 May 15

Yorumlar Logtalk

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