SWI-Prolog

Este scopuri utile de programare logică, inteligență artificială și lingvistică computațională

Ce este nou în această versiune:.

• nou tip dict și sintaxa oferă atât timp și spațiu eficient nume-valoare hărți cu o sintaxă plăcută.
• În consecință, a fost necesar să se înlocuiască lista constructorului (H, T) de către (de asemenea, în utilizarea de către Mercur) "[|]". (H, T). Care poate părea drastice, dar, în practică, afectează doar câteva programe, în special a face functor (Term, F, A) pe listele și apoi selectând prelucrare ulterioară pe F == ".", A == 2. Pentru a porni într-o mai mult liste Altele: Tehnica, [] este în continuare lista goală, dar nu mai la fel ca "[]", adică, [] nu este la atom.
• Sintaxa & quot; ... & quot; este acum mapate la siruri de caractere. Siruri de caractere sunt compatibile cu ECLIPSE (datorită Joachim Schimpf pentru toate discuțiile). Lista de coduri tradiționale sunt construite folosind .... steagurile double_quotes și back_quotes controla acest comportament.
• Datorită Torbjorn Lager, avem & quot; & quot ;, Pengines motoare Prolog pe web. Acest lucru oferă un API generic pentru a vorbi confortabil la un server de la Prolog JavaScript și alte instanțe Prolog. A permis spilcuit, SWI-Prolog in browser-ul dvs. (http://swish.swi-prolog.org), precum și http://lpn.swi-prolog.org (Aflați Prolog Acum! Cu foșnet încorporat).
• Markus Triska adăugat CLP (b), Solver constrângere boolean, imbunatatit CLP lui (fd) și a fost înainte de o serie de îmbunătățiri la nivel inalt care se ocupă cu constrângeri.
• Datorită Matt Lilley și Mike Elston, există CQL, un DSL (Domain Language Specific) pentru a face cu SQL. CQL este dezvoltat într-un mediu în care bazele de date SQL complexe sunt norma și, prin urmare, sprijină un subset mare de SQL si poate face cu tabele cu mii de coloane și alte lucruri pe care utilizatorul SQL ocazionale nu va aștepta.
• Matt Lilley îmbunătățit rețea de sprijin semnificativ, inclusiv mult mai bine suport pentru SSL și sprijin general pentru ambele HTTP și șosete servere proxy.
• Mulți oameni au furnizat suplimente (pachete) care se bazează pe SWI-Prolog versiunea 7.

Ce este nou în versiunea 7.2.1 / 7.3.3-dev:

• Noul tip dict și sintaxa oferă atât timp și spațiu eficient nume-valoare hărți cu o sintaxă plăcută.
• În consecință, a fost necesar să se înlocuiască lista constructorului (H, T) de către (de asemenea, în utilizarea de către Mercur) "[|]". (H, T). Care poate părea drastice, dar, în practică, afectează doar câteva programe, în special a face functor (Term, F, A) pe listele și apoi selectând prelucrare ulterioară pe F == ".", A == 2. Pentru a porni într-o mai mult liste Altele: Tehnica, [] este în continuare lista goală, dar nu mai la fel ca "[]", adică, [] nu este la atom.
• Sintaxa & quot; ... & quot; este acum mapate la siruri de caractere. Siruri de caractere sunt compatibile cu ECLIPSE (datorită Joachim Schimpf pentru toate discuțiile). Lista de coduri tradiționale sunt construite folosind .... steagurile double_quotes și back_quotes controla acest comportament.
• Datorită Torbjorn Lager, avem & quot; & quot ;, Pengines motoare Prolog pe web. Acest lucru oferă un API generic pentru a vorbi confortabil la un server de la Prolog JavaScript și alte instanțe Prolog. A permis spilcuit, SWI-Prolog in browser-ul dvs. (http://swish.swi-prolog.org), precum și http://lpn.swi-prolog.org (Aflați Prolog Acum! Cu foșnet încorporat).
• Markus Triska adăugat CLP (b), Solver constrângere boolean, imbunatatit CLP lui (fd) și a fost înainte de o serie de îmbunătățiri la nivel inalt care se ocupă cu constrângeri.
• Datorită Matt Lilley și Mike Elston, există CQL, un DSL (Domain Language Specific) pentru a face cu SQL. CQL este dezvoltat într-un mediu în care bazele de date SQL complexe sunt norma și, prin urmare, sprijină un subset mare de SQL si poate face cu tabele cu mii de coloane și alte lucruri pe care utilizatorul SQL ocazionale nu va aștepta.
• Matt Lilley îmbunătățit rețea de sprijin semnificativ, inclusiv mult mai bine suport pentru SSL și sprijin general pentru ambele HTTP și șosete servere proxy.
• Mulți oameni au furnizat suplimente (pachete) care se bazează pe SWI-Prolog versiunea 7.

Ce este nou în versiunea 7.2.0 / 7.3.1-dev:

• Noul tip dict și sintaxa oferă atât timp și spațiu eficient nume-valoare hărți cu o sintaxă plăcută.
• În consecință, a fost necesar să se înlocuiască lista constructorului (H, T) de către (de asemenea, în utilizarea de către Mercur) "[|]". (H, T). Care poate părea drastice, dar, în practică, afectează doar câteva programe, în special a face functor (Term, F, A) pe listele și apoi selectând prelucrare ulterioară pe F == ".", A == 2. Pentru a porni într-o mai mult liste Altele: Tehnica, [] este în continuare lista goală, dar nu mai la fel ca "[]", adică, [] nu este la atom.
• Sintaxa & quot; ... & quot; este acum mapate la siruri de caractere. Siruri de caractere sunt compatibile cu ECLIPSE (datorită Joachim Schimpf pentru toate discuțiile). Lista de coduri tradiționale sunt construite folosind .... steagurile double_quotes și back_quotes controla acest comportament.
• Datorită Torbjorn Lager, avem & quot; & quot ;, Pengines motoare Prolog pe web. Acest lucru oferă un API generic pentru a vorbi confortabil la un server de la Prolog JavaScript și alte instanțe Prolog. A permis spilcuit, SWI-Prolog in browser-ul dvs. (http://swish.swi-prolog.org), precum și http://lpn.swi-prolog.org (Aflați Prolog Acum! Cu foșnet încorporat).
• Markus Triska adăugat CLP (b), Solver constrângere boolean, imbunatatit CLP lui (fd) și a fost înainte de o serie de îmbunătățiri la nivel inalt care se ocupă cu constrângeri.
• Datorită Matt Lilley și Mike Elston, există CQL, un DSL (Domain Language Specific) pentru a face cu SQL. CQL este dezvoltat într-un mediu în care bazele de date SQL complexe sunt norma și, prin urmare, sprijină un subset mare de SQL si poate face cu tabele cu mii de coloane și alte lucruri pe care utilizatorul SQL ocazionale nu va aștepta.
• Matt Lilley îmbunătățit rețea de sprijin semnificativ, inclusiv mult mai bine suport pentru SSL și sprijin general pentru ambele HTTP și șosete servere proxy.
• Mulți oameni au furnizat suplimente (pachete) care se bazează pe SWI-Prolog versiunea 7.

Ce este nou în versiunea 6.6.6 / 7.1.37:

• Prelucrarea # !, obligatorii un fișier la un interpret în Unix nu mai încearcă să fie inteligente despre opțiunile de procesare la interpret. Efectul acestei modificări depinde de versiunile Unix:. Unele trece doar prima opțiune, altele pachet toate opțiunile într-un singur și totuși alții să treacă opțiunile după ruperea ei
• pavilion argv Prolog prevede doar argumente care nu au fost procesate de Prolog.
• fișier de inițializare .plrc (pl.ini pe Windows) nu mai este cautat in directorul de lucru din motive de securitate.

Ce este nou în versiunea 6.6.6 / 7.1.31:

• Prelucrarea # !, obligatorii un fișier la un interpret în Unix nu mai încearcă să fie inteligente despre opțiunile de procesare la interpret. Efectul acestei modificări depinde de versiunile Unix:. Unele trece doar prima opțiune, altele pachet toate opțiunile într-un singur și totuși alții să treacă opțiunile după ruperea ei
• pavilion argv Prolog prevede doar argumente care nu au fost procesate de Prolog.
• fișier de inițializare .plrc (pl.ini pe Windows) nu mai este cautat in directorul de lucru din motive de securitate.

Ce este nou în versiunea 6.4.0:

• Actualizat biblioteca RDF la versiunea 3. Oricine îngrijirea despre RDF a fost, probabil, deja folosind versiunea de dezvoltare pentru acest motiv. Interpretoare rapide adăugată pentru ntriples, formate Turtle și trig.
• Introducerea de oferta cvasi pentru includerea lină și în condiții de siguranță a fragmente de limbă externe
• upgrade de PIDoc să accepte constructele Markdown comun.
• multe îmbunătățiri la instrumentele de dezvoltare, biblioteci HTTP, pachetul CLIB. etc Suport mai bun pentru procesele de daemon Unix (syslog, UID / GID management, etc.)
• Un început pentru manipularea locale (format / 3 de sprijin, în special scris de localizare întregi specifice mari.
• O mulțime de stabilitate lucruri:. accidente fixe, patch-uri de portabilitate, construi imbunatatiri sistemului, etc

Ce este nou în versiunea 6.2.0:

• versiunea inițială a `ambalajului" managerul de pachete
• o mai bună manipulare fișier sursă, în special WRT. : - Includ (File)
.
• Multe remedieri la debugger, îmbunătățirea manipulare sursă și logica care decide cu privire la care sunt ascunse porturi.
• versiune de Windows acum construi cu ajutorul proiectului compilator MinGW, care rezultă în 10-20% accelerare. Îmbunătățiri la swipl-win.exe consolă:. Copy / paste și de sprijin de culoare

Ce este nou în versiunea 6.0.0:

• Dinamic indexare just-in-time pe mai multe argumente .
• captată multe dintre API-urile de dezvoltare, sprijinind IDE PDT.
• O mulțime de curatare, bug-remedieri, etc.

Ce este nou în versiunea 5.11.20:.

• Reducerea utilizare traseu-stack
• Asigurarea de colectare a gunoiului de generații.

Ce este nou în versiunea 5.11.10:

• Reduceți utilizarea traseu-stack. (parțial)
• Asigurarea de colectare a gunoiului de generații.

Ce este nou în versiunea 5.11.9:

• Reduceți utilizarea traseu-stack. (parțial)
• Asigurarea de colectare a gunoiului de generații.

Ce este nou în versiunea 5.10.0:

• Toate platformele folosesc acum denumirea consistent. Executabil SWI-Prolog este numit swipl, linkerul swipl-LD și manager de Resouce-file swipl-RC.
• stack New memorie de management, care se bazează pe stiva schimbare, mai degrabă decât alocarea stive slab în adresa-spațiul virtual. Această modificare permite o mult mai bine scalabilitate în numărul de fire, asa ca am eliminat, de asemenea, limita de vârstă fir-Contele de 100. stivei-limite pot fi ridicate și redusă la rulare folosind set_prolog_stack / 2 acum.
• Valoarea implicită stivă-size-limite sunt acum 128MB pe stiva pe 32 de biți și 256Mb pe hardware pe 64 de biți.
• scurgere extensive și stress-testing au stabilit o serie de scurgeri de informații și condițiile de rasă, ceea ce face sistemul mult mai robust în Setup server de 24x7.
• A început a fost făcut pentru a evita folosirea C-stiva pentru recursiune în termeni. Acest lucru permite de prelucrare mult mai profund imbricate termeni și oferă un excepție curat dacă există resurse suficiente pentru a traversa pe termen. Mai sunt încă multe de făcut în acest domeniu.
• SWI-Prolog 5.10.0 introduce referințele de siguranță a bazei de date termeni (assertz / 2, recordz / 3) și fluxuri (deschide / 3).
• Numărul de variabile în clauzele este acum limitată la 1000000000; acest lucru a fost 65535. In plus, sistemul oferă excepții grațios atunci când se confruntă cu resurse-erori sau încercarea de a-și afirma termeni ilegale, cum ar fi termeni ciclice.
• Compatibilitate atât YAP și SICStus este îmbunătățită.

Ce este nou în versiunea 5.8.2:

• CLEANUP: Implementarea și documentarea a interfeței de semnal.
• FIX:. Folosiți --nopce / - PCE pentru (dez) care permite grafica
• FIX: GC-bug; omite stripping uwrite-bit de argument stiva
• modificate: Eliminat abort_with_exception pavilion Prolog; nu mai este folosit.
• FIX: Evitați impas în timp ce încerca pentru a ieși după o eroare fatală
.
• modificare: is_set / 1 folosește acum un fel / 2. Ca urmare, variabile non-comune sunt considerate elemente diferite; ordinea este N * log (N) și predicatul poate returna o resursă-eroare.
• FIX: După: -.. modul (x), efectuați poarta expansiune în raport cu modulul X
• CLEANUP: Postul # 547:. citat corespunzător predicate nedefinite și alternative
• DOC: Clarificarea current_arithmetic_function / 1
.
• DOC: Furnizarea de disponibilitatea snippit pentru C-funcții
• FIX: simplificarea Anterior corupt admin variabilă a compilatorului. Testare-caz a adaugat de asemenea.
• FIX: Bug # 436: unificarea unei variabile cu ea însăși creează o buclă de referință
.

Ce este nou în versiunea 5.7.14:

• FIX: eco-referencer pentru a distinge: de la 0 în declarațiile de meta-predicat
• CLEANUP: Folosiți meta_predicate pentru predsort / 3
• modificate: face / 0 acum doar scaneaza pentru referințele la predicatele nedefinite în modulele care le contin. List_undefined / 0 încă caută la nivel global.
• îmbunătățită: CLP (FD):. Arc-consistent global_cardinality / 2 în cazul în perechi sunt inițial la sol
• FIX: mâner (multifile) predicate pentru care unele clauze au corpul lor într-un alt modul, iar unele în același. Matt Lilley.
• a adăugat:% [& # x3c; n & # x3e;] format f la format_time / 3 de a face cu fracțiuni de secundă. Folosit de noi extensii de depanare.
• a adăugat: debug_message_context (+ | -Context) pentru a specifica context suplimentar pentru mesajele de depanare (cum ar fi un timp-timbru)
.
• FIX: Asigurați-apply_macros face expansiunea în poartă în contextul modulului sistemului
• îmbunătățită: CLP (FD): global_cardinality repede / 2 în cazul în care perechi cheie-Num sunt sol
.
• FIX: mâner operator prioritate în imprimarea răspuns. Markus Triska.
• îmbunătățită: Utilizarea opțiunilor de imprimare de nivel inalt pentru obiective reziduale, punerea în aplicare de curatare
• îmbunătățită: Asigurați-term_variables și term_attvars eficientă dacă se dă o listă (în special term_attvars (Term, []))
.
• îmbunătățită: Asigurați-baze de date înregistrate folosi noua cod termen Walker
• îmbunătățită: Prima instalare a unui schelet pentru traversarea termeni folosind o buclă simplă, mai degrabă decât o procedură recursiv. Acum în uz pentru term_variables / 2 și predicate asociate. Schema par a fi adecvate, dar codul stivă segmentat trebuie optimizat considerabil. Așa cum este, term_variables / 2 este ușor mai lent (5%), dar se poate ocupa termeni profund imbricate cu mult mai puțin memorie și fără revarsarile stack.
• a adăugat: term_attvars / 2 pentru o mai bună susținere a copy_term / 3. După discuții cu Markus Triska.
• a adăugat: del_attrs / 1 pentru a șterge toate * * atribute. Simplifică copy_term / 3.

Ce este nou în versiunea 5.7.12:

• îmbunătățire a performanței cu privire la programele mari este între 10 și 40 %, în funcție de stilul de programare. În special în rezolvarea de constrângere profit semnificativ. Programe mici arată uneori speedups mult mai mari.
• Din 5.7.4, sistemul de modul actualizat
• O mulțime de curățare în denumirea și modularizare a codebase.