Logtalk

Prolog ildən çox bir neçə yenilikləri ilə geri 1972-ci ildə azad edilib ümumi təyinatlı məntiq proqramlaşdırma dilidir.

Logtalk daha müasir Prolog xüsusiyyətləri, əsasən performans təkmilləşdirilməsi, Lambda ifadələr, qrammatika qaydaları, təkmilləşdirilmiş compiler səhvlər və xəbərdarlıq hesabat əlavə etmək üçün yaradılmışdır.

Bu üst, asan quraşdırılması prosesi və Prolog compiler uyğunluğu yenilikləri əlavə edin.

Bu müasir AI və kompüter dilçilik ssenariləri, çox daha güclü multi-paradiqma dil, hadisə idarə və yüksək səviyyəli multi-Threading proqramlaşdırma üçün uyğun olan Prolog üçün daha yaxşı, daha əlverişli alternativ Logtalk edir.

Hal-hazırda Logtalk syntax standart Prolog sintaksis uzanır və bu Prolog derleyiciler haqqında Logtalk çalıştırabilirsiniz:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Bu azad yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

versiyası 3.02.2 Yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

versiyası 3.02.1 Yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

versiyası 3.00.4 Yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

versiyası 3.00.2 Yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

versiyası 3.00.1 Yeni nədir:

• Təkmilləşdirilmiş:
• mənbə yeri data (tərtib şərtləri bəzəmək üçün zaman qərar o tags istifadə yaradılan aralıq Prolog faylları ölçüsünü azaltmaq kömək etmək üçün tərtib kodu yazarkən istifadə müddəti tags dəyişikliklər hazırda yalnız SWI-Prolog istifadə edir yeri data).
• Sabit
• A fayl birdən çox valideyn fayl ola bilər.

nədir versiyası 2.44.1 Yeni

• meta_non_terminal tərtibi bir səhv dəqiqləşdirilmiş / ilk meta-arqument düzgün emal olunacaq yalnız 1 direktiv.
• Windows 64 bit sistemi çalışan zaman aşkar etmək və qeyri-xəbər və qeyri-operator ixracı ignore Eclipse config faylını Yenilənib zaman pre-emal lib / 1 direktivləri.
• vahid test çərçivəsində uğursuz vahid test üçün daha informativ mesajlar çap yeniləndi.

listp & quot ;, & quot;
• Əlavə xəbər & quot üçün (bir uzunluğu sublists bir siyahısını parçalanması üçün) / 4 split siyahısı & quot ;, və & quot; difflist & quot; kitabxana şəxslər.
• & quot Yenilənib; CC & quot; CxProlog üçün shell / 2 xəbər üçün müəyyən Məsələn.

Mi & quot;
• & quot obyektlərin adları dəyişdi; misal vahid test çalışan zaman nümunə bir ad münaqişənin qarşısını almaq üçün.
• YAP 64 bit versiyasını aşkar mane Windows installer bir səhv düzəldilir. səhv hesabat üçün Stepan Ipatov üçün təşəkkür edirik.

versiyası 2.44.0 yeni nə:

• Bu azad kateqoriyalar tamamlayan semantika dəyişir, imkan mövcud obyekt kodunu bağlamaq üçün istifadə, meta-zənglər emal iki bugs giderir DCG qaydaları orqanı terminalların açıq siyahıları imkan verir, iki yeni nümunələri edər və Vim mətn redaktoru və Coşğulu ctags dəstək artırır.

nədir versiyası 2.43.3 Yeni

• dəqiqləşdirilmiş Logtalk compiler iş handler olduğu bir səhv müəssisənin mövcudluğu istisna atma zaman daxili şəxs tanımlayıcıları hissələrə ayırmamalı bilmədi.
• daxili Logtalk uzunluğu masalar istifadə dinamik predikatların bəzi index / 1 direktivləri əlavə Lean Prolog konfiqurasiya faylını yeniləndi.
• yalnız-vaxtında çox dəlil endeksleme üçün yeni eksperimental SWI-Prolog dəstəyi ilə deprecated edir index / 1 direktiv, mövcudluğu üçün test SWI-Prolog inteqrasiya faylları yeniləndi.
• Added altardıcıllıq / 4 (bir uzunluğu siyahısı altardıcıllıqlar yaradan) / 4 (siyahısı elementləri əvəz üçün) əvəz predicates və hamming_distance kitabxana olarak / 3; listp & quot; və & quot; siyahısı & quot; şəxslər.
• Əlavə euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3 və kitabxana olarak üçün scalar_product / 3 predicates; numberlistp & quot; və & quot; numberlist & quot; şəxslər.
• & quot müəyyən bir silly bugs dəqiqləşdirilmiş; xarakter & quot; kitabxana obyekt / 1 is_bin_digit predicates / 1.
/ 1 is_octal_digit / 1 is_dec_digit və is_hex_digit
• kitabxana & quot Yenilənib; all_loader.lgt & quot; meta_compiler_loader.lgt & quot; loader fayl də & quot yüklemek üçün; loader file.

versiyası 2.43.2 Yeni nədir:

• operator bəyannamələrinin emal mənbə faylları tərtib optimaldır və dinamik yeni şəxslər yaradılması.

modulları & quot;
• & quot istifadə Logtalk compiler Yenilənib; (:). Compiler bayrağı beləliklə müəyyən hələ bir modul sistemi bilmir geri sonuna Prolog derleyiciler yığma məsələləri qarşısını almaq, lakin Prolog modul dəstək üçün test zaman / 2 daxili nəzarət tikilməsi və ya xəbər
kimi
• & quot üçün silindi dəstək; startup_message & quot; compiler flag & quot; bayraqları (yığcam) & quot; və & quot; bayraqları (verbose) & quot; bir dəyəri ilə əvəz dəyərlər, & quot; Flags & Old & quot uyğundur quot ;,; bayraqları (yığcam) & quot; dəyəri.
• yerli operator bəyanatlar yeni müəssisələrin xaricində görünən olardı create_protocol / 3, create_object / 4 və create_category / 4 daxili predikatların ilə op / 3 direktivləri istifadə edərkən bir səhv düzəldilir.
• şəxs ləğv edildikdə ləğv edilə bilməz bir artıq istifadə mühasibat dinamik xəbər nədir zamanı yeni dinamik şəxs yaradan səhv düzəldilir.
• bir compiler səhv dəqiqləşdirilmiş harada a & quot; super & quot; özünü instantiates yalnız və hər hansı bir obyekt uğursuz istisna yerinə atmaq olardı ixtisaslaşmış olmayan obyekt ərzində zəng.
• Yenilənib & quot; standartlar & quot; Hər bir test üçün saniyədə zənglər sayı hesablama zaman hesab istisna qarşı qorumaq üçün nümunə. yavaş geri sonuna Prolog derleyiciler uzun hesablama dəfə qarşısını almaq üçün vahid test çalışan zaman benchmark test təkrar sayı azalıb.

versiyası 2.43.1 Yeni nədir:

• istifadə nəzərə almaq compiler dəyişdi / 2 direktiv bazası daxili metodları zənglər tərtib zaman. Bu dəyişiklik istifadə / 2 direktivinin semantika uzanır və Logtalk düz Prolog applications asan miqrasiya imkan verir.
• coinductive / 1 direktiv üçün arqument kimi bir xəbər şablon istifadə üçün eksperimental dəstək Added. Bu şablon arqumentlər coinductive uğur üçün mənalı olan dəqiqləşdirilməsi imkan verir. Feliks Kluzniak nin DRA meta-tərcüməçi on aşkar oxşar funksionallığı əsaslanır.
• daxili ayıklama Logtalk istifadə edərkən coinductive predicates ayıklama üçün təkmilləşdirilmiş dəstəyi.

CxProlog üçün
• silindi coinduction dəstək. Bu compiler mövcud versiyası indi eksperimental coinduction həyata keçirilməsi tələb olunur daxili xəbər və ya nəzarət tikintisi bir soft-cut, yoxdur.
• bagof / 3 və setof / 3 daxili qol dəlil ^ / 2 existential kvantifikatoru istifadə edə bilər zaman üsulları.
üçün banderol predikatların istifadəçi müəyyən qarşısı uzun sürən məhdudiyyət qaldırdı
• & quot üçün əlavə dəstək; ^ & quot; meta-xəbər meta-dəlil rejimi belirteci Jan Wielemaker təklif və SWI-Prolog 5.11.25 tapıldı. Məqsədi arqument ^ / 2 existential kvantifikatoru istifadə edə bilər zaman bagof / 3 və setof / 3 daxili üsulları banderol müəyyən zaman bu rejimi belirteci faydalıdır.
• Added & quot; prolog_compiler & quot; və & quot; prolog_loader & quot; geri sonuna disk tərtib və (tərtib) Prolog bayrağı yük Prolog compiler daxili predicates variantları keçən imkan compiler bayraqları. həm bayraqları üçün default dəyəri boş siyahısı.

Prolog Üstünlük zənglər tərtib zaman
• bir səhv dəqiqləşdirilmiş daxili Logtalk compiler qol qeyri meta-arqumentlər emal cəhd edə bilər meta-predikatların. Bu səhv yalnız belə Eclipse kimi bəzi geri sonuna Prolog derleyiciler ilə özünü göstərdi.
• şərti tərtib direktivləri emal bir səhv dəqiqləşdirilmiş.
• bir create_category create_object / 4 zənglər alias / 3 direktivləri keçən qarşısı bug / 4, create_protocol / 3 daxili predicates dəqiqləşdirilmiş.
• qaldırıldı daxili obyekt & quot; Logtalk & quot; decompile_predicate_head / 4 və decompile_predicate_indicator / 4 deprecated üsulları.
• uzun deprecated Logtalk metapredicate / 1 direktiv üçün silindi dəstək.

parametrik kateqoriyalar ilə iş zaman cached entries zəruri daha çox xüsusi ola bilər Kateqoriya predikatların zənglər caching zaman
• bir performans səhv düzəldilir.
• & quot bir caching Təkmilləşdirilmiş; super & quot; prototipləri ərzində çağırır. Əvvəllər bütün cached entries & quot dəyəri ilə ixtisaslaşmış olardı; self & quot; Düzgün bir obyekt həm instantiates və digər obyektlərin ixtisaslaşır xüsusi hallarda ilə məşğul üçün.
• direktivləri ehtiva şəxslərin tərtibi zamanı xəbər daxilində direktivləri hər hansı operator bəyannamələrin aktivləşdirmək üçün Logtalk compiler yeniləndi.
• soft-cut nəzarət tikintinin təmin lakin yumşaq-cut təmin etmir belə SICStus Prolog kimi geri sonuna Prolog derleyiciler istifadə coinductive predikatların performance Təkmilləşdirilmiş daxili meta-xəbər (/ 3 əgər varsa).
• bir compiler bayrağı olarak ilə dolu bir mənbə fayl tərtib zaman yığma / loading xəbərdarlıq bir saxta hesabat çap edilə bilər səhv / dəqiqləşdirilmiş hesabat & quot; söndürüldükdə.

streamvars & quot;
• a & quot əlavə edilib; mövcud və quot əldə kitabxana obyekt; assignvars & quot; axın & quot; a & quot olan (dəyişənlər ola bilər) sözü əlavə və bərpası üçün dəstək featuring kitabxana kateqoriya,; dəyişən.
• Yenilənib & quot; coinduction & quot; Məsələn, inkişaf etmiş coinductive / 1 direktiv istifadə edərək və SICStus Prolog istifadə davam edə bilər fərdi nümunələri sayı genişləndirilməsi. , Nümunə yoxlanılması coinduction istifadə coroutining və məhdudiyyətlər bir model əlavə edib.
• Yenilənib & quot; metapredicates & quot; meta-arqument existentially ixtisaslı dəyişənlər ola bilər bagof / 3 və setof / 3 daxili üsulları banderol müəyyən necə şərh örnek kod Məsələn.
• & quot Yenilənib; CC & quot; Məsələn, bir neçə geri sonuna Prolog derleyiciler üçün xəbər təriflər korrektə və bəzi əsas vahid testlər əlavə.
• Yenilənib & quot; kodlamaları & quot; Lean Herzegovina üçün məhdud dəstəyi ilə nümunə.
• meta_non_terminal / 1 direktiv və zəng // N qeyri-terminal üçün itkin entries əlavə & quot; kömək & quot; misal.
• Robert sasak dili töhfəsi PDDL 3.0 faylları üçün bir parser, əlavə edib.
• SubEthaEdit mətn redaktoru dəstək qatlama Added kodu. Əlavə code Kate, Vim və TextMate mətn redaktorları şərti yığma blokları dəstək qatlama.
• kitabxana yolları Logtalk compiler / uzunluğu yükləmə əvvəl fayl yüklemek üçün inteqrasiya skript yeniləndi. Bu dəyişiklik parametrləri faylları kitabxana və nümunə faylları loading asanlaşdırmaq məqsədi daşıyır. LOGTALKHOME mühit dəyişən müəyyən deyil zaman Bundan əlavə, $ HOME / payı Logtalk quraşdırılması kataloq axtarmaq.
• Lean Prolog dəstək və YAP 64 bit versiyasını aşkar etmək üçün Windows Installer yeniləndi.

versiyası 2.43.0 Yeni nədir.

• Lean Herzegovina üçün eksperimental dəstək Added
• silindi elan predikatların zənglər qabaqca üçün discontiguous / 1 və dinamik / 1 direktivləri məcbur Logtalk compiler məhdudiyyət.
• qrammatika qaydaları qeyri-terminal misspelt zənglər Logtalk compiler hesabat yaxşılaşmışdır.
• istifadə imkan verir. / 1 ​​nəzarət qrammatika qaydaları bədənində tikintisi

istifadə / 2 direktivləri ilə müəyyən edilmiş mesaj ayıklama zaman
• mesaj indi istifadəçi tərəfindən yazılmış mənbə kodu kimi dolayısı ixtisaslı çap olunur.
• dəyişdi daxili multi-Threading predikatların yaradılan Prolog kodu decompilation tələb yüksək səviyyədə ayıklama alətləri ilə inteqrasiya asanlaşdırmaq üçün.
həyata keçirilməsində istifadə daxili predicates
• vahid test kitabxana dəstək bug & quot dəqiqləşdirilmiş. Lgtunit & quot ;, olduğu vahid test spesifikasiyası uyğun hər hansı bir istisna müddət qəbul edəcəyini istisna test
• & quot Yenilənib; CC & quot; hata düzeltmelerini və tutulması üçün təkmilləşdirilməsi ilə nümunə expand_path / 2 xəbər of SWI-Prolog həyata keçirilməsi üçün bug fix ilə Joachim Schimpf payına (SWI-Prolog son dəyişikliklər nəticəsində / 3 daxili xəbər absolute_file_name) və B-Herzegovina üçün command_line_arguments / 1 xəbər üçün müəyyən.
• Yenilənib & quot; coinduction & quot; Məsələn, bir çox fərdi nümunələri əlavə.
• & quot Yenilənib; xml_parser & quot; GNU Prolog ilə daşınması məsələləri puç üçün töhfə.

bəzi shell scripts
• Doğru bir səhv olduğu & quot; # / bin / bash & quot; ! Yerinə quot & istifadə edilmişdir; # / bin / bash & quot ;. səhv hesabat üçün Yorqos Adamopoulos üçün təşəkkür edirik.
• qeyri-admin istifadəçilər tərəfindən tam quraşdırma imkan üçün Inno Setup GUI Windows Installer script yeniləndi.
• ISO Prolog direktiv üçün əlavə syntax boyayıcı dəstək bütün dəstəyi mətn redaktorları və sintaksis highlighters üçün / 1.
daxildir
• sekmesini bəzi hataları dəqiqləşdirilmiş onların istifadəsi qarşısı Gedit Logtalk parçalarını üçün tetikler.
• FOP pages bəzi məzmunu truncates kimi User və Reference təlimatlar PDF versiyasını oluştururken yerinə FOP of XEP istifadə edərək, geri dəyişdi.

versiyası 2.42.4 Yeni nədir:

• Əlavə bir entity_prefix / 2 xəbər və iki dəstdən kommunal predicates, decompile_predicate_heads / 2-4 və decompile_predicate_indicators / 2-4 ilə & quot; Logtalk & quot; daxili obyekt. decompile_predicate_head / 4 və deprecated kimi decompile_predicate_indicator / 4.
qeyd
operatorları üçün daxilində məlumat saxlanılması üçün
• əlavə dəstək tərtib zamanı daxilində direktivləri istifadə elan etdi. müəssisənin Əlavə məlumat faylları sənədləşdirilməsi XML operatorları elan etdi. operator məlumat çap mətn, PDF, və (X) HTML dönüşüm skriptlər yeniləndi.
• Logtalk compiler / uzunluğu Tətbiqi neçə aşağı səviyyəli optimallaşdırılması.
• tikintisi və Prolog compiler asılı gözəl performans tuning dəstək vermək məqsədiylə Prolog config faylları compiler xəbər icra kontekstində daxil daxili predicates köçürüldü.
• Timon Van Overveldt təklif term_variables / 2 daxili xəbər əsasında kiçik performans optimallaşdırılması istifadə etmək üçün yivli / 1 Çox Threading daxili xəbər həyata keçirilməsi yeniləndi. Bu optimallaşdırma şərtlər lazımsız surəti və birləşməsini azaltmaq məqsədi daşıyır. Bundan əlavə, performans artırır, həm də master və qul mövzuları, user sadələşdirilməsi ilə catch / 3 daxili xəbər ilə setup_call_cleanup / 3 daxili xəbər istifadə dəyişin.
• müstəqil istifadə etməyə cəhd və paralellik zombi mövzuları ilə nəticələnəcək zaman istifadəçi tərəfindən uğursuzluq müstəqil qol müəyyən etmək üçün yivli / 1 Çox Threading daxili xəbər həyata keçirilməsində bir səhv dəqiqləşdirilmiş.
• Daha çox informativ istisna şərtləri zaman senkronize kimi dinamik və ya dinamik xəbər bir senkronize xəbər elan cəhd.
• obyektləri kimi modulları tərtib dəstək vermək məqsədiylə XSB konfiqurasiya faylını yeniləndi. itkin setup_call_catcher_cleanup / 4 daxili xəbər üçün müəyyən Added. XSB 3.3 (və ya sonrakı bir versiyası) indi Logtalk ilə uyğunluğu üçün tələb olunur.
• arithmetic_function / 1 xüsusi direktiv üçün məhdud dəstəyi (hesab funksiyaları qlobal əvəzinə obyektləri və ya kateqoriyalar onları müəyyən yerli kimi tərtib olunur) təmin etmək üçün SWI-Prolog konfiqurasiya faylını yeniləndi.
• style_check / 1 direktiv ignore və set_prolog_flag / 2 direktiv kimi yap_flag / 2 direktiv şərh etmək üçün YAP konfiqurasiya faylını yeniləndi.
• FOP üçün XEP-dan (User və Reference təlimatlar PDF versiyasını yaratmaq üçün istifadə olunur) default XSL-FO prosessor dəyişdi.
• & quot Yenilənib; xml_parser & quot; Qu-Prolog, SICStus Prolog, və XSB ilə daşıma məsələləri puç üçün töhfə.
• Yenilənib & quot; kodlamaları & quot; üçün nümunə encoding / 1 direktiv əvvəl heç bir ağ olduğunu təmin etmək.
• Yenilənib & quot; attvars & quot; B-Prolog və XSB dəstək vermək məqsədiylə nümunə. Həmçinin Logtalk parametrik obyektlərin və parametrik kateqoriyaya ərzində aid dəyişənlərin istifadə üçün dəstək əlavə edib. Əlaqə və həyata keçirilməsi təklif Jan Wielemaker, Vator Santos Costa, və Bart Demoen üçün təşəkkür edirik.
• Yenilənib & quot; profilers & quot; SICStus Prolog 4.2 versiyası icra profilləmə dəyişikliklər üçün ilkin dəstəyi ilə nümunə.
• & quot Yenilənib; genişləndirilməsi & quot; müxtəlif qarmaqlar obyektlərin term- və qol genişləndirilməsi anlayışlar birləşdirmək haqqında daha ətraflı örnek kod Məsələn.
• Yenilənib & quot; coinduction & quot; Məsələn eksperimental keysort / 2 coinductive xəbər əlavə. təklif üçün Jan Burse üçün təşəkkür edirik.
• Yenilənib & quot; tak & quot; multi-Threading itkin cut tez görə lazımsız seçim xal bir çox sayda yaradılması SWI-Prolog istifadə edərək yerli yığını yorucu ilə nəticələnəcək nümunə.
• Yenilənib & quot; mtbatch & quot; Tak & quot; & quot geniş karşılaştırma təmin etmək üçün nümunə multi-Threading; misal.
• MacPorts həyata mərhələli olunur MD5 checksum, hesablanması aradan qaldırılması üçün onu yeniləyir MacPorts portfile və script yeniləndi.
• sil proseduru Windows reyestrindən SWI-Prolog açarları silmək üçün uğursuz SWI-Prolog Windows yükleyicilerinde bir səhv puç etmək üçün Inno Setup GUI Windows Installer script yeniləndi.

versiyası 2.42.3 Yeni nədir:

• kateqoriya elan dinamik predicates adlandırmaq imkan verir in & quot; bu & quot; Kateqoriya daxilində. özünü & quot; əvvəlki versiyasını belə zənglər & quot adlı bu predicates məcbur tərtib vaxt səhv ilə nəticələnəcək; (Nəzarət tikintinin göndərilməsi :: / 1 mesaj istifadə edərək,).

({} / 1-kontrol tikintinin istifadə edərək) pre-tərtib bənddə rəhbərləri üçün
• Added Logtalk compiler dəstək. müddətli genişləndirilməsi mexanizmi istifadə edərkən Bu xüsusiyyət çox faydalıdır.
• qrammatika qaydaları tərtib tərəfindən xəbər müddəalar asanlaşdırır kodu bir səhv düzəldilir. bir qrammatika qayda meta-dəyişən, olan zaman code loop olan Logtalk compiler olmalıdır (lakin hal-hazırda yoxdur) (zəng / 1-kontrol tikinti bu iş üzrə əvəzinə istifadə edilə bilər). kimi qeyri-qanuni hesabat
• yalançı obyekt olarak kontekstində zənglər yığma sadələşdirilmiş; user & quot;.

p & quot;
• ayıklama komanda & quot əlavə edilib; Logtalk daxili ayıklama üçün. Bu skript izləri mövcuddur zaman çap / 1 xəbər istifadə edərək cari qol. Q & quot; ayıklama Command & quot Renamed; quot & etmək; Q & quot ;. bir səhv dəqiqləşdirilmiş harada ayıklama command & quot; w & quot; tanınmalıdır olmaz. d & quot; ayıklama Command & quot dəyişdi; lazım şərtləri sitat.
• tutulması config fayl ISO Prolog predicate_property / 2 xəbər qismən həyata keçirilməsini Added.
• dde_register_service / 2 kitabxana meta-predikatların səhv bəyannamə aradan qaldırılması üçün, vaxt / 1, və SWI-Prolog konfiqurasiya faylını Yenilənib zaman / 2 daxili kimi meta-predikatların.

Flags & quot;
• & quot üçün bug fix tətbiq; töhfə onun müəllifi, Theofrastos Mantadelis tərəfindən mövcud. GNU Prolog ilə uyğunluğu məsələ çözüm.
• kitabxana olarak üçün memberchk / 2 xəbər əlavə edilib; setp & quot; protokol və & quot; müəyyən & quot; obyekt. Əlavə predicates / 1, is_newline / 1, kitabxana olarak üçün is_end_of_line / 1 is_control; characterp & quot; və & quot; xarakter & quot; şəxslər.
• Logtalk obyektlərin və kateqoriyaya ərzində aid dəyişənlərin istifadə eksperimental nümunə Added. Hal-hazırda geri sonuna Prolog compiler kimi YAP-ya SWI-Prolog istifadə tələb edir.
• & quot üçün indexicals üçün əlavə dəstək; məhdudiyyətlər / sicstus & quot; misal.

Genişləndirilmiş
• & quot; nümayəndə & quot; bir parametrik obyekt istifadə edərək, bir Delegator nümunəsi həyata keçirilməsi ilə nümunə.
• Genişləndirilmiş & quot; dynpred & quot; üçün nümunə & quot çərçivəsində dinamik predicates idarə Kateqoriya predicates müəyyən etmək üçün necə göstərmək üçün bu & quot; və & quot çərçivəsində; özünü & quot;.

CC & quot;
• & quot üçün wall_time / 1 xəbər əlavə edilib; misal.
• true / 0 və uğursuz / 0 nəzarət inşa itkin əlavə, test faylları vurğulayaraq syntax yeniləndi.

nədir versiyası 2.42.2 Yeni

• yoxlanılması imkan üçün Logtalk compiler Yenilənib istifadəçi & quot; & quot daxil predicates idxal tələb olmadan modulu xəbər xassələri; (Qeyd, lakin, modul hələ modul predicates zəng mənbə faylları tərtib əvvəl yüklü olmalıdır ki,).
• ümumi proqramlaşdırma səhvlər üçün zəng / 2-N qol tərtib zaman instantiated bağlanması arqumentlər yoxlamaq üçün Logtalk compiler yeniləndi.
• Pulsuz dəyişənlərin və ya lambda parametrləri olaraq və ya pulsuz dəyişənlərin və lambda parametrləri, həm də elan dəyişənlərin elan deyil dəyişənlərin ilə lambda ifadələri xəbərdarlıq yaratmaq üçün Logtalk compiler yeniləndi. Bu ağlı başında olma çek təklif üçün Jan Burse üçün təşəkkür edirik.
• & # x3c istifadə dəstək məqsədiylə Logtalk uzunluğu Yenilənib; & # x3c; / 2 nəzarət meta-predikatların bağlanması meta-dəlilləri tikintisi
.
• (avtomatik olaraq yardımçı xəbər mümkün yaradan) Free / Məqsəd lambda ifadə zənglər tərtib üçün əlavə dəstək.

Logtalk & quot ;.
• daxili obyekt olarak üçün SWI-Prolog eyni adı ilə bir xəbər əsasında bir compile_aux_clauses / 1 public metodu əlavə Bu üsul adətən geniş məqsədə dəstək üçün yaradılan yardımçı müddəalar tərtib etmək üçün goal_expansion / 2 qarmaqlar adlanır.
• meta-xəbər, bir Logtalk daxili metodu kimi.
daxili xəbər kimi bəzi Prolog derleyiciler tərəfindən həyata keçirilən / 1, ignore əlavə
• Logtalk olan xəbər xassələri querying zaman modul kitabxana avtomatik loading qarşısını almaq üçün SWI-Prolog konfiqurasiya faylını yeniləndi.
• etmək üçün Qu-Prolog, SICStus Prolog, və XSB config faylları Yenilənib mövcud xəbər ISO daxili xəbər kimi / 2 term_variables.
• bir başlanğıc qəza həll Logtalk compiler / uzunluğu tərtib edilməsi üçün yığın ölçüsü dəyər ikiqat üçün Qu-Prolog inteqrasiya skript yeniləndi.
• (& quot qədər köçürülüb; scripts / MacOSX / command_files / desteklenmeyen & quot; qovluq) GNU Herzegovina üçün MacOS X komanda fayl bərpa.

meta & quot;
• Added kitabxana obyekt olarak üçün / 4-5 findall_member predicates; (Richard O'Keefe layihəsi Prolog kitabxana təklifi əsasında). metap & quot; kitabxana şəxslərin olarak olan / 1 və ignore / 1 callable predikatların bəyannamə və müəyyən silindi; və & quot; meta & quot;
(/ 1 ignore artıq bir Logtalk daxili telefon / 1 callable bütün dəstəyi Prolog derleyiciler in daxili xəbər deyil).
• kitabxana obyekt & quot əlavə edilib; meta_compiler & quot ;, kitabxana obyekt & quot müəyyən edilmiş meta-predikatların zənglər genişləndirmək üçün bir çəngəl obyekt kimi istifadə edilə bilər ki, meta & quot; meta-zəng xərclər qarşısını almaq üçün. meta-xəbər zəng optimize edilə bilməz hallarda On & quot-u mənim müəyyən; meta & quot; object istifadə olunur. meta-arqumentlər kimi nəzarət inşa istifadə deyil (hələ) dəstəklənmir. işlər davam edir.
• protokol & quot əlavə edilib; loggingp & quot ;, və kateqoriya və obyekt tətbiq & quot; giriş & quot; və & quot;. Çetele & quot ;, elan və kitabxana faylları hadisələr giriş üçün əsas funksionallığı müəyyən
• protokol & quot əlavə edilib; intervalp & quot ;, və bir obyekt, & quot; interval & quot ;, elan və (James F. Allen Interval Algebra əsəri əsasında) kitabxana əsas müvəqqəti interval münasibətləri müəyyənləşdirən
.
• adlı tam counters, & quot həyata bir kateqoriya əlavə. Counters və kitabxana quot ;,
• Əlavə predicates kitabxana şəxslərə olarak üçün / 2 və proper_suffix / 2 proper_prefix; listp & quot ;, & quot; siyahısı & quot ;, və & quot; difflist & quot;.
• Əlavə xəbər kitabxana obyekt olarak üçün / 2 qoymalarını; cüt & quot;.

lambdas_compiled & quot;
• test & quot iki yalançı nümunələri əlavə edilib; və & quot; metapredicates_compiled & quot ;, yeni kitabxana obyekt istifadə etmək
• & quot; meta_compiler & quot;.
• & quot Yenilənib; genişləndirilməsi & quot; üçün nümunə müəyyən çəngəl obyektləri birləşdirmək necə göstərmək üçün.

Logtalk mənbə kodu ilə Alex Gorbatchev ilə SyntaxHighlighter paketi (sonra version 3.0.83 və ya sonra) istifadə üçün
• dəstək Added.
• başqa GNU Source-məqamı vurğulayıcı dəstək / 0 şərti tərtib direktiv.
itkin syntax boyayıcı əlavə
• Pulsuz MacOS X Kod mətn redaktoru Logtalk mətn redaktə dəstək mövcud qeyd edib.
• Yeni Added syntax boyayıcı dəstək bütün dəstəyi mətn redaktorları və sintaksis highlighters üçün / 1 daxili metodu ignore.

versiyası 2.42.1 Yeni nədir:

• aşkarlanması və hesabat Logtalk compiler üçün əlavə dəstək dinamik / 1 və discontiguous / 1 xəbər direktivləri itkin.
• Yeni lint bayraq əlavə, & quot; missing_directives & quot ;, & quot bir default dəyəri; xəbərdarlıq & quot ;, bütün config faylları. Bu bayraq dinamik / 1, discontiguous / 1, Multifile / 1 xəbər direktivləri itkin compiler xəbərdarlıq çap imkan verir.

xəbər göstəricilərinin siyahısı üçün bir xəbər göstərici [/] üçün (/) və [0] qol siyahısı : Yeni meta-xəbər şablon mode göstəriciləri
• dəstək Added.
• harada & quot səhvlər üçün meta-xəbər bənddə rəhbərləri yoxlanılması zaman Logtalk compiler bir səhv dəqiqləşdirilmiş; :: & quot; meta-dəlil rejimi göstərici hələ & quot kimi şərh olunur; 0 & quot;.
• inşa və ya yanlış kontekstdə bir meta-dəlillər zəng ilə nəticələnə bilər daxili predicates nəzarət zənglər tikintisi üçün istifadə olunur (meta-zənglər) bağlayırlar rəftar bir səhv dəqiqləşdirilmiş. SWI-Prolog poçt siyahısına şərh məsələn Ulrich Neumerkel üçün təşəkkür edirik.
• & quot istinad itkin barədə çap xəbərdarlıq qarşısını almaq üçün Logtalk compiler Yenilənib; genişləndirilməsi & quot; və & quot; monitorinq & quot; daxili protokolları obyektləri kimi modulları tərtib zaman.

istifadəçi & quot;
• yalançı obyekt & quot icazə versiyası 2.39.2 dəyişikliklər dönüldü; faktiki olaraq bütün Prolog daxili predikatların müəyyən edir. & Quot kontekstində meta-predicates zəng zaman bu xüsusi geri sonuna Prolog compiler asılı olaraq müxtəlif nəticələrə gətirib çıxara bilər; user & quot;.
• SWI-Prolog & quot bir səhv dəqiqləşdirilmiş; swihooks.lgt & quot; eyni kataloq eyni adı ilə bir Logtalk mənbə fayl olduqda bir Prolog fayl konsaltinq yalnış Logtalk bayrağı haqqında saxta səhv mesajı ilə nəticələnən fayl.
• xüsusi daxili B-Prolog, SICStus Prolog, SWI-Prolog, XSB və YAP config faylları meta-predikatların.
üçün əlavə itkin dəstək
• / 1 və load_files / 2 daxili predicates məsləhətləşmək üçün meta-xəbər şablonları yalnış üçün SICStus Prolog, SWI-Prolog, və YAP config faylları yeniləndi.

meta & quot;
• kitabxana obyekt olarak üçün map_reduce / 5 meta-xəbər bir həyata keçirilməsini Added.

CC & quot;
• / 1 xəbər & quot üçün command_line_arguments bir həyata keçirilməsini əlavə edilib; misal.
• Yenilənib & quot; lambdas & quot; və & quot; metapredicates & quot; bir qat sol meta-xəbər istifadə Fibonacci nömrələri hesablamaq üçün necə şərh nümunələri. Yenilənib & quot; metapredicates & quot; map_reduce / 5 meta-xəbər bir istifadə Məsələn.
• Yenilənib & quot; problog & quot; Məsələn, yeni not disjunctions sintaksis ilkin dəstək əlavə.

Magic & quot;
• a & quot əlavə edilib; freedesktop.org paylaşdı mim-info verilənlər bazası üçün Logtalk MIME növü fayl element.

versiyası 2.42.0 Yeni nədir.

• davamlı object bayraqları bir həyata keçirilməsini Əlavə
• protokol həyata keçirilməsi ilə əlaqədar keçid bağlanması tətbiq daxili predikatların, conforms_to_protocol / 2-3 yeni bir cüt əlavə edib.
• Belə ProbLog və CHR kimi digər dillərdə Logtalk inteqrasiya dəstək üçün, annotasiya / 1 eksperimental direktiv əlavə edib.