Logtalk

Logtalk Prolog proqramlaşdırma dili üçün bir açıq mənbə obyekt-yönümlü uzantısıdır. Obyekt-yönümlü və hadisə idarə proqramlaşdırma ilə məntiq proqramlaşdırma inteqrasiyası, ən Prolog derleyiciler ilə uyğun gəlir.
Logtalk prototipləri və siniflər həm də dəstəkləyir. Bundan əlavə, kateqoriya-based tərkibi ilə komponent-based proqramlaşdırma dəstəkləyir

Features .

• Separation interfeys və həyata keçirilməsi arasında:
• Xəbər direktivləri (bəyannamələr) hər hansı bir obyekt ilə həyata keçirilə bilər protokolları (interfeys), daxilində olan edilə bilər.


• parametrik obyektləri:
• Obyekt adları obyekt predicates parametrize üçün istifadə edilə bilər pulsuz dəyişənlərin olan mürəkkəb şərtlər ola bilər.


• həm də sinif-based və prototip-based sistemi üçün dəstək:
• Siz ola bilər, eyni tətbiqi, sinif-based (daxili münasibətləri ilə) (Destekleme və ixtisaslaşma münasibətləri ilə) hierarchies və prototip-based hierarchies.


• Çox obyekt hierarchies üçün Support:
• ehtiyac yoxdur, bəzi ümumi obyekt köklü bir uzun iyerarxiya üçün mecbur ediləcək.


• Xüsusi, müdafiə və ictimai miras:
• Logtalk C bənzər bir şəkildə qorunur, özəl və ictimai miras dəstəkləyir. Bundan başqa, hər hansı bir şəxs əlaqə həcmi söz istifadə edərək vəsiqə bilər.


• Xüsusi, müdafiə və ictimai obyekt predicates:
• Sizin obyekt seçin daxilində protokol dizayn uyğun və iş sistemi seçim həyata imkan predicates.


• Statik və dinamik obyektləri:
• obyektləri statik və ya dinamik ola bilər. Statik obyektlərin tərtib və Prolog faylları eyni şəkildə yüklənir mənbə faylları müəyyən edilir. Dinamik obyekt və ya zamanı mənbə faylları müəyyən və ya yaradıla bilər.


• Statik və dinamik obyekt predicates:
• Hər hansı bir statik obyekt statik və dinamik predicates, həm də ola bilər.


• biz standart Prolog sintaksis istifadə edə bilərsiniz bir pre-prosessor:
• Logtalk bir hamar öyrənmə curve üçün bir neçə operatorlar və direktivləri əlavə standart Prolog sintaksis istifadə edir.


• Hadisə idarə proqramlaşdırma:
• bir spied hadisə baş verdiyi zaman predicates dolayısı obyekt coupling azaltmaq proqramlaşdırma həllər imkan adlandırmaq olar. Bundan əlavə, hadisələr davranış əks dəstək veririk.


• Komponent-based proqramlaşdırma:
• predicates hər hansı bir kodu təkrarlanması olmadan, faktiki olaraq hər hansı bir obyekt ilə idxal edilə bilər kateqoriyalar daxilində encapsulated və asılı olmayaraq obyekt hierarchies bilər. Belə ki, obyektlərin təkrar kimi xırdadənəli ədəd kodu hərəkət kateqoriyalar tərkibində ilə müəyyən oluna bilər.


• Multi-miras dəstəyi:
• Logtalk protokol və həyata keçirilməsi, həm də multi-miras dəstəkləyir. Bir obyekt bir neçə protokolları həyata və genişləndirmək, ixtisaslaşmış, və ya bir neçə obyektlərin instantiate bilər. Multi-miras münaqişələr Logtalk axtarış alqoritmlər və ya açıq-aydın xəbər direktivləri istifadə edərək, dolayısı həll edilir.


• Yaxşı performans:
• Logtalk kodunu səmərəli Prolog kod yazmaq üçün istifadə eyni texnika istifadə edərək tərtib olunur. Bundan əlavə, üsul lookups böyük performans təkmilləşdirilməsi, Logtalk uzunluğu mühərrik cached edir. Bəzi Prolog derleyiciler üçün Benchmark nəticələri burada var.


• ISO Prolog Standard sıx inteqrasiyası:
• Logtalk ISO Prolog Standard uyğun və ya yaxından aşağıdakı hər hansı bir Prolog compiler ilə hamar inteqrasiya üçün nəzərdə tutulmuşdur.


• ən Prolog derleyiciler uyğun:
• demək olar ki, hər hansı bir müasir compiler ilə uyğun edilməsi minimal konfiqurasiya faylı vasitəsilə xüsusi Prolog compiler ilə Logtalk interfeys.


• XML sənədləri faylları avtomatik nəsil:
• Logtalk avtomatik olaraq hər tərtib obyekt, protokol, və ya kateqoriya üçün XML formatında sənədlər faylı yaradır. sistem faylları sənədləşdirilməsi çevirmək üçün bütün zəruri XSL (T) faylları və scripts daxildir (X) HTML və PDF.
• Logtalk bir Prolog compiler (əsas inkişaf mühit MacOS X çalışan bir Apple PowerBook G4) ilə demək olar ki, hər hansı bir kompüter çalışır. Logtalk və xüsusi Prolog compiler arasında interfeys konfiqurasiya faylı vasitəsilə həyata keçirilir.
• Bu fayl Prolog compiler mövcuddur ISO Prolog standart üçün Logtalk xüsusi predicates və tətbiq deyil predicates ehtiva edir.


• Logtalk yazı mən mümkün Prolog ISO standart izləmək üçün çalışmışıq. ISO standart Part I müəyyən deyil Logtalk lazım imkanları var:


• giriş xassələri (dinamik, statik, built_in) xəbər üçün:
• sevimli Prolog bir konfiqurasiya faylını çox asandır edilməsi, yuxarıda göstərilən bu imkanları var ki, təmin. Logtalk paketi artıq ən ümumi Prolog derleyiciler üçün konfiqurasiya faylları daxildir. Optimal performansı üçün, Logtalk Prolog compiler statik və dinamik kod üçün ilk arqument endeksleme dəstəkləyir tələb edir.


• Logtalk inkişafı və test hazırda (əlifba sırası ilə) aşağıdakı Prolog derleyiciler istifadə edilir:
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7

Ki, bu ən yaxşı seçim Logtalk çalışan yəqin ki, çünki
• (bu tərtibatçılarından biri istifadə üçün pulsuz ki, təmin).


• Bundan əlavə, Logtalk (əlifba sırası ilə) aşağıdakı Prolog derleyiciler az və ya heç bir dəyişiklik ilə ç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 MacProlog32 1.25
• ALP WinProlog32 4.0x
• MasterProlog 4.1
• Open 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 azad yeni nədir:

• & quot zəng etmək üçün mexanizm göndərilməsi mesaj redaktə; əvvəl və quot; üsul axtarış həyata əvvəl hadisə işleyicileri. Bu dəyişiklik (məsələn, mesaj aydın deyil ki, bir istisna atma yerinə uğursuz) mövcud kodu heç bir təsir var, lakin bəzi maraqlı proqramları imkan verir lazımdır.
• tərtib zaman / bayraq dəyərlər qəbulu bir fayl yükləmə və / 2 daxili xəbər set_logtalk_flag istifadə edərkən arasında compiler bayraqları daha ardıcıl user: hər iki halda, qəbulu & quot; smart_compilation & quot; söndürmək edəcək bayrağı & quot; təmiz & quot; bayraq və qəbulu & quot; təmiz & quot; söndürmək edəcək bayrağı & quot; smart_compilation & quot; bayrağı. Həmçinin, & quot yaradılması; debug və quot; bayraq kapatır həm də & quot; smart_compilation & quot; və & quot; təmiz & quot; bayraqları.
• verir yumşaq kəsilmiş nəzarət tikinti, (* - & gt;) Doğrudan geri sonuna Prolog compiler tərəfindən dəstəklənən zaman GNU müzakirə edərkən / 2, Daniel Diaz tərəfindən qeyd sonra (qrammatika qaydaları orqanı istifadə ediləcək soft-cut nəzarət tikinti üçün Prolog dəstək).
• bir Logtalk compiler səhv dəqiqləşdirilmiş zaman & quot; source_data & quot; bayrağı oxu müddəti mövqeyini almaq mümkün deyil geri sonuna Prolog derleyiciler edir.
• ilk meta-arqument düzgün emal olunacaq yalnız meta_non_terminal / 1 direktiv tərtibi bir səhv dəqiqləşdirilmiş.
• Windows 64 bit sistemi çalışan zaman aşkar etmək üçün qeyri-xəbər və qeyri-operator ixrac ignore Eclipse konfiqurasiya faylını Yenilənib zaman pre-emal lib / 1 direktivləri.
• vahid test çərçivəsində uğursuz vahid test üçün daha informativ mesaj ç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ı olarak ;, 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; Məsələn vahid test çalışan zaman nümunə bir ad münaqişənin qarşısını almaq üçün.
• YAP 64 bit versiyasını aşkar qarşısını Windows installer bir səhv dəqiqləşdirilmiş. Səhv hesabat üçün Stepan Ipatov üçün təşəkkür edirik.
• quraşdırma kataloq özelleştirmeye istifadəçilər qarşısını Windows installer bir səhv dəqiqləşdirilmiş. Səhv hesabat və səhv diaqnostikası üçün Gavin Lambert Daniel Moniz üçün təşəkkür edirik.
• xsb təkmilləşdirilmiş aşkarlanması üçün Windows Installer script Yenilənib və Logtalk yüklü bir kompüter qeyri-admin istifadəçi tərəfindən yalnız başına istifadəçi faylları yüklemek üçün default.

Siyahıları & quot; paketi
• lateks olarak üçün əsas dəstək Added. Əlavə qeydlər & quot; zərb & quot; və & quot; texmates & quot; Lateks paketləri.
• Textastic iPad mətn redaktoru Əlavə qeydlər.
• UltraEdit mətn redaktoru üçün əsas sintaksis boyayıcı və kodu qatlama dəstəyi əlavə edildi.
• TextMate TextMate 2.0 inkişaf versiyası təqdim avtomatik indent düzəlişlər aradan qom yeniləndi.

versiya 2.44.0 yeni nədir:

• həm yamaq imkan kateqoriyalar tamamlayıcı dəyişdi semantika xəbər bəyanatlar və tamamlanır obyektlərin xəbər anlayışlar. Bu xəbər bəyannamə və müəyyən lookups tamamlanır obyekt özü və ya əlaqəli şəxslərin daxil axtarır əvvəl tamamlayıcı kateqoriyalar da başlayacaq təmin ilə həyata keçirilir.
• söndürüldükdə kateqoriyalar tamamlayan dəstəyi ilə tərtib bir tamamlanır obyekt üçün tamamlayıcı kateqoriya tərtib bir xəbərdarlıq yaratmaq üçün Logtalk compiler yeniləndi.
• bir səhv zəng kontekstində quot & müəyyən olunacaq meta-predikatların üçün meta-zənglər emal dəqiqləşdirilmiş, bu & quot; əvəzinə & quot edilməsi; göndərən & quot; bir meta-arqument :: / 2 biri {} idi zaman / 1

versiya 2.43.3 yeni nədir:

• istifadə nəzərə almaq compiler dəyişdi / əks daxili üsulları zənglər tərtib 2 direktiv. Bu dəyişiklik istifadə / 2 direktiv semantika uzanır və Logtalk düz Prolog applications daha asan miqrasiya imkan verir.
• həcmi / 1 əmlak əlavə, predicate_property / 2 daxili metodu həyata keçirilməsi yeniləndi.
• mənbəyi fayl adı, mənbə fayl kataloq və yaradılan Prolog faylları mənbə fayl compiler variantları haqqında məlumat əlavə etmək üçün Logtalk compiler yeniləndi. Mənbə faylı loading zaman əvvəlki versiyasını, bu məlumat yalnız qeydə alınıb. dəyişikliklər Logtalk kitabxanalar tərtib əvvəlcədən və pre-dolu olan bina applications asanlaşdırmaq.
• mənbə faylları tərtib istifadə çəngəl obyekt adı çap Logtalk compiler Yenilənib zaman & quot; çəngəl & quot; compiler bayrağı müəyyən edilir.
• daxili ayıklama olan / 1 həyata keçirilməsi dönmək zənglər deterministic etmək üçün məntiqi yeniləmə semantika istifadə etmək üçün uğursuz geri sonuna Prolog derleyiciler yaratdığı lazımsız seçim xal almaq üçün.
Yenilənib
• şəxs mövcudluğu istisna atma zaman daxili şəxs tanımlayıcıları hissələrə ayırmamalı bilmədi Logtalk compiler uzunluğu handler bir səhv düzəldilir.
• Daxili Logtalk uzunluğu cədvəllərdə istifadə dinamik predikatların bəzi index / 1 direktivləri əlavə, Lean Prolog konfiqurasiya faylını yeniləndi.
• yalnız-vaxtında multi-arqument 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 (a siyahısı elementləri əvəz üçün) əvəz predicates və hamming_distance kitabxana olarak üçün / 3 listp & quot; və & quot; siyahı & 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ş, karakter & 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 & quot yüklemek üçün; loader fayl.

versiya 2.43.1 yeni nədir:

• istifadə nəzərə almaq compiler dəyişdi / 2 direktiv bazası daxili üsulları zənglər tərtib zaman. Bu dəyişiklik istifadə / 2 direktiv semantika uzanır və Logtalk düz Prolog applications daha asan miqrasiya imkan verir.
• coinductive / 1 direktiv 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 üzrə əldə 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 cari versiyası İndi təcrübi coinduction həyata keçirilməsi tələb olunur daxili xəbər və ya nəzarət tikinti yumşaq-cut, yoxdur.
• bagof / 3 və setof / 3 daxili məqsədi dəlil ^ / 2 existential kvantifikatorlara 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-arqument rejimi belirteci Jan Wielemaker təklif və SWI-Prolog 5.11.25 tapıldı. Məqsədi arqument ^ / 2 existential kvantifikatorlara istifadə edə bilər zaman bagof / 3 və setof / 3 daxili üsulları sarmalayıcılarının 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ər iki bayraqları üçün default dəyəri boş siyahısını poçt edir.

Daxili Logtalk compiler qol qeyri meta dəlilləri emal üçün cəhd edə bilər meta predikatların Prolog xüsusi zənglər tərtib edərkən
• bir səhv düzəldilir. Bu səhv yalnız Eclipse kimi geri sonuna Prolog derleyiciler özünü.
• şə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ını 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 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ı, özünü & quot; Düzgün bir obyekt, həm də instantiates və digər obyektlərin ixtisaslaşır xüsusi hallarda ilə məşğul üçün.
• direktivləri olan şəxslərin tərtib edilərkən xəbər daxilində direktivləri aşkar hər hansı bir operator bəyannamələrinin aktivləşdirmək üçün Logtalk compiler yeniləndi.
• yumşaq cut nəzarət tikintisi təmin lakin yumşaq cut təmin etmir, belə SICStus Prolog kimi geri sonuna Prolog derleyiciler istifadə coinductive predikatların performans Təkmilləşdirilmiş daxili meta-xəbər (/ 3 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 və quot; söndürüldükdə.

Streamvars & quot;
• a & quot əlavə edilib; Mövcud olarak əldə kitabxana obyekt; assignvars & quot; stream & quot; a & quot olan (dəyişənlərin ola bilər) şərtlərini ə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. Neda Saeedloei töhfəsi bir model, nümunə yoxlanılması coinduction istifadə edərək, coroutining və məhdudiyyətlər, əlavə edib.
• Yenilənib & quot; metapredicates & quot; meta-arqument existentially ixtisaslı dəyişənlər ola bilər bagof / 3 və setof / 3 daxili metodları sarmalayıcılarının 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 Prolog 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; Məsələn.
• Robert dili payına 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 tərtib 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ırma kataloq üçün baxmaq. Təklif üçün Vator Santos Costa üçün təşəkkür edirik.
• Lean Prolog dəstək və YAP 64 bit versiyasını aşkar etmək üçün Windows installer yeniləndi.

versiya 2.43.0 yeni nədir.

• Lean Prolog üçün eksperimental dəstək Added
• Logtalk compiler və iş ilə dəyişdi səhv hesabat. Bütün istisna şərtləri indi mümkün, səhv istifadə (Error, Logtalk (Məqsəd, Entity))
• format. Zaman praktiki, yeni "$ lgt_must_be / 2-3 daxili predicates istifadə yoxlanılması daxili səhv dəyişdi.
• bir & quot əlavə edilib; optimize & quot; onun default dəyəri & quot olan bayraq; üzrə & quot ;. Bu bayraq istifadəçi məsələn mövcud optimallaşdırılması söndürmək üçün imkan verir ayıklama vəzifələri (
• hazırda həyata optimallaşdırılması tərtib xəbər müddəalar bədəndən doğru / 0 lazımsız zənglər aradan qaldırılması və aradan qaldırılması daxildir

Qrammatika qaydaları genişləndirilməsi tərəfindən müddəalar bədəndən (=) / 2) üçün
• lazımsız zənglər.
• Əlavə & quot; source_data & quot; onun default dəyəri & quot olan bayraq; üzrə & quot ;. Bu bayraq quot & dəsti ilə, on & quot ;, Logtalk rejimi / 2 istifadə təmsil məlumat davam edəcək
• info / 1-2, faydalı / 2 və use_module / 2 direktivləri plus (mənbə fayl adları və xətt nömrələri daxil olmaqla) source yeri data istifadə edir, həm də ayıklama üçün
• və inkişaf alətləri ilə inteqrasiya üçün. Bu bayraq daha yığcam kodu yaratmaq üçün söndürüldükdə bilər. parameter_names / 1 obyekt və
• kateqoriya əmlak ixtisar qarşısını almaq üçün silinir.
• obyektlərin, protokolların, və kateqoriyalar üçün / 1 xassələri / 1 mühafizə və xüsusi həyata keçirilir. Birlikdə ictimai / 1 əmlakı ilə, bu xüsusiyyətləri

Müəssisənin elan predikatların siyahısını verir
• reflective hesablamalarında üçün əldə etmək. Tətbiq, / 2 bəyan / 2 müəyyən daxildir / 3
• və predikatların elan və müəssisənin çərçivəsində müəyyən xassələri daxil olmaq üçün / 3 xüsusiyyətləri təmin edir. Bəyannamə xassələri line_count / 1, xəbər daxilində direktiv line sayı daxil. Definition xassələri line_count / 1, Öncəki
rəhbəri line sayı daxildir
• xəbər üçün bənddə və number_of_clauses / 1, xəbər üçün müddəalar sayı. Həmçinin eksperimental istifadə / 3 və use_module / 3 xassələri həyata keçirilir.
• yenidən bir xəbər müəyyən olan obyekt və ya kateqoriya haqqında querying imkan, redefined_from / 1 xəbər əmlak Added.
• bir loaded_file / 3 xəbər Əlavə & quot; Logtalk & quot; Daxili mövcud loaded_file / 2 xəbər tamamlayır və
imkanı verir obyekt
Fayl tərtib və yüklü zaman
• açıq variantları istifadə olunur.
• meta_non_terminal / 1 direktiv və zəng üçün həyata keçirilən compiler dəstək // N daxili qeyri-terminal.
• qrammatika qayda qeyri-terminal daxilində və mövcudluğu səhvlər ilə məşğul olmaq üçün dəstək aradan qaldırılması ilə qrammatika qaydalarını tərtib Sadələşdirilmiş
• əvəzinə xəbər səviyyəsi səviyyəsi. Qrammatika qaydalarını ayıklama bu xüsusiyyət faydalı ola bilər baxmayaraq, Prolog-doğma inkişaf alətləri ilə Logtalk inteqrasiya mürəkkəb.
• müəssisə bənddə saxlaya və Prolog derleyiciler geri sonuna bu məlumat əldə etmək üçün Logtalk compiler yeniləndi.
• dinamik şəxslər üçün xəbər elan və müəyyən masalar üçün lazımsız daxili hər kəsi qucaqlayan müddəalar yaradan qarşısını almaq üçün Logtalk compiler yeniləndi.
• object encapsulation qırılma üçün Multifile predicates istifadə mane üçün Logtalk compiler yeniləndi. A əsas bəyannamə
• Müəssisə daxilində və xəbər üçün Multifile direktiv həm də olan, mövcud olmalıdır. Bundan əlavə, Multifile üçün müddəalar müəyyən
• indi əvəzinə sadəcə bir xəbərdarlıq tərtib səhv səbəb olacaq Multifile / 1 direktiv müvafiq olmayan şəxs :: functor / Arity.
• silindi elan predikatların zənglər əvvəl üçün discontiguous / 1 və dinamik / 1 direktivləri məcburi Logtalk compiler məhdudiyyət.
• qrammatika qaydaları qeyri-terminallar 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 göstərilən hata mesajları zaman
• mesaj indi istifadəçi tərəfindən yazılmış mənbə kodu kimi dolayısı ixtisaslı çap olunur.
• dəyişdi ilə inteqrasiya asanlaşdırmaq üçün inşa-in multi-Threading predikatların həyata keçirilməsində istifadə edilən daxili predicates

Yaradılan Prolog kodu decompilation tələb
• yüksək səviyyəli hata alətləri.
• senkronize predicates zəng müəssisə predikatların tərtib Logtalk 2.42.4-ci ildə təqdim bir səhv dəqiqləşdirilmiş. Zənglər nəticələndi Bu səhv
• mövzu qol təsadüfi uğursuzluqlar ilə açıq-aşkar ki, predikatların qeyri-senkronize formaları, əvəzinə edilir.
• dəqiqləşdirilmiş bir kateqoriya ərzində bir uzunluğu tərtib meta zəng obyektin bir xəbər
bir çağırış kimi tərtib edilir ki, uzun sürən səhv
• yerli kateqoriya xəbər zəng əvəzinə kateqoriya idxal.
• dəqiqləşdirilmiş müəssisə bayrağı dəyərlər set_logtalk_flag istifadə yerli müəyyən uzun sürən səhv / 2 direktiv şəxs xilas uğursuz
• tərtib kodu.

/ 1 metodu ləğv qeyri-prototip obyekt dinamik xəbər ləğv
• dəqiqləşdirilmiş uzun sürən səhv olmadan nail olacaq
• xəbər həqiqətən ləğv edilir.
kontekstində uzunluğu tərtib tələb edən meta-dəlil zəng zaman düzgün icra kontekstində qəbulu bir səhv dəqiqləşdirilmiş
• & quot; göndərən & quot;.
• modulu ixtisas
düşmüşdür olunacaq meta-predicates modul üçün açıq ixtisaslı zənglər tərtib bir səhv dəqiqləşdirilmiş
• tərtib zəng. Meta-arqumentlər
kontekstində adlı yəni bu zənglər (Logtalk meta-xəbər semantika istifadə edəcək Qeyd edək ki,
• zəng) əvəzinə adi Prolog modul meta-xəbər semantika.
istifadə edərkən coinduction destesi başlatılmadı bir səhv dəqiqləşdirilmiş

nədir versiya 2.42.4-ci ildə Yeni

• Bu versiya daxildir compiler, uzunluğu, və Çox performance optimallaşdırılması Threading, senkronize / 1 və dinamik / 1 direktivləri üçün compiler səhv mesajları yaxşılaşdırır faylları sənədləşdirilməsi operator daxilində məlumat qorunması və avtomatik olaraq XML üçün bu informasiya tipi üçün dəstək əlavə, Logtalk obyekt yeni kommunal predicates əlavə, bir neçə proqramlaşdırma yaxşılaşdırır misal, Qu-Prolog, SICStus Prolog, SWI-Prolog, xsb və YAP.
üçün Taşınabilir yenilikləri Windows bir SWI-Prolog kaldırma səhv üçün bir çözüm daxildir, və xüsusiyyətləri

nədir versiya 2.42.3-ci ildə Yeni

• Bu versiya dinamik predicates zəng üçün dəstək əlavə & quot kontekstində, bu & quot; kateqoriyalar daxilində, SICStus Prolog CLP (FD) kitabxana istifadə edərkən indexicals dəstək, eksperimental nümunəsi əlavə edir, təkmilləşdirilmiş kitabxanalar və nümunələri daxildir, pre-tərtib bənddə rəhbərləri üçün dəstək əlavə daxili ayıklama üçün bugfixes və təkmilləşdirilməsi daxildir obyektlərin və kateqoriyaya ərzində aid dəyişənlər istifadə edərək, və Eclipse, GNU Prolog, SICStus Prolog və SWI-Prolog üçün Taşınabilir yenilikləri edir.

nədir versiya 2.42.2-ci ildə Yeni

• Bu versiya predicates modul zənglər tərtib yaxşılaşdırır , meta-xəbər zənglər meta-arqumentlər yoxlanılması yaxşılaşdırır lambda ifadələr dəstək yaxşılaşdırır, kitabxana meta-predikatların zənglər üçün optimize compiler daxildir yaxşılaşdırır, müvəqqəti interval əlaqələr ilə iş, və tam counters istifadə edərək, giriş hadisələr üçün yeni kitabxana əlavə Mövcud nümunələri və kitabxanalar, GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, və xsb üçün Taşınabilir yenilikləri JavaScript-based SyntaxHighlighter paketi istifadə üçün dəstək edər və edir.

nədir versiya 2.42.1-ci ildə Yeni