Logtalk

Logtalk este o extensie orientat-obiect open source pentru limbajul de programare Prolog. Integrarea Programarea logică cu programarea orientată pe obiecte și determinate de un eveniment, este compatibil cu cele mai multe compilatoare Prolog.
Logtalk suportă atât prototipuri și clase. În plus, acesta susține programare bazate pe componente prin compoziție pe bază de categorie

Caracteristici :.

• Separarea între interfață și implementare:
• directive predicat (declarații) pot fi conținute în interiorul protocoale (interfețe), care pot fi puse în aplicare de orice obiect.

obiecte parametrice:
Numele
• obiect poate fi punct de vedere compuse care conțin variabile libere, care pot fi folosite pentru parametrize predicate obiect.

Suport pentru ambele sisteme pe bază de clasă și pe bază de prototip:
• Puteti avea, în aceeași cerere, ierarhiile (cu instanțierea și specializare relații) și ierarhii bazate pe prototipuri (cu relații de extensie) clasa pe bază.

Suport pentru mai multe ierarhii obiect:
• Nu este nevoie să fie constrâns la un singur ierarhie lungă înrădăcinată în unele obiect generic.


• privat, protejat, și moștenire publică:
• Logtalk sprijină privat, protejat, iar moștenire publică într-un mod similar cu C. Mai mult decât atât, orice relație entitate poate fi calificată cu ajutorul unui cuvânt cheie domeniu.

, protejate, și predicate Private obiect publică:
• Set domeniul de aplicare al obiectului predicate pentru a se potrivi design-ul de protocol și lăsați sistemul de runtime aplica alegerile tale.


• obiecte statice și dinamice:
• Obiectele pot fi fie static sau dinamic. Obiecte statice sunt definite în fișierele sursă care sunt compilate și încărcate în același mod ca și fișiere Prolog. Obiect dinamic poate fi fie definită în fișierele sursă sau create în timpul rulării.


• bbli predicate obiect static și dinamic:
• Orice obiect static poate conține atât predicate statice și dinamice.

Un pre-procesor astfel încât să putem folosi sintaxa standard de Prolog:
• Logtalk juca sintaxă standard, Prolog cu adăugarea câtorva operatori și directivele pentru o curbă de învățare neted.

Determinate de un eveniment de programare:
• Predicate poate fi numit implicit atunci când are loc un eveniment spionat, permitand soluții de programare, care minimizează cuplare obiect. În plus, evenimente furnizează sprijin pentru reflecție comportamental.

Programarea bazată pe componente:
• Predicate pot fi încapsulate în interiorul categorii, care pot fi importate practic de orice obiect, fără orice cod duplicarea și indiferent de ierarhii obiect. Astfel, obiectele pot fi definite prin compoziția de categorii, care acționează ca granulație fină cod de unități de reutilizare.

suport multi-moștenire:
• Logtalk suportă multi-moștenire atât protocol și de punere în aplicare. Un obiect poate pune în aplicare mai multe protocoale și extinde, specializati, sau instantiate mai multe obiecte. Conflictele Multi-succesorale sunt rezolvate implicit de algoritmi Logtalk de căutare sau explicit prin utilizarea directivelor predicat.


• performanță bună:
• cod Logtalk este compilat folosind aceleași tehnicile pe care le utilizați pentru a scrie cod eficient Prolog. În plus, metoda căutări sunt în cache de motorul de execuție Logtalk, îmbunătățind foarte mult performanta. Rezultate punct de reper pentru unele compilatoare Prolog sunt disponibile aici.

integrare strânsă cu Prolog standardul ISO:
• Logtalk este conceput pentru o integrare armonioasă cu orice compilator Prolog care este conform sau strâns urmează Prolog standardul ISO.


• Compatibil cu cele mai multe compilatoare Prolog:
• interfețe Logtalk cu un compilator specific Prolog prin intermediul unui fișier de configurare minimală acest site este compatibil cu aproape orice compilator moderne.


• Generarea automata a fișierelor de documentație XML:
• Logtalk generează în mod automat un fișier de documentare în format XML pentru fiecare obiect compilat, protocol, sau categorie. Sistemul include toate XSL necesare (T) fișiere și script-uri pentru a converti fișiere în documentarea (X) HTML și PDF.
• Logtalk ruleaza pe aproape orice calculator cu un compilator Prolog (mediul de dezvoltare principal este un G4 Apple PowerBook rulează MacOS X). Interfața dintre Logtalk și un anumit compilator Prolog este realizată prin intermediul unui fișier de configurare.
• Acest fișier conține unele predicate specifice Logtalk și implementări de standardul ISO Prolog predicate nu este disponibil în compilatorul Prolog.

În scris Logtalk am încercat să urmeze standardul ISO Prolog ori de câte ori este posibil. Capabilitățile nevoie de Logtalk care nu sunt definite în partea I a standardului ISO sunt: ​​
acces la predicat proprietăți (dinamic, static, built_in):
• În cazul în care dumneavoastră preferat Prolog are aceste capacități menționate mai sus, face un fișier de configurare este foarte usor. Pachetul include Logtalk deja fișierele de configurare pentru cele mai comune compilatoare Prolog. Pentru performanțe optime, Logtalk impune ca compilatorul Prolog suportă primul-argument indexare pentru cod, atât statice și dinamice.

Dezvoltare Logtalk și testare este în prezent realizează cu ajutorul următoarelor compilatoare Prolog (în ordine alfabetică):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Din care, acestea sunt, probabil, cele mai bune alegeri pentru rularea Logtalk (asigurarea că sunteți liber să utilizați una dintre aceste compilatoare).

In plus, Logtalk ruleaza cu mici sau fără modificări, cu următoarele compilatoare Prolog (în ordine alfabetică):
• ALS Prolog 3.1
• Amți! 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
• APL MacProlog32 1,25
• APL WinProlog32 4,0x
• MasterProlog 4.1
• Deschideți 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

Ce este nou în această versiune:

• modificare mesajul mecanism trimite pentru a apela & quot; înainte & quot; Stivuitoare eveniment înainte de a efectua lookup metodă. Această schimbare ar trebui să aibă nici un impact asupra codului existent, dar permite unele aplicații interesante (de exemplu, nu în loc de a arunca o excepție atunci când un mesaj nu este înțeles).
• manipularea mai consistent de indicatorii de compilare între stabilirea unor valori de pavilion atunci când compilarea / încărcați un fișier și atunci când se utilizează set_logtalk_flag / 2 predicat built-in: in ambele cazuri, stabilirea & quot; & quot; smart_compilation pavilion pe va opri & quot; curat & quot; pavilion și stabilirea & quot; curat & quot; pavilion pe va opri & quot; & quot; smart_compilation pavilion. De asemenea, stabilirea & quot; depanare & quot; pavilion pe va opri atât & quot; & quot; smart_compilation și & quot; curat & quot; steaguri.
• Permite construcția moale tăiat de control, (* - & gt;) / 2, atunci când sunt susținute nativ de back-end Prolog compilator, care urmează să fie utilizate în corpul de norme gramaticale (după o observație a lui Daniel Diaz în timp ce discuta GNU sprijin Prolog pentru control constructul moale-cut).
• Rectificat un bug Logtalk compilator, atunci când & quot; & quot; source_data pavilion este pe de back-end compilatoare Prolog în cazul în care nu este posibilă pentru a prelua funcția de termen citire.
• Rectificat un bug în elaborarea meta_non_terminal / 1 directivei în cazul în care numai prima meta-argument ar fi procesate corect.
• Actualizat fișierul de configurare Eclipse pentru a detecta atunci când rulează pe Windows 64 de biți și sisteme de a ignora exporturile non-predicat și non-operatori, atunci când pre-procesare lib / 1 directivelor.
• Actualizat cadrul unitate de testare pentru a imprima mai multe mesaje informative pentru testele unitare nu a reușit.
• predicat Adaugata împărțit / 4 (pentru divizarea o listă în sublistele cu o anumită lungime) la quot &, & quot ;, listp & quot; & quot ;, lista și & quot; difflist & quot; entitățile bibliotecii.
• Actualizat & quot; CC & quot; exemplu cu o definiție pentru shell / 2 predicatul pentru CxProlog.
• schimbată numele obiectelor din & quot; MI & quot; exemplu, pentru a evita un conflict de nume atunci când rulează teste exemplu unitare.
• Rectificat un bug în programul de instalare pentru Windows care a împiedicat detectarea YAP 64 biti versiuni. Vă mulțumim pentru Stepan Ipatov pentru raportul de eroare.
• Rectificat un bug în programul de instalare Windows care a împiedicat utilizatorii de personalizarea directorul de instalare. Datorită lui Daniel Moniz pentru raportul de eroare și a Gavin Lambert pentru diagnosticarea bug.
• Actualizat scriptul de instalare pentru Windows pentru detectarea îmbunătățită a XSB și să implicit pentru a instala doar fișierele pe-utilizator, atunci când condus de un utilizator non-admin pe un calculator care este deja instalat Logtalk.
• Adăugat suport de bază pentru LaTeX & quot; listingurile & quot; pachet. Note Adăugat pe quot &, bătute & quot; și & quot; texmates & quot; Pachete LaTeX.
• note Adăugat pe editorul de text Textastic iPad.
• Adaugata de colorat sintaxa de bază și sprijin cod pliere pentru editorul de text UltraEdit.
• Actualizat TextMate pachet pentru a dezactiva corecțiile liniuță automate introduse în versiunea de dezvoltare a TextMate 2.0.

Ce este nou în versiunea 2.44.0:

• schimbat semantica completarea categorii pentru a permite patching atât Declarații predicat și definiții predicate de obiecte completate. Aceasta se realizează prin asigurarea faptului că declarare predicat și definiție căutări încep de la categoriile care completează înainte de a privi în obiectul completat în sine sau în entitățile sale afiliate.
• Actualizat compilatorul Logtalk, în scopul de a genera un avertisment atunci când compilarea cu un stil de completare pentru un obiect completat care a fost compilat cu suport pentru completarea categorii oprit.
• Rectificat un bug în prelucrarea meta-cererilor de meta-predicate cazul în care nu s-ar fi stabilit de asteptare pentru & quot; acest & quot; în loc de & quot; expeditor & quot; ori de câte ori o meta-argument a fost unul dintre :: / 2, {} / 1,

Ce este nou în versiunea 2.43.3:

• Schimbat compilatorul să ia în considerare utilizările / 2 directive atunci când compilarea apeluri la reflectarea metode built-in. Această modificare extinde semantica utilizare / 2 directivei și permite migrarea ușoară de aplicații simple Prolog la Logtalk.
• Actualizat punerea în aplicare a / 2 metoda built-in predicate_property, adăugând o proprietate domeniu / 1.
• Actualizat compilatorul Logtalk pentru a adăuga informații despre un nume de fișier sursă, director fișier sursă, și opțiuni de fișier sursă de compilare pentru fișierele Prolog generate. În versiunile anterioare, această informație a fost înregistrată numai atunci când încărcarea unui fișier sursă. Modificările simplifica aplicațiile în construcții în cazul în care bibliotecile Logtalk sunt pre-compilate și pre-încărcate.
• Actualizat compilatorul Logtalk pentru a imprima numele obiectului cârlig utilizată în elaborarea fișierele sursă în cazul în care & quot; cârlig & quot; pavilion compilator este definit.
• Actualizat built-in debugger, pentru a evita puncte de alegere inutile create de back-end compilatoare Prolog ale căror retract / 1 de punere în aplicare nu a profita de semantică actualizare logice pentru a efectua apeluri determinist.
• Rectificat un bug în handler de execuție compilator Logtalk în cazul în care aceasta nu a separe de identificare entități interne atunci când aruncă existență entitate exceptii.
• Actualizat Lean fișierul de configurare Prolog, adăugând index / 1 directive pentru unele dintre predicatele dinamice utilizate de tabele de rulare Logtalk interne.
• Updated fișierele de integrare SWI-Prolog pentru a testa pentru disponibilitatea directivei index / 1, care este depreciată de noul suport experimental SWI-Prolog pentru just-in-time multi-argument indexare.
• Adăugat predicate subsir / 4 (pentru generarea subsirurile de o listă cu o anumită lungime), substituie / 4 (pentru înlocuirea elementelor într-o listă), și hamming_distance / 3 în bibliotecă & quot; listp & quot; și & quot; lista & quot; entități.
• euclidean_norm Adăugat / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, și scalar_product / 3 predicate la biblioteca & quot; numberlistp & quot; și & quot; numberlist & quot; entități.
• rectificat unele bug-uri stupide în definirea & quot; caracterul & quot; obiect bibliotecă predicate is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, și is_hex_digit / 1.
• Actualizat bibliotecă & quot; all_loader.lgt & quot; fișier încărcător pentru a încărca, de asemenea, & quot; meta_compiler_loader.lgt & quot; fișier încărcător.

Ce este nou în versiunea 2.43.1:

• Schimbat compilatorul să ia în considerare utilizările / 2 directive atunci când compilarea apeluri la baza de date a metodelor built-in. Această modificare extinde semantica utilizare / 2 directivei și permite migrarea ușoară de aplicații simple Prolog la Logtalk.
• Adăugat suport experimental pentru utilizarea unui șablon predicat ca argument pentru coinductive / 1 directivei. Acest șablon permite specificarea care argumente sunt semnificative pentru succes coinductive. Bazat pe funcționalitate similară găsite pe la DRA meta-interpret Feliks Kluzniak lui.
• Suport îmbunătățit pentru depanare predicate coinductive atunci când utilizați Logtalk built-in debugger.
• suport inductia Eliminat pentru CxProlog. Versiunea actuală a acestui compilator nu are un soft-cut built-in predicat sau de control construct, care se cere acum de la punerea în aplicare inductia experimental.
• a ridicat un limitare de lunga durata care a împiedicat definiția utilizator de predicate înveliș bagof / 3 și setof / 3 built-in metode ori de câte ori argumentul poartă poate utiliza ^ / 2 cuantificatorul existențial.
• Adăugat suport pentru & quot; ^ & quot; meta-predicat meta-argument mod specificator sugerat de Jan Wielemaker și a găsit pe SWI-Prolog 5.11.25. Acest specificator mod este util atunci când definirea ambalaje pentru bagof / 3 și setof / 3 metode built-in de fiecare dată când argumentul poartă poate utiliza ^ / 2 cuantificatorul existențial.
• Adăugat & quot; prolog_compiler & quot; și & quot; prolog_loader & quot; steaguri compilator, care permit trecerea opțiuni pentru back-end Prolog compilare built-in predicate care compilează pe disc și încărca un (compilat) Prolog pavilion. Valoarea implicită pentru ambele steaguri lista goală.
• Rectificat un bug atunci când compilarea apeluri la Prolog proprietate built-in predicate meta- în care compilatorul Logtalk ar putea încerca să procesăm argumente care nu meta- ca obiective. Acest bug sa manifestat doar cu unele de back-end compilatoare Prolog, cum ar fi Eclipse.
• Rectificat un bug în prelucrarea directivelor de compilare condiționate.
• Rectificat un bug care a împiedicat asociate alias / 3 directive privind apelurile către create_object / 4, create_category / 4, și create_protocol / 3 predicate built-in.
• Eliminat de la built-in obiect & quot; & quot; Logtalk cele decompile_predicate_head / 4 și decompile_predicate_indicator / 4 metode depreciate.
• sprijin eliminat lung depreciat Logtalk metapredicate / 1 directivei.
• Rectificat un bug performanță atunci când cache apeluri la categoria predicate în cazul în care intrările cache ar putea fi mai specific decât este necesar atunci când se lucrează cu categorii parametrice.
• îmbunătățită caching de & quot; foarte & quot; solicită din cadrul prototipuri. Anterior, toate intrările cache-ar fi specializat de valoarea de & quot; de sine & quot; în scopul de a face corect cu cazurile speciale în care un obiect atât instanțiază și este specializată alte obiecte.
• Actualizat compilatorul Logtalk a activa orice declarații operatorului găsite pe directivele domeniul de aplicare predicat în timpul compilării entităților care conțin directivele.
• Îmbunătățirea performanței predicate coinductive atunci când se utilizează back-end compilatoare Prolog, cum ar fi SICStus Prolog care nu furnizează control construcția moale tăiat, dar oferă soft-cut built-in meta-predicat (dacă / 3).
• Rectificat un bug în cazul în care un raport fals de compilare / încărcare avertismente ar putea fi imprimate atunci când un fișier sursă a fost compilat / încărcat cu steagul compilator & quot; report & quot; oprit.
• Adaugata de & quot; streamvars & quot; obiect bibliotecă, derivat din quot existent și, assignvars & quot; categorie bibliotecă, oferind sprijin pentru adăugarea și extragerea termeni (care poate fi variabile) de la o & quot; flux de & quot; variabil.
• Actualizat & quot; & quot; inductia exemplu, profitând de consolidate coinductive / 1 directivei și lărgirea numărului de exemple individuale care pot fi executate cu ajutorul SICStus Prolog. Adăugat un model de verificare exemplu, folosind inductia, coroutining, și constrângerile, a contribuit prin Neda Saeedloei.
• Actualizat quot &; metapredicates & quot; exemplu cu mostre de cod care ilustrează modul de definire ambalaje pentru bagof / 3 și setof / 3 metode built-in, când meta-argumentul poate conține variabile existențial calificat.
• Actualizat & quot; CC & quot; exemplu, corectarea definiții predicat timp de mai multe back-end compilatoare Prolog și adăugarea unor teste de unitate de bază.
• Actualizat quot &; codificări & quot; exemplu cu suport limitat pentru Lean Prolog.
• Adaugata intrări lipsă de meta_non_terminal / 1 directivei și pentru apelul // N non-terminal la & quot; ajuta & quot; exemplu.
• Adăugat un parser de PDDL 3.0 fișiere, a contribuit de Robert Sasak.
• cod Adăugat pliere sprijin pentru editorul de text SubEthaEdit. Codul Adăugat suport pentru blocuri de compilare condiționată de editoare de text Kate, Vim, și TextMate pliere.
• Updated script de integrare în scopul de a încărca pe drumurile bibliotecii fișierul înainte de a încărca Logtalk compilator / Runtime. Această modificare vizează simplificarea încărcare a bibliotecii exemplu fișiere de fișiere de setări. În plus, uita-te, de asemenea, pentru directorul de instalare Logtalk în $ HOME / acțiune în cazul în care variabila de mediu LOGTALKHOME nu este definit. Datorită VAtor Santos Costa pentru sugestia.
• Updated de instalare pentru Windows pentru a sprijini Lean Prolog și detecta YAP 64 biti versiuni.

Ce este nou în versiunea 2.43.0:.

• Adăugat suport experimental pentru Lean Prolog
• schimbată eroare de raportare de către compilator Logtalk și Runtime. Toți termenii excepție folosesc acum, ori de câte ori este posibil, eroarea (Eroare, Logtalk (Gooooool, entitate))
• format. Schimbat eroarea intern de verificare a utiliza, ori de câte ori practic, noul "$ lgt_must_be '/ 2-3 predicate interne.
• Adaugata o & quot; optimiza & quot; pavilion, a căror valoare implicită este & quot; & quot ;. pe Acest pavilion permite utilizatorului pentru a opri optimizări existente, de exemplu pentru sarcinile de depanare (
• optimizări implementate în prezent se numără eliminarea apelurilor redundante la true / 0 din corpul unor clauze predicat compilate și eliminarea
• apelurile către redundante (=) / 2 din corpul de clauze generate de extinderea regulilor gramaticale).
• Adaugata o & quot; source_data & quot; pavilion, a căror valoare implicită este & quot; & quot ;. pe Cu acest pavilion setat la & quot; & quot ;, pe Logtalk va păstra informațiile reprezentat modul / 2 folosind,
• informatiile meciului / 1-2, foloseste / 2, și use_module / 2 directivelor plus datelor de localizare sursă (inclusiv nume de fișiere sursă și numerele de linie), util atât pentru depanarea
• și pentru integrarea cu instrumente de dezvoltare. Acest pavilion poate fi dezactivată în scopul de a genera cod mai compact. Parameter_names / 1 Obiectul și
• stil proprietate este îndepărtat pentru a evita redundanța.
• Implementarea / 1 proprietăți protejat / 1 și privat pentru obiecte, protocoale, și categorii. Împreună cu publicul / 1 de proprietate, aceste proprietăți
• permite lista de predicate declarate în entitatea a fi accesate de calcule reflectorizante. Implementat declară / 2, definește / 2, include / 3,
• si ofera / 3 proprietăți pentru accesarea proprietăților predicatelor declarate și definite în cadrul unei entități. Proprietăți Declarația includ line_count / 1, numărul liniei de directivei domeniului de aplicare predicat. Proprietăți Definiție includ line_count / 1, numărul liniei de cap a lui primei
• clauză de predicatul, și number_of_clauses / 1, numărul de clauze pentru predicatul. Implementat de asemenea utilizări experimentale / 3 și use_module / 3 proprietăți.
• Adaugata o proprietate predicat, redefined_from / 1, care permite interogarea despre obiectul sau categoria care conține o definiție predicat care este redefinita.
• Adaugata un predicat loaded_file / 3 la & quot; & quot; Logtalk built-in obiect, care completează loaded_file / 2 predicatul existente și oferă acces la
• optiuni explicite utilizat atunci când fișierul a fost compilat și încărcat.
• sprijin compilator Implementarea pentru meta_non_terminal / 1 directivei și apelul // N built-in non-terminale.
• simplificata elaborarea de reguli gramaticale prin eliminarea suportului de care se ocupă cu caractere non-terminale erori domeniul de aplicare și existența la regula de gramatica
• nivel în loc de nivelul de predicat. Deși această facilitate ar putea fi de ajutor atunci când depanare regulile gramaticale, aceasta complicat integrarea Logtalk cu instrumente de dezvoltare Prolog-native.
• Actualizat compilatorul Logtalk, în scopul de a salva locurile de clauza entitate și pun aceste informații la dispoziția back-end compilatoare Prolog.
• Actualizat compilatorul Logtalk pentru a evita generarea clauze catchall interne inutile pentru declarația predicat și tabelele definiție pentru persoanele dinamice.
• Actualizat compilatorul Logtalk, în scopul de a exclude utilizarea predicate multifile pentru încălcarea obiect încapsulare. O declarație primar
• entitate trebuie să existe, care conține atât un domeniu de aplicare și o directivă multifile pentru predicatul. În plus, definirea clauzele de multifile
• Entitate :: Functor / Arity fără o multifile / 1 Directiva corespunzător va duce acum la o eroare de compilare în loc de pur și simplu un avertisment.
• Eliminat restricția Logtalk compilator care forțat discontinue / 1 și dinamice / 1 directive să preceadă apelurile către predicatele declarate.
• îmbunătățit raportul Logtalk compilator de apeluri misspelt la non-terminale din regulile gramaticale.
• Permiteți utilizarea:. De control / 1 construi pe corpul de norme gramaticale
• Când depanare mesaje specificate în utilizări / 2 directive, mesajul este acum tipărit implicit calificată în codul sursă scris de către utilizator.
• schimbată predicatele interne utilizate în punerea în aplicare a built-in multi-threading predicatelor în scopul de a facilita integrarea cu

Unelte
• la nivel înalt de depanare care necesită decompilarea a codului Prolog generat.
• Rectificat un bug introdus în Logtalk 2.42.4 privind elaborarea de predicate entitate care apelează predicate sincronizate. Acest bug a dus la apelurile
• se face în schimb la formele care nu sunt sincronizate ale predicatelor, care ar manifesta în defecțiuni întâmplătoare de obiective cu filet.
• Rectificat un bug de mult timp în cazul în care o meta-apel compilate-rulare într-o categorie ar fi compilat ca o chemare la un predicat obiectului
• importatoare categoria în schimb ca o chemare la o categorie predicat local.
• Rectificat un bug de mult timp în cazul în care valorile de pavilion entități stabilite la nivel local, utilizând set_logtalk_flag / 2 directivă nu ar reuși să fie salvată în entitatea
• cod compilat.
• Rectificat un bug de mult timp, atunci când desființa un predicat dinamic într-un obiect non-prototip care aboli / 1 metodă ar reuși fără
• predicatul fiind de fapt abolite.
• Rectificat un bug în stabilirea contextul corect executare in cazul apelarii o meta-argument care necesită o compilație de execuție în cadrul
• & quot; expeditor & quot;.
• Rectificat un bug în elaborarea apeluri explicite calificare la modul meta-predicate în cazul în care modul calificarea va fi scăzut de la
• apel compilat. Rețineți că aceste apeluri vor folosi semantica Logtalk meta-predicat (de exemplu, meta-argumentele va fi chemat în contextul
• apelant) în loc de module Prolog-meta predicat semantica obișnuite.
• Rectificat un bug în cazul în care stivele inductia nu a fost inițializat atunci când utilizați

Ce este nou în versiunea 2.42.4:

• Această versiune include compilator, arhivare, și multi- threading optimizări de performanță, îmbunătățește mesaje de eroare compilator pentru sincronizate / 1 și dinamice / 1 directivelor, adauga suport pentru păstrarea informațiilor scop operatorului și scoate această informație pentru XML generat automat documentarea fișiere, adaugă noi predicate de utilitate a obiectului Logtalk, îmbunătățește câteva programare exemple, include o soluție pentru un program de dezinstalare bug SWI-Prolog pe Windows, și are actualizări portabilitatea pentru Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, și YAP.

Ce este nou în versiunea 2.42.3:

• Această versiune adaugă suport pentru apelarea predicatelor dinamice în Contextul de & quot; acest & quot; din cadrul categorii, adaugă suport pentru capete de clauza pre-compilate, include rezolvări ale unor probleme și îmbunătățiri debugger built-in, include biblioteci îmbunătățite și exemple, adauga suport pentru indexicals atunci când se utilizează (FD) biblioteca SICStus Prolog CLP, adaugă un exemplu experimental de folosind variabile atribuite în obiecte și categorii, și are actualizări portabilitate pentru Eclipse, GNU Prolog, SICStus Prolog, și SWI-Prolog.

Ce este nou în versiunea 2.42.2:

• Această versiune îmbunătățește elaborarea de apeluri la modul predicatele , imbunatateste verificarea meta-argumente în apeluri meta-predicat, îmbunătățește suport pentru expresii lambda, include un compilator de optimizare pentru apelurile către biblioteci meta-predicate, adaugă noi biblioteci pentru evenimente de exploatare forestieră, lucru cu relațiile interval temporal, și folosind contoare întregi, îmbunătățește exemple și biblioteci existente, adaugă suport pentru utilizarea pachetului SyntaxHighlighter JavaScript-based, și dispune de actualizări portabilitatea pentru GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, și XSB.

Ce este nou în versiunea 2.42.1:

• Această versiune adaugă suport pentru nou mod de meta-predicat indicatori, care să permită susținerea pentru mai multe Prolog proprietate built-in meta-predicate.
• Suport-a adăugat pentru detectarea și raportarea lipsă dinamice / 1 și discontinue / 1 directivelor.
• O nouă steag scame a adăugat.
• Două meta-predicat bug-uri compilare au fost corectate.
• Unele dintre exemple au fost actualizate.
• noutati Portabilitate s-au făcut pentru B-Prolog, SICStus Prolog, SWI-Prolog, XSB, și YAP.