Logtalk

Software screenshot:
Logtalk
Software ətraflı:
Version: 3.38 Yenil?nib
Tarixi Upload: 4 May 20
Geliştirici: Logtalk
Lisenziya: Pulsuz
Məşhurluq: 25
Boy: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


        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.
    versiya 3.11'de yeni : p>

    * 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.

  • Oxşar proqram

    Geliştirici digər proqram Logtalk

    Logtalk
    Logtalk

    3 May 15

    Şərh Logtalk

    Şərhlər tapılmadı
    Şərh əlavə
    Images yandırın!