Logtalk, ən çox Prolog tətbiqini bir arka uç derleyici kimi istifadə edə biləcək bir obyekt yönümlü məntiq proqramlaşdırma dilidir. Bir çox paradigma dili olaraq, Logtalk prototipləri və sinifləri, protokollar (interfeyslər), komponentlərə əsaslanan proqramlaşdırma, kateqoriya əsaslı kompozisiya, hadisəyə əsaslanan proqramlaşdırma və yüksək səviyyəli multi-threading proqramlaşdırma vasitəsilə dəstək verir.
Bu sürümdə nə yeni :
* Təkmilləşdirilmişdir: faktiki meta-zəng dəyişənləri paylaşmayan zaman 'silməkdə itkin' meta_predicate / 1 ' bəndin başı.
* TƏQDİM EDİLMİŞ: Qrammatik qaydalarda lambda ifadələrindən birinə '1 / 1` zəng vurma tələb etmədən icazə verin.
* DÜZELTİLDİ: Nəticədə bir hədəf bir istifadəçinin əsas təsvirinin inlininə bağlı olaraq bir Prolog daxili quraşdırılmış çağırış olduğu zaman bir bağlanma meta-arqumentinin yığılmasında optimallaşdırma səhvidir.
* SABİT: Xülasə bir prolog `: / 2 'nəzarət qurğusuna çağırdıqda bir bağlanma meta-arqumentinin tərtib edilməsində optimallaşdırma səhvidir.
Yeni nə versiya 3.19:
YENİ: _parametr dəyişənlər üçün dəstək
'parametr / 2' və '/ 1' parametrlərinə daxil olmaq üçün quraşdırılmış metodlar.
Parametr dəyişənləri parametrik müəssisənin identifikatorunda istifadə edilən dəyişənlərdir
bir alt sətirlə başlayır və bitir ('_VariableName_`'). Hər hansı bir hadisə
bir müəssisənin bəndində parametr dəyişəninin örtük birləşməsidir
varlıq parametri. Bu, müəssisənin parametrlərinin əlavə edilməsinə, yenidən qurulmasına və ya təmin edilməsinə imkan verir
onlara istinad edən bəndlərdə heç bir dəyişiklik tələb etmədən çıxarılır.
Parametr dəyişənləri yalnız parametrik şəxslər üçün dəstəklənir
Yeni versiya:
Sürüm 3.11.1'de yeni :
* TƏQDİMAT: Kompilyator xəbərdarlığı və səhv mesajlar redaktorları və IDElər tərəfindən ayrılmasını asanlaşdırmaq və potensial olaraq böyük şərtləri çap etməyə kömək etmək üçün onları daha düzgün etməkdir.
* TƏQDİMAT: Kompilyator artıq verilənlər bazasına zəng tələb edir və ilk arqument '{} / 1' kompilyator bypass idarəetmə konstruksiyası ilə sarılmaq üçün modullara uyğun bir müddət olduğu yerlərdə əks etdirir.
* Təkmilləşdirilmişdir: Verilənlər bazasında kompilyator səhvini yoxlamaq və düşüncəni əsas arqumentlərin modullara uyğun bir müddət olduğu çağırışı.
* Təkmilləşdirilmişdir: 'logtalk_make / 0-1`' zənglərinə zənglər səbəb olan fayl yüklənmə sayını minimuma endirin.
* SABİT: 'logtalk_make / 0-1` predicates' in derlemesi derleyici hatası oluşturan bir fayl yeniden yüklenemediği halda.
* DEĞİŞTİRİLMİŞ: Daxili yüklü 'current_event / 5`, hər zaman ilk arqumenti əlaqəli olduğu zaman çağırır.
* EKLE: Təsdiq edərək default sıyırma qovluğunu ləğv etmək üçün dəstək
kitabxananın alias `scratch_directory` bir backend Prolog başlatma faylında
(Logtalk yüklənmədən əvvəl yüklənmişdir). Bir müzakirə sonra
Douglas R. Miles Logtalk'i yalnız oxunan bir kataloqda quraşdırmaqda dəstəkləyirdi
birdən çox Logtalk nümunəsini eyni zamanda münaqişə olmadan həyata keçirir.
* EKLE: A kontekstində / 1 'daxil olmaq üçün kontekstdə icra üsulu
zəmanət çağırışı icra kontekstinə. Əsasən default təmin etmək üçün istifadə olunur
əsas arqumentləri tip-yoxlanarkən səhv kontekstində.
* EKLİ: Sifariş 'debug' və 'debug (_) `yazan mesajların dəstəklənməsi. Bunlar
mesajlar yalnız 'debug' bayrağının açıldığı zaman default olaraq yazdırılır.
* EKLE: Mülkiyyət `` logtalk :: loaded_file_property / 2 `'a daxildir (Fayl)
təkrarlanaraq, bütün faylları a
versiyası 3.10.7-də yeni :
* RENAMED: 'logtalk_make / 1 `hədəfini` yoxlamaq`` yox.
* ADDED: 'logtalk_make / 1` hədəflərini istifadəçi ilə müəyyənləşdirmək üçün dəstək
yeni multifile yüklemesi 'logtalk_make_target_action / 1' istifadə edərək hərəkətlər.
* EKLİ: Taiyoloji və saxta şəxs məqsədləri üçün kompilyator lint yoxlamaları.
Hazırda Prologun birləşməsi, müqayisəsi və növü üçün çağırışlar edilir
quraşdırılmış predicates test.
3.10.5 versiyasında :
* SABİQ: Meta zəng yerinə yetirərkən 3.10.2 kontekstdə quraşdırılmış metodlar.
* SABİT: Prologun çağırışlarına taşınabilirlik tətbiqindən yaranan kompilyator qüsurları, köməkçi maddələrdən (adətən, müddətli genişləndirici mexanizmdən yaradılan) quraşdırılmış predicates və funksiyaları.
strong> versiya 3.10.3:
* Təkmilləşdirilmiş: çoxfaylalı yüklemeler üçün yaradılan sadələşdirilmiş kod.
* SABİT: Multifile tərtibində əvvəlki sərbəstlikdə regresiya
Sürüm 3.09.1'de yeni nədir:
* ADDED: 'number_of_rules / 1` və `number_of_user_rules / 1` obyekti üçün dəstək
və kateqoriya xüsusiyyətləri.
* EKLE: 'number_of_rules / 1 `preikat əmlakına dəstək.
* ADDED: "meta_predicate / 1" direktivlərinin təyin edilməsi, yanlış bir hədəf müəyyənləşdirir
Əslində "2 / N-meta-predikat" a keçid olan meta-arqument
çağırır. Hesabata görə Arun Majumdar'a təşəkkür edirəm.
* EKLƏMƏ: Əldə edilməmiş təsbit dairəsi direktivlərinin təyin olunmasında
Sürüm 3.09.0'da :
* DEĞİŞTİRİLMİŞ: Ayarlar faylları artıq istifadəçiyə baxdı ev qovluğu
başlanğıc qovluğunda və ya Logtalk istifadəçi kataloqunda tapılmadıqda.
'Settings_file' bayrağını "məhdudlaşdırmaq" üçün quraraq indi axtarışları məhdudlaşdırır
Logtalk istifadəçi qovluğuna və istifadəçinin ev qovluğuna bir ayar faylını daxil edin.
Bu dəyişikliklər bir komanda Logtalk yüklemesini hər ikisi ilə paylaşdıqda faydalıdır
"LOGTALKHOME" və "LOGTALKUSER" ətraf mühit dəyişənlərinə işarə edir
eyni kataloq.
fayl və satir məlumatı həmişə bildirilən məsələ üçün son xəttdir.
Sürüm 3.07.0'da yeni :
* ADDED: Backend Prolog kompilyatorunu təsvir etmək üçün "Unicode" yalnız oxunan bayraq
Unicode standartına dəstək.
* ADDED: ++ `(yer) və` `(əlaqəsiz) arqumenti təyini üçün dəstək
'mode / 2' preikat ilə istifadə üçün rejimi (prefiks operatorları elan edilir)
direktiv.
* ADDED: `one_or_error` determinism spesifikasiyasını 2 rejimində dəstəkləyin
Direktivləri təyin et. Tip-yoxlama predicates sənədləşdirilməsi üçün faydalıdır.
* TƏQDİM EDİLMƏDİ: Çıxışdan kənarda mövcud miqdarda məqsədləri axtarmağa çalışın
'bagof / 3` və setof / 3` zəngləri daxildir.
* DƏQİQƏ: "istifadə / 2" direktivlərini tərtib edərkən, bir əlaqə bəndini yaratmayın
Heç bir alias müəyyən edilmədikdə 'istifadəçi' içindəki yüklemeler üçün istifadə müddəti.
* SABİT: Bir faylın üst fayllarına bir tərtibat çatışmazlığını yayarkən,
Fayl atalarının üst əcdadından başlayaraq yenidən yüklənəcəyini təmin edin
quruluş mexanizmi ilə.
* SABİQ: 'logtalk_make / 0' və ya çağırırken lazımsız fayl yüklənmələrindən çəkinin
`logtalk_make / 1`` hədəflə` `bütün.
* SABİT: Çağırıldıqda '^^ / 1`' dır
`` missing``` logtalk_make / 1 `ilə.
* SABİQ: Təsəvvür edilən API-də səhv olan bəzi təsbitlərin cross-referencing
məlumatlar qeydə alınmayıb.
Sürüm 3.06.2'de
:Bu sürüm, geliştirici araçlarının geliştirilmesine yönelik çalışmalarını davam edir. Kyndi, Inc şirkətinin sponsorluğu. Düzgün Prolog tətbiqləri və lgtunit və diaqram alətləri üçün düzəlişlər və düzəlişlər üçün sarmalayıcı vasitənin yeni bir versiyası daxildir.
Sürüm 3.04.1-də yeni :
* SABİT: Compile_aux_clauses / 1 `metodunu çağıraraq termini genişləndirən bir yüklemcinin olduğu kompilyator səhvsiz olduğu kimi yanlış bildirilə bilər.
* SABİQ: 'user` pseudo-obyekti içərisindəki' threaded_notify / 1` daxili quraşdırılmasına zənglər sənədlərə əsasən bağlı bir dəlil tələb etməməlidir.
* SABİQ: 'object_property / 2' və category_property / 2` '' number_of_clauses / 1 'və ya number_of_user_clauses / 1` əmlak arqumentləri ilə müəyyənləşdirilmiş quraşdırılmaları müəyyən edir.
Nədir? yeni versiyası 3.03.0:
* ADDED: Yeni 'logtalk_make / 1` hədəfini dəstəkləyin,' itkin``, itkin şəxslərin siyahısı və ön şərtləri. '{?}' Qısayolunu da istifadə etmək mümkündür.
* Əlavə: Yeni bir logtalk_make / 1` hədəfinə dəstək, 'dairəvi', obyektlərin cüt və triosları arasında dairəvi arayışlar (mesaj göndərmə məqsədləri nəzərə alınmaq üçün). '{@}' Kısayolunu da istifadə etmək mümkündür.
* TƏQDİM EDİLMƏSİ: Daxil yerləşdirmək üçün eyni qovluqdakı bütün ara faylları toplayarkən fayl adı çarpışmalarının qarşısını almaq üçün ara Prolog fayl adlarına bir kataloq qovluğu əlavə edin. Hal-hazırda ECLiPSe, GNU tələb olunur
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB və ya YAP backend derleyici kimi.
* SABİQ: Meta-əsaslı çağırış optimallaşdırma səhvi bir meta-sübutun ya əvvəlcədən tərtib edilmiş bir bağlanma və ya bir kontakt kontekstində
`istifadəçi` sözdə obyekt. Meta-argümanları bağlamaq üçün daha ciddi səhvlər yoxlanılsın.
* SABİT: Parametrik obyektin və parametrik kateqoriya identifikatorlarının səhv və xəbərdarlıq mesajlarında düzgün çaplanması.
Sürüm 3.02.2-də yeni :
* SABİQ: Lambda ifadəsindəki 'true / 0` istifadə edərək lambda ifadələrində səhvlər yoxlanılır
məqsədi. Boris Vassilevə səhv hesabat üçün təşəkkür edirik.
* SABİQ: 'logtalk_make / 1`' predicate müvəffəq olacaq (bir xəbərdarlıqdan sonra
mesaj), qeyri-yaradılan və ya yanlış bir arqument yerinə çağırıldığında
uğursuzluq. üçün
daha yaxşı bir çoxfaylalı yükləmə vasitəsi ilə aralıq Prolog faylları yaradılıb
yerləşdirmə təcrübəsi. Xüsusilə, artımlı yerləşdirməni asanlaşdırır.
* TƏQDİM EDİLMİŞDİR: Makedoniyanın əsas fayllarını yenidən yükləyin
yığma və ya yükləmə səhvləri. Bu, səhv bir fayl qaçırdığından təmin edir
yüklənən faylda faylların tərtib edilməsi, səhvdən sonra verilmiş fayllar
fayl səhv fayl yerləşdirildikdə və faylları müəyyənləşdirildikdə fayl tərtib ediləcək
Sürüm 3.02.1'de yeni oldu:
* Təkmilləşdirilmiş: yüklənmiş fayllar üçün işləmə masa girişləri indi daha yaxşı bir yerləşdirmə təcrübəsi üçün çoxfaylalı bir əsas istifadə edərək yaradılan ara Prolog fayllarına əlavə olunur. Xüsusilə, artımlı yerləşdirməni asanlaşdırır.
* TƏQDİM EDİLMİŞDİR: Makiyaj indi də faylların üst fayllarını yığma və ya yükləmə səhvləri ilə yenidən yükləyin. Bu, səhv bir fayl yükləyici faylda bütün faylların tərtib edilməsini qaçırdıqda, səhv fayl düzəldildikdə və səhv bildiriş çağırıldıqda arızalı fayl tərtib edildikdən sonra verilmiş fayllar təmin olunmasını təmin edir.
Sürüm 3.01.2'de yeni :
Bu azad statik məcburi tətbiqini tamamlayır; kompilyasiya və yükləmə ilə bağlı olan fayl adlarını istifadə üçün dəstək verir; kompilyator hatalarını düzəldir; xüsusiyyətləri sənədlərin yenilənməsi; Hata ayıklama, test və sənədləşdirmə vasitələrini yaxşılaşdırır; Prologun rəsmi və faktiki standartlara uyğunluğunu yoxlamaq üçün yeni bir sıra vahid testləri əlavə edir; bütün dəstəklənən mətn redaktorları və sintaksis göstəriciləri üçün yeniləmə sintaksis rəngləmə; və ECLiPSe, JIProlog və YAP üçün uyğunluq yenilikləri daxildir.
Koşullar :
Uyumlu Prolog derleyici.
Şərhlər tapılmadı