Logtalk

Prolog este un limbaj de programare cu scop general logica, care a fost eliberat din nou în 1972, cu foarte puține actualizări de la.

Logtalk a fost creat pentru a adăuga mai multe caracteristici moderne Prolog, în principal, îmbunătățiri de performanță, expresii lambda, reguli gramaticale, erori de compilare îmbunătățite și raportare de avertizare.

Pe lângă aceste, se adaugă un proces de instalare mai ușor și Prolog actualizările de compatibilitate compilator.

Acest lucru face ca Logtalk o alternativă mai potrivită o mai bună Prolog în zilele moderne AI și lingvistică pe calculator scenarii, un mult mai puternic limbaj multi-paradigma, potrivite pentru eveniment condus și la nivel înalt multi-threading de programare.

sintaxa În prezent, Logtalk extinde sintaxa Prolog-ul standard și puteți rula Logtalk aceste compilatoare Prolog:

B-Prolog

CxProlog

eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Ce este nou în această versiune:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 3.02.2:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 3.02.1:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 3.00.4:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 3.00.2:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 3.00.1:

• AMELIORAT:
• Modificări etichetele termen folosit atunci când scrierea de cod compilat pentru a ajuta la minimizarea dimensiunii fișierelor intermediare generate de Prolog care utilizează aceste etichete pentru a decide când pentru a decora termeni compilate cu sursă de date locație (în prezent, numai SWI-Prolog profită de date despre locație).
• FIX:
• Un fișier poate avea mai mult de un fișier părinte.

Ce este nou în versiunea 2.44.1:

• corectat o eroare în compilarea meta_non_terminal / 1 directivă în cazul în care numai prima meta-argument ar fi corect prelucrate.
• Actualizat fișierul de configurare ECLIPSE pentru a detecta atunci când rulează pe sistemele Windows pe 64 biți și de a ignora exporturile non-predicat și non-operator, atunci când pre-procesare a lib / 1 directive.
• Actualizarea cadrul unității de testare pentru a imprima mai multe mesaje informative pentru teste unitare eșuate.
• predicat Adăugat divizat / 4 (pentru divizarea unei liste în subliste cu o anumită lungime) la & quot; listp & quot ;, & quot; lista & quot ;, și & quot; difflist & quot; Entitățile de bibliotecă.
• Actualizarea & quot; cc & quot; de exemplu, cu o definiție pentru shell / 2 predicat pentru CxProlog.
• A schimbat numele obiectelor din & quot; Ml & quot; de exemplu, pentru a evita un conflict de nume atunci când rulează testele exemplu de unitate.
• Corectat un bug în programul de instalare Windows, care a împiedicat detectarea de biți versiuni YAP 64. Grație Stepan Ipatov pentru raportul de eroare.

Ce este nou în versiunea 2.44.0:

• Această versiune modifică semantica completării categoriilor, permițând utilizarea sa a patch-uri de cod obiect existent, rezolvă două bug-uri în procesarea meta-apeluri, permite liste deschise de terminale în corpul normelor DCG, adaugă două noi exemple și îmbunătățește suportul pentru editorul de text Vim și pentru Ctags exuberant.

Ce este nou în versiunea 2.43.3:

• corectat o eroare în timpul rulării handler Logtalk compilator în cazul în care acesta nu a reușit să separe identificatori entității interne atunci când aruncă excepții existența entității.
• Actualizarea Lean fișierul de configurare Prolog, adaugand indicele / 1 directive pentru unele dintre predicatele dinamice utilizate de tabele interne Logtalk runtime.
• Actualizat fișierele de integrare SWI-Prolog pentru a testa pentru disponibilitatea directivei indicele / 1, care este depreciat de noul suport experimental SWI-Prolog pentru just in time indexare multi-argument.
• Adăugat predicatele subsir / 4 (pentru generarea subsirurile unei liste cu o anumită lungime), înlocui / 4 (pentru înlocuirea elementelor într-o listă), și hamming_distance / 3 la biblioteca & quot; listp & quot; și & quot; lista & quot; entități.
• Adăugat euclidean_norm / 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.
• corectat unele bug-uri stupide în definiția & quot; caracterul & quot; obiect de bibliotecă predicatele is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, și is_hex_digit / 1.
• Actualizarea biblioteca & quot; all_loader.lgt & quot; fișier de încărcare pentru a încărca, de asemenea, & quot; meta_compiler_loader.lgt & quot; fișier de încărcare.

Ce este nou în versiunea 2.43.2:

• Optimizat procesarea declarațiilor operatorului atunci când compilarea fișierelor sursă și crearea de noi entități dinamic.
• Actualizarea compilator Logtalk de a utiliza & quot; module & quot; pavilion compilator atunci când testarea pentru suport de modul Prolog, pentru a evita, astfel, problemele de compilare cu back-end compilatoare Prolog care nu suporta un sistem modular, dar încă defini (:). / 2 ca un built-in construct de control sau a predicat
• sprijin pentru Eliminat & quot; startup_message & quot; pavilion compilator & quot; steaguri (compacte) & quot; și & quot; steaguri (verbose) & quot; valori, înlocuite cu o singură valoare, & quot; & quot ;, steaguri care corespunde vechiului & quot; steaguri (compacte) & quot; valoare.
• Corectat un bug atunci când se utilizează op / 3 directive cu / 4 predicate create_protocol / 3, create_object / 4, și în cazul în care create_category declarațiile operatorului local ar fi vizibile în afara noilor entități.
• Corectat un bug în cazul în care crearea unei noi entități dinamice în timpul rulării ar defini un predicat dinamic de contabilitate nu mai este folosit, care nu ar fi eliminate atunci când entitatea este eliminată.
• Corectat un bug compilator în cazul în care un & quot; Super & quot; apelați din interiorul unui obiect pe care numai în sine și instanțiază nu specializa nici un obiect ar arunca o excepție în loc de a nu.
• Actualizarea & quot; benchmark & ​​quot; de exemplu, în scopul de a proteja împotriva excepțiilor aritmetice atunci când se calculează numărul total de apeluri pe secundă pentru fiecare test. A redus numărul de repetiții de teste de evaluare la rularea testelor unitare pentru a evita timpi de calcul de lungă durată cu lent de back-end compilatoare Prolog.

Ce este nou în versiunea 2.43.1:

• S-a modificat compilator pentru a lua în considerare utilizările / 2 directive atunci când compilarea apelurilor către metodele încorporate în baza de date. Această modificare extinde semantica utilizărilor / 2 directivei și permite migrarea ușoară de la aplicații Prolog simplå Logtalk.
• Adăugat suport experimental pentru utilizarea unui șablon predicat ca argument al coinductive directivei / 1. Acest șablon permite specificarea care argumente sunt semnificative pentru succesul coinductive. Bazată pe funcționalitate similară găsită pe la DRA meta-interpretul lui Feliks Kluzniak lui.
• Suport îmbunătățit pentru depanarea predicate coinductive atunci când se utilizează Logtalk built-in debugger.
• sprijin coinduction Eliminat CxProlog. Versiunea actuală a acestui compilator îi lipsește un soft-cut built-in predicat sau de construcție de control, care este în prezent impusă de punerea în aplicare coinduction experimentale.
• Ridicată o limitare de lungă durată, care a împiedicat definiția de utilizare de predicate pentru wrapper bagof / 3 și setof / 3 built-in metodele de fiecare dată când argumentul obiectiv poate utiliza ^ / 2 cuantificatorul existențial.
• Adăugat suport pentru & quot; ^ & quot; Meta-predicat mode meta-argument Specificator sugerat de Jan Wielemaker și a găsit pe SWI-Prolog 5.11.25. Acest mod specificator este util pentru definirea ambalajelor pentru / 3 și setof / 3 metode bagof încorporate de fiecare dată când argumentul obiectiv poate utiliza ^ / 2 cuantificatorul existențial.
• Adăugat & quot; prolog_compiler & quot; și & quot; prolog_loader & quot; steaguri compilator, care permit trecerea de opțiuni pentru back-end Prolog compilator built-in predicate care compilează pe disc și a încărca un instrument (compilat) flag Prolog. Valoarea implicită pentru ambele steaguri este lista goală.
• Corectat un bug atunci când compilarea apelurilor către Prolog proprietare built-in meta-predicate în cazul în care compilator Logtalk ar putea încerca să proceseze non meta-argumente ca obiective. Acest bug sa manifestat doar cu unele de back-end compilatoare Prolog, cum ar fi ECLIPSE.
• corectat o eroare în procesarea directivelor compilare condiționată.
• Corectat un bug care a împiedicat trece alias / 3 directive privind apelurile la create_object / 4, create_category / 4 și 3 predicate create_protocol / built-in.
• Eliminat din built-in obiect & quot; Logtalk & quot; a decompile_predicate_head / 4 și decompile_predicate_indicator / 4 metode dezaprobat.
• sprijin pentru Eliminat lung depreciate metapredicate / 1 Directiva Logtalk.
• Corectat un bug de performanță atunci când cache apeluri către categoria predicate în cazul în care intrările stocate în memoria cache ar putea fi mai specific decât este necesar atunci când se lucrează cu categorii de parametri.
• îmbunătățită punerea în cache a & quot; Super & quot; solicită din interior prototipuri. Anterior, toate intrările stocate în memoria cache ar fi specializate prin valoarea & quot; auto & quot; în scopul de a face față în mod corespunzător cu cazurile speciale, în cazul în care un obiect atât instanțiază și este specializat alte obiecte.
• Actualizarea compilator Logtalk pentru a activa orice declarații ale operatorului găsit pe directivele domeniului 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ă construcția de control moale tăiat, dar care oferă soft-cut built-in meta-predicat (dacă este / 3).
• Corectat un bug în cazul în care un raport fals de avertismente de compilare / de încărcare pot fi imprimate atunci când un fișier sursă a fost compilat / încărcat cu pavilion compilator & quot; raport & quot; oprit.
• A adaugat un & quot; streamvars & quot; obiect de bibliotecă, derivat din quot existent &; assignvars & quot; categoria de bibliotecă, oferind suport pentru adăugarea și extragerea termenilor (care pot fi variabile) dintr-un & quot; flux & quot; variabilă.
• Actualizarea & quot; coinduction & quot; exemplu, profitând de directiva consolidată coinductive / 1 și lărgirea numărului de exemple individuale, care pot fi rulate folosind SICStus Prolog. A adăugat un model de verificare exemplu, folosind coinduction, coroutining și constrângeri.
• Actualizarea & quot; metapredicates & quot; de exemplu, cu mostre de cod care ilustrează modul în care să se definească împachetatoare pentru / 3 și setof / 3 metode încorporate în bagof atunci când meta-argumentul poate conține variabile calificat existențial.
• Actualizarea & quot; cc & quot; exemplu, corectarea definițiilor predicat pentru mai multe back-end compilatoare Prolog și adăugarea unor teste de bază ale unității.
• Actualizarea & quot; codificări & quot; de exemplu, cu suport limitat pentru Lean Prolog.
• Adăugat intrările care lipsesc pentru meta_non_terminal directivei / 1 și pentru apelul // N non-terminal la & quot; ajuta & quot; exemplu.
• Adăugat un analizator pentru PDDL 3.0 fișiere, au contribuit de Robert Sasak.
• cod Adăugat pliere sprijin pentru editorul de text SubEthaEdit. Cod adăugat suport pentru blocuri de compilare condiționată editorilor de text Kate, Vim și TextMate pliere.
• Actualizarea script-urile de integrare, în scopul de a încărca fișierul căile de bibliotecă înainte de a încărca Logtalk compilator / runtime-ul. Această modificare are scopul de a simplifica de încărcare a bibliotecii și fișiere de exemplu din fișierele de setări. In plus, uita-te, de asemenea, pentru directorul de instalare Logtalk în $ HOME / acțiune atunci când variabila de mediu LOGTALKHOME nu este definită.
• Actualizat programul de instalare pentru Windows, în scopul de a sprijini Lean Prolog si de a detecta YAP 64 biti versiuni.

Ce este nou în versiunea 2.43.0:.

• Adăugat suport experimental pentru Lean Prolog
• a eliminat restricția de compilator Logtalk care a forțat discontinue / 1 și dinamice / 1 directive preced apelurile către predicatelor declarate.
• îmbunătățit raportul compilator Logtalk al apelurilor misspelt către non-terminale din regulile gramaticale.
• Se permite utilizarea:. De control / 1 construct pe corpul de reguli gramaticale
• Când mesajele de depanare specificate în utilizări / 2 directive, mesajul este acum tipărit implicit calificat ca în codul sursă scris de către utilizator.
• schimbată predicatele interne utilizate în punerea în aplicare a Predicatele multi-threading, în scopul de a facilita integrarea cu instrumente de depanare la nivel înalt care necesită decompilarea codului Prolog generat.
• Corectat un bug în suportul de bibliotecă pentru teste unitare, & quot;. & Quot ;, lgtunit în cazul în care testarea pentru excepții ar accepta orice termen excepție ca fiind în conformitate cu specificațiile de testare a unităților
• Actualizarea & quot; cc & quot; de exemplu, cu bug fixat și îmbunătățiri pentru ECLIPSE au contribuit Joachim Schimpf, cu un bug fix pentru implementarea SWI-Prolog a expand_path / 2 predicatul (care rezultă din modificările recente ale SWI-Prolog absolute_file_name / 3 built-in predicat), și cu o definiție pentru command_line_arguments / 1 predicat pentru echipa B-Prolog.
• Actualizarea & quot; coinduction & quot; exemplu, adăugând câteva exemple individuale, mai multe.
• Actualizarea & quot; xml_parser & quot; contribuție în vederea workaround problemelor de portabilitate cu GNU Prolog.
• Corect un bug în unele script-uri shell în cazul în care & quot; # / bin / bash & quot; s-a folosit în loc de & quot; #! / bin / bash & quot ;. Grație Yiorgos Adamopoulos pentru raportul de eroare.
• Actualizarea Inno Setup Windows GUI script-ul de instalare pentru a permite instalarea completă de către utilizatorii non-admin.
• Adăugat suport sintaxa de colorat pentru directiva ISO Prolog include / 1 pentru toți editorii de text suportate și markere de sintaxă.
• corectat unele bug-uri pe tab-ul declanșează pentru fragmentele Gedit Logtalk care au împiedicat utilizarea acestora.
• schimbată înapoi folosind XEP în loc de POP la generarea versiunilor PDF ale manualelor de utilizare și de referință ca POP trunchieri conținutul unora dintre pagini.

Ce este nou în versiunea 2.42.4:

• adăugat un / 2 predicat entity_prefix și două seturi de predicate de utilitate, decompile_predicate_heads / 2-4 și decompile_predicate_indicators / 2-4, la & quot; Logtalk & quot; built-in obiect. A marcat decompile_predicate_head / 4 și decompile_predicate_indicator / 4 ca fiind perimată.
• Adăugat suport pentru păstrarea informațiilor posibilitatea operatorilor declarate utilizând directivele domeniului de aplicare în timpul compilării. Informații adăugate pe entitate a declarat operatorilor la XML documentarea fișierelor. Actualizat textul, PDF și (X) script-uri de conversie HTML pentru a imprima informații de operator.
• aplicate mai multe optimizări de nivel scăzut la Logtalk compilator / runtime-ul.
• Mutat predicatele interne care construiesc și accesează contextul de execuție predicat de compilator pentru fișierele de configurare Prolog, în scopul de a sprijini performanta de tuning fin, care este Prolog compilator dependent.
• Actualizat punerea în aplicare a filetate / 1 multi-threading predicat built-in, în scopul de a utiliza o optimizare de performanță mici bazate pe term_variables / 2 built-in predicat sugerat de Timon Van Overveldt. Această optimizare are scopul de a reduce copie inutilă și unificarea termenilor. În plus, să înlocuiască utilizarea / 3 predicat setup_call_cleanup built-in cu / 3 predicat built-in de captură prin simplificarea manipulării atât master și slave fire, care de asemenea, îmbunătățește performanța.
• Corectat un bug în punerea în aplicare a filetate / 1 multi-threading predicat built-in în cazul în care nerespectarea de către utilizator pentru a specifica obiectivele independente atunci când se încearcă utilizarea independentă și paralelism ar duce la fire zombie.
• termeni de excepție Mai multe informații atunci când se încearcă să declare un predicat sincronizat ca dinamic sau un predicat dinamic ca și sincronizat.
• Actualizat fișierul de configurare XSB, în scopul de a sprijini compilarea modulelor ca obiecte. Sa adăugat o definiție pentru setup_call_catcher_cleanup / 4 predicat built-in lipsă. XSB 3.3 (sau o versiune ulterioară) este acum necesară pentru compatibilitatea cu Logtalk.
• Actualizat fișierul de configurare SWI-Prolog, în scopul de a oferi un sprijin limitat pentru arithmetic_function / 1 directiva de proprietate (funcții aritmetice sunt compilare ca la nivel global în loc de ca locale obiectelor sau a categoriilor le defini).
• Actualizat fișierul de configurare YAP, în scopul de a ignora / 1 Directiva style_check și să interpreteze / directiva yap_flag 2 ca 2 Directiva / set_prolog_flag.
• S-a modificat procesorul implicit XSL-FO (utilizat pentru a genera versiunile PDF ale manualelor de utilizare și de referință) de la XEP la FOP.
• Actualizarea & quot; xml_parser & quot; Contribuția pentru a workaround probleme de portabilitate cu Qu-Prolog, SICStus Prolog, si XSB.
• Actualizarea & quot; codificări & quot; de exemplu, pentru a se asigura că nu există nici un spațiu înainte / 1 Directiva de codificare.
• Actualizarea & quot; attvars & quot; de exemplu, în scopul de a sprijini B-Prolog și XSB. De asemenea, a adăugat suport pentru utilizarea variabilelor atribuite obiectelor din cadrul parametrilor Logtalk și categorii parametrice. Grație lui Jan Wielemaker, VAtor Santos Costa, și Bart Demoen pentru sugestii de feedback și de punere în aplicare.
• Actualizarea & quot; profilere & quot; de exemplu, cu suport preliminar pentru modificările de profiluri de execuție în versiunea SICStus Prolog 4.2.
• Actualizarea & quot; expansiune & quot; de exemplu, cu mai multe mostre de cod cu privire la modul de a combina term- și definiții obiectiv cu dilatare de la diferite obiecte cârlige.
• Actualizarea & quot; coinduction & quot; de exemplu, adăugarea unui experimental keysort / 2 coinductive predicat. Grație lui Jan pentru sugestie Burse.
• Actualizarea & quot; tak & quot; multi-threading exemplu, în cazul în care o tăietură lipsă ar duce la epuizeze rapid stiva locală atunci când utilizați SWI-Prolog datorită creării unui număr foarte mare de puncte de alegere care nu sunt necesare.
• Actualizarea & quot; mtbatch & quot; multi-threading exemplu, în scopul de a oferi analize comparative extinse a & quot; & quot Tak; exemplu.
• Actualizarea portfile MacPorts și script-ul pe care-l actualizează, în scopul de a elimina calcularea sumei de control MD5, care este în curs de eliminare de MacPorts.
• Actualizarea Inno Setup Windows GUI script-ul de instalare pentru a workaround un bug pe instalatorii SWI Prolog Windows în cazul în care procedura de dezinstalare nu reușesc să ștergeți cheile SWI-Prolog din Windows Registry.

Ce este nou în versiunea 2.42.3:

• Permit predicate dinamice declarate într-o categorie care urmează să fie numit în & quot; acest & quot; din cadrul categoriei. În versiunile anterioare, astfel de apeluri ar rezulta într-o eroare de compilare-timp, forțând aceste predicate să fie numite în & quot; auto & quot; (Folosind mesajul :: / 1 construct trimiterea de control).
• Adăugat Logtalk sprijin compilator pentru capete clauza de pre-compilate (folosind {} / 1 constructul de control). Această caracteristică este în mare parte utilă atunci când se utilizează mecanismul pe termen de expansiune.
• Corectat un bug pe codul care simplifică clauzele predicate generate de elaborarea unor reguli gramaticale. Codul ar buclă când o regulă gramatica conținea o meta-variabilă, care compilator Logtalk ar trebui (dar în prezent nu), raportul ca fiind ilegale (construcția de apel / 1 de control ar trebui să fie utilizat în locul în acest caz).
• simplificată compilarea apelurilor în contextul pseudo-obiect & quot; user & quot;.
• Sa adăugat o comandă depanator & quot; p & quot; la Logtalk debugger built-in. Aceasta comanda imprimă obiectivul actual utilizând imprimare / 1 predicat atunci când sunt disponibile. Redenumită comanda depanator & quot; Q & quot; la & quot; Q & quot ;. Corectat un bug în cazul în care comanda depanator & quot; w & quot; nu ar fi recunoscută. S-a modificat comanda depanator & quot; d & quot; pentru a cita termeni atunci când este necesar.
• A adăugat o punere în aplicare parțială a ISO Prolog predicate_property / 2 predicatul la fișierul de configurare ECLIPSE.
• Actualizat fișierul de configurare SWI-Prolog, în scopul de a înlătura declarația greșită a bibliotecii meta-predicate dde_register_service / 2, ora / 1, și când / 2 ca built-in meta-predicate.
• aplicat un bug fix la & quot; pavilioanele & quot; Contribuția pusă la dispoziție de către autorul său, Theofrastos Mantadelis. Workaround o problemă de compatibilitate cu GNU Prolog.
• Adăugat un memberchk / 2 predicat la biblioteca & quot; setp & quot; protocol și & quot; setați & quot; obiect. predicate adăugate is_control / 1, is_newline / 1, și is_end_of_line / 1 la biblioteca & quot; characterp & quot; și & quot; caracterul & quot; entități.
• Adăugat un exemplu experimental de utilizare a variabilelor atribuite obiectelor din cadrul și categoriile Logtalk. impune în prezent utilizarea YAP sau SWI-Prolog ca back-end compilator Prolog.
• Adăugat suport pentru indexicals la & quot; constrângeri / SICStus & quot; exemplu.
• Extended & quot; delegati & quot; de exemplu, cu o punere în aplicare a unui eșantion delegator cu ajutorul unui obiect parametri.
• Extended & quot; dynpred & quot; de exemplu, în scopul de a ilustra modul în care să se definească categoria predicatele care se ocupa de predicate dinamice în contextul & quot; acest & quot; și în contextul & quot; auto & quot;.
• Adăugat un wall_time / 1 predicat & quot; cc & quot; exemplu.
• Actualizarea sintaxa evidențierea fișierelor de test, adăugând lipsă true / 0/0 și nu constructe de control.

Ce este nou în versiunea 2.42.2:

• Actualizarea compilator Logtalk pentru a permite verificarea Proprietățile modulului predicat, fără a necesita importarea predicatele in & quot; user & quot; (Notă, cu toate acestea, că modulul trebuie încă să fie încărcate înainte de compilarea fișierelor sursă de apelare predicatelor modulului).
• Actualizarea compilator Logtalk pentru a putea verifica compila timp argumente de închidere instanțiate privind obiectivele de apel / 2-N pentru erori comune de programare.
• Actualizarea compilator Logtalk pentru a genera avertismente pentru expresii lambda cu variabile care nu sunt declarate ca fiind fie variabile libere sau parametri lambda sau cu variabile care sunt declarate ca fiind cele două variabile libere și parametrii lambda. Grație lui Jan pentru ceea ce sugereaza aceste Burse teste de corectitudine.
• Actualizat runtime Logtalk, în scopul de a sprijini utilizarea & # x3c; & # x3c; / 2 de control al construindu de închidere meta-argumente ale meta-predicate
.
• Adăugat suport pentru compilarea Free / Goal apeluri lambda expresie (prin generarea automată a unui predicat auxiliar ori de câte ori este posibil).
• Adăugat un compile_aux_clauses / 1 metodă publică, bazată pe un predicat cu același nume în SWI-Prolog, la built-in obiect & quot; Logtalk & quot ;. Această metodă se numește de obicei de la / 2 cârlige 'goal_expansion pentru a compila clauze auxiliare generate pentru susținerea unui obiectiv extins.
• Adăugat meta-predicat ignore / 1, implementat de unele compilatoare Prolog ca un predicat built-in, ca o metodă de built-in Logtalk.
• Actualizat fișierul de configurare SWI-Prolog, în scopul de a preveni auto-încărcare a bibliotecilor de module, atunci când interoghează proprietăți predicat din Logtalk.
• Actualizarea Qu-Prolog, SICStus Prolog, și fișierele de configurare xsb, în ​​scopul de a pune la dispoziția predicatul term_variables / 2 ca un predicat built-in ISO.
• Actualizat script de integrare Qu-Prolog, în scopul de a dubla valoarea dimensiunii heap pentru compilarea compilator Logtalk / runtime-ul, rezolvarea unui accident de pornire.
• Restaurat MacOS X-comandă fișierul pentru GNU Prolog (mutat sus de la & quot; script-uri / macosx / command_files / neacceptat & quot; folder).
• Adăugat predicatele findall_member / 4-5 la obiectul de bibliotecă & quot; meta & quot; (Pe baza proiectului de Prolog propunere biblioteca lui Richard OKeefes). METAP & quot; declararea și definirea predicatele apelabile / 1 și ignorați / 1 de la entitățile de bibliotecă & quot îndepărtat; și & quot; meta & quot; (Nevărsat / 1 este un predicat built-in în toate compilatoarele Prolog suportate; ignorați / 1 este acum un built-in metoda Logtalk)
.
• Adăugat un obiect de bibliotecă, & quot; meta_compiler & quot ;, care poate fi folosit ca un obiect cârlig pentru a extinde apelurile către meta-predicatele definite în obiectul de bibliotecă & quot; meta & quot; pentru a se evita cheltuielile generale de meta-apel. În acele cazuri în care apelul meta-predicat nu poate fi optimizat, definiția implicită pe & quot; meta & quot; este utilizat obiect. Cu ajutorul constructe de control ca meta-argumente nu este (încă). Lucrări în curs.
• Adăugat un protocol, & quot; loggingp & quot ;, și categorie și obiecte implementari, & quot; logare & quot; și & quot;. inregistrator & quot ;, de declarare și definirea funcționalitatea de bază pentru conectarea la evenimente de fișiere în bibliotecă
• Adăugat un protocol, & quot; intervalp & quot ;, și un obiect, & quot; intervalul & quot ;, privind declararea și definirea relațiilor de bază interval temporal la bibliotecă (bazat pe lucrarea lui James F. Allen Interval Algebra)
.
• Adăugat o categorie de punere în aplicare contoare cu numele întreg, & quot;. & Quot ;, contoare la bibliotecă
• predicatelor adăugați proper_prefix / 2 și proper_suffix / 2 la entitățile de bibliotecă & quot; listp & quot ;, & quot; lista & quot ;, și & quot; difflist & quot;.
• predicat Adăugat transpune / 2 la obiectul de bibliotecă & quot; perechi & quot;.
• Adăugat două pseudo-exemple pentru scopuri de testare, & quot; lambdas_compiled & quot; și & quot; metapredicates_compiled & quot ;, care utilizează noul obiect de bibliotecă
• & quot; meta_compiler & quot;.
• Actualizarea & quot; expansiune & quot; de exemplu, în scopul de a ilustra modul de a defini și de a combina obiecte de cârlig.
• Adăugat suport pentru utilizarea pachetului SyntaxHighlighter (versiunea 3.0.83 sau mai târziu) de Alex cu Logtalk codul Gorbaciov sursă.
• Adăugat colorare de sintaxă lipsă de altceva / 0 directivă compilare condiționată de suportul GNU Source evidenția Marcatorul.
• Sa adăugat o notă privind textul suportul de editare Logtalk disponibile pe liber editor de text MacOS X Kod.
• Adăugat suport de sintaxă colorat pentru noi ignora / 1 metoda built-in pentru toate editoarele de text suportate și markere de sintaxă.

Ce este nou în versiunea 2.42.1:

• Adăugat suport pentru compilator Logtalk pentru detectarea și raportarea lipsă dinamice / 1 și directivele discontinue / 1 predicative.
• A adăugat un nou pavilion de scame, & quot; missing_directives & quot ;, cu o valoare implicită de & quot; avertisment & quot ;, toate fișierele de configurare. Acest fanion permite imprimarea de avertismente compilator pentru lipsă dinamice / 1, discontinue / 1, și multifile / 1 predicative directive.
• Adăugat suport pentru noi indicatori mode șablon meta-predicat: (/) pentru un indicator predicat, [/] pentru o listă de indicatori predicat, și [0] pentru o listă de goluri
.
• Corectat un bug în compilator Logtalk atunci când verificarea capuri de clauze meta-predicat pentru erori în cazul în care & quot; :: & quot; Indicatorul modului de meta-argument a fost încă interpretată ca & quot; 0 & quot;.
• Corectat un bug în manipularea închiderilor (în meta-apeluri), care sunt folosite pentru a construi apeluri pentru a controla constructe sau predicate, care ar putea duce la apelarea unor meta-argumente în contextul greșit. Grație lui Ulrich Neumerkel pentru exemplul care ilustrează în lista de discuții SWI-Prolog.
• Actualizarea compilator Logtalk pentru a se evita avertismentele de imprimare cu privire la trimiterile la & quot lipsesc; quot extinderea &; și & quot; monitorizarea & quot; built-in protocoalele la compilarea modulelor ca obiecte.
• Reluat modificările în versiunea 2.39.2, care a permis pseudo-obiect & quot; utilizatorul & quot; să conțină practic definiția tuturor predicate built-in Prolog. Acest lucru ar putea conduce la rezultate diferite, în funcție de back-end compilator Prolog, în special atunci când apelarea meta-predicate în contextul & quot; user & quot;.
• Corectat un bug în SWI-Prolog & quot; swihooks.lgt & quot; fișier care a rezultat într-un mesaj de eroare fals cu privire la un pavilion Logtalk nevalid atunci când consultarea unui fișier Prolog atunci când există un fișier sursă Logtalk cu același nume, în același director.
• Adăugat suport pentru lipsă de proprietate built-in meta-predicate la B-Prolog, SICStus Prolog, SWI-Prolog, XSB și fișierele de configurare YAP.
• Actualizarea SICStus Prolog, SWI-Prolog și fișierele de configurare YAP pentru a suprascrie șabloanele meta-predicat pentru consult / 1 și load_files / 2 predicate.
• Adăugat o implementare a unui map_reduce / 5 meta-predicat la obiectul de bibliotecă & quot; meta & quot;.
• Adăugat o punere în aplicare a unui command_line_arguments / 1 predicat & quot; cc & quot; exemplu.
• Actualizarea & quot; & quot; Lambda și & quot; metapredicates & quot; exemple, care ilustrează modul în care să se calculeze numere Fibonacci folosind un pliu stânga meta-predicat. Actualizarea & quot; metapredicates & quot; de exemplu, cu un exemplu de utilizare a map_reduce / 5 meta-predicat.
• Actualizarea & quot; problog & quot; de exemplu, adăugarea de suport preliminar pentru noua sintaxă disjuncții adnotate.
• Adăugat un & quot; Magic & quot; element de la fișierul de tip mime Logtalk pentru freedesktop.org partajat baza de date mime-info.

Ce este nou în versiunea 2.42.0:.

• Adăugat o punere în aplicare a obiectelor persistente steaguri
• A adăugat o nouă pereche de predicate built-in, conforms_to_protocol / 2-3, punerea în aplicare închiderea tranzitivă a relației de implementare de protocol.
• Adăugat o directivă experimentală, adnotare / 1, pentru sprijinirea integrării Logtalk cu alte limbi, cum ar fi ProbLog și CHR.