SWI-Prolog

Ez hasznos logikai programozási célokra, a mesterséges intelligencia és a számítógépes nyelvészet.

Mi az új ebben a kiadásban:

• A Új dict típusa és szintaktikai biztosít térben és időben egyaránt hatékony név-érték térképek, kellemes szintaxis.
• Ennek következtében, szükséges volt helyettesíteni a lista kivitelező. (H, T) által a (szintén használtak Mercury) "[|] '(H, T). Hogy tűnhet drasztikus, de a gyakorlatban azonban csak néhány program, nevezetesen csinál funktorhoz (Term, F, A) listákat, majd kiválasztja a további feldolgozás az F == '.', A == 2. Kapcsolja listák inkább egy speciális konstrukció, [] még mindig az üres lista, de már nem ugyanaz, mint a "[]", azaz [] egyáltalán nem jelent.
• A szintaxis & quot; ... & quot; most leképezve szálakat. Strings kompatibilisek Eclipse (köszönet Joachim Schimpf az összes megbeszélések). Hagyományos kód-listák használatával építették .... A zászlók double_quotes és back_quotes irányítani ezt a viselkedést.
• Köszönet Torbjorn Lager, van & quot; Pengines & quot ;, Prolog motor az interneten. Ez egy általános API beszélni kényelmesen egy Prolog szerver JavaScript és más Prolog esetekben. Ez lehetővé tette suhog, SWI-Prolog a böngészőben (http://swish.swi-prolog.org), valamint http://lpn.swi-prolog.org (További Prolog most! Beágyazott suhog).
• Markus Triska hozzáadott CLP (b), a logikai kényszer megoldó, javult a CLP (FD) és még azelőtt volt, számos ponton javítja az toplevel foglalkozó korlátok.
• Köszönet Matt Lilley és Mike Elston, van CQL, DSL (Domain Specific Language) kezelésére SQL. CQL kifejlesztett egy olyan környezetben, ahol összetett SQL adatbázisok a norma, és ezért támogatja a nagy részét SQL és képesek megbirkózni asztalok ezer oszlopok és egyéb dolgokat, hogy a ocasional SQL felhasználó nem számíthat.
• Matt Lilley javult hálózati támogatást jelentősen, köztük sokkal jobban támogatja az SSL és általános támogatás a HTTP és SOCKS proxy szerverek.
• Sokan nyújtott kiegészítő (csomag) támaszkodó SWI-Prolog 7-es verzió.

Mi az új verzióban 7.2.1 / 7.3.3-dev:

• Az új típusú dict és szintaktikai biztosít térben és időben egyaránt hatékony név-érték térképek, kellemes szintaxis.
• Ennek következtében, szükséges volt helyettesíteni a lista kivitelező. (H, T) által a (szintén használtak Mercury) "[|] '(H, T). Hogy tűnhet drasztikus, de a gyakorlatban azonban csak néhány program, nevezetesen csinál funktorhoz (Term, F, A) listákat, majd kiválasztja a további feldolgozás az F == '.', A == 2. Kapcsolja listák inkább egy speciális konstrukció, [] még mindig az üres lista, de már nem ugyanaz, mint a "[]", azaz [] egyáltalán nem jelent.
• A szintaxis & quot; ... & quot; most leképezve szálakat. Strings kompatibilisek Eclipse (köszönet Joachim Schimpf az összes megbeszélések). Hagyományos kód-listák használatával építették .... A zászlók double_quotes és back_quotes irányítani ezt a viselkedést.
• Köszönet Torbjorn Lager, van & quot; Pengines & quot ;, Prolog motor az interneten. Ez egy általános API beszélni kényelmesen egy Prolog szerver JavaScript és más Prolog esetekben. Ez lehetővé tette suhog, SWI-Prolog a böngészőben (http://swish.swi-prolog.org), valamint http://lpn.swi-prolog.org (További Prolog most! Beágyazott suhog).
• Markus Triska hozzáadott CLP (b), a logikai kényszer megoldó, javult a CLP (FD) és még azelőtt volt, számos ponton javítja az toplevel foglalkozó korlátok.
• Köszönet Matt Lilley és Mike Elston, van CQL, DSL (Domain Specific Language) kezelésére SQL. CQL kifejlesztett egy olyan környezetben, ahol összetett SQL adatbázisok a norma, és ezért támogatja a nagy részét SQL és képesek megbirkózni asztalok ezer oszlopok és egyéb dolgokat, hogy a ocasional SQL felhasználó nem számíthat.
• Matt Lilley javult hálózati támogatást jelentősen, köztük sokkal jobban támogatja az SSL és általános támogatás a HTTP és SOCKS proxy szerverek.
• Sokan nyújtott kiegészítő (csomag) támaszkodó SWI-Prolog 7-es verzió.

Mi az új verzióban 7.2.0 / 7.3.1-dev:

• Az új típusú dict és szintaktikai biztosít térben és időben egyaránt hatékony név-érték térképek, kellemes szintaxis.
• Ennek következtében, szükséges volt helyettesíteni a lista kivitelező. (H, T) által a (szintén használtak Mercury) "[|] '(H, T). Hogy tűnhet drasztikus, de a gyakorlatban azonban csak néhány program, nevezetesen csinál funktorhoz (Term, F, A) listákat, majd kiválasztja a további feldolgozás az F == '.', A == 2. Kapcsolja listák inkább egy speciális konstrukció, [] még mindig az üres lista, de már nem ugyanaz, mint a "[]", azaz [] egyáltalán nem jelent.
• A szintaxis & quot; ... & quot; most leképezve szálakat. Strings kompatibilisek Eclipse (köszönet Joachim Schimpf az összes megbeszélések). Hagyományos kód-listák használatával építették .... A zászlók double_quotes és back_quotes irányítani ezt a viselkedést.
• Köszönet Torbjorn Lager, van & quot; Pengines & quot ;, Prolog motor az interneten. Ez egy általános API beszélni kényelmesen egy Prolog szerver JavaScript és más Prolog esetekben. Ez lehetővé tette suhog, SWI-Prolog a böngészőben (http://swish.swi-prolog.org), valamint http://lpn.swi-prolog.org (További Prolog most! Beágyazott suhog).
• Markus Triska hozzáadott CLP (b), a logikai kényszer megoldó, javult a CLP (FD) és még azelőtt volt, számos ponton javítja az toplevel foglalkozó korlátok.
• Köszönet Matt Lilley és Mike Elston, van CQL, DSL (Domain Specific Language) kezelésére SQL. CQL kifejlesztett egy olyan környezetben, ahol összetett SQL adatbázisok a norma, és ezért támogatja a nagy részét SQL és képesek megbirkózni asztalok ezer oszlopok és egyéb dolgokat, hogy a ocasional SQL felhasználó nem számíthat.
• Matt Lilley javult hálózati támogatást jelentősen, köztük sokkal jobban támogatja az SSL és általános támogatás a HTTP és SOCKS proxy szerverek.
• Sokan nyújtott kiegészítő (csomag) támaszkodó SWI-Prolog 7-es verzió.

Mi az új verzióban 6.6.6 / 7.1.37:

• feldolgozása # !, kötelező érvényű Fájl tolmácsot Unix már nem próbál okos, feldolgozási lehetőségeket, hogy a tolmács. Ennek hatására a változás függ a Unix verziót: néhány csak át az első lehetőség, mások csomagolás minden lehetőséget figyelembe egy és még mások átmennek a lehetőségek után eltörte őket.
• A Prolog zászló argv csak olyan érveket, amelyeket nem dolgozza fel Prolog.
• Az init fájlban .plrc (pl.ini Windows) már nem keresi a munka könyvtárat biztonsági okokból.

Mi az új verzióban 6.6.6 / 7.1.31:

• feldolgozása # !, kötelező érvényű Fájl tolmácsot Unix már nem próbál okos, feldolgozási lehetőségeket, hogy a tolmács. Ennek hatására a változás függ a Unix verziót: néhány csak át az első lehetőség, mások csomagolás minden lehetőséget figyelembe egy és még mások átmennek a lehetőségek után eltörte őket.
• A Prolog zászló argv csak olyan érveket, amelyeket nem dolgozza fel Prolog.
• Az init fájlban .plrc (pl.ini Windows) már nem keresi a munka könyvtárat biztonsági okokból.

Milyen új verzióban 6.4.0:

• Frissítve RDF könyvtár változata 3. Bárki gondoskodó mintegy RDF valószínűleg már használja a fejlesztői verziót emiatt. Hozzáadott gyors értelmezők számára ntriples, teknős és trigonometrikus formátumokat.
• Bevezetés a kvázi árajánlatot zökkenőmentes és biztonságos, hogy a külső nyelvi töredék
• Upgrade PlDoc, hogy elfogadja a közös árleszállítás konstrukciókat.
• Sok fejlesztések a fejlesztési eszközök, HTTP könyvtárak, clib csomagot. stb jobb támogatása Unix démon folyamat (syslog, UID / menedzsment, stb.)
• A kezdet locale kezelése (támogató formátumban / 3, nevezetesen írásban locale speciális nagy egész számokat.
• Sok stabilitás cucc: fix összeomlik, a hordozhatóság foltok, build rendszer fejlesztések, stb.

Mi az új verzióban 6.2.0:

• A kezdeti változata a `csomag" csomagkezelő
• Jobb forrás fájl kezelése, nevezetesen WRT. : - Tartalmazza (File).
• Sok javítások a debugger, javítása forrás kezelése és a logikát, hogy dönt, hogy melyik kikötők rejtettek.
• Windows verziót építeni az MinGW fordító projekt, ami 10-20% -os gyorsulást. Növeli a swipl-win.exe konzol: másolás / beillesztés és színes támogatását.

Mi az új verzióban 6.0.0:

• Dynamic just-in-time indexelés több érvek .
• elvonatkoztatott sok a fejlesztési API-k támogatása a PDT IDE.
• Sok razzia, bug-javítások, stb.

Mi az új verzióban 5.11.20:

• Csökkentett nyomvonal-verem használatát.
• Adja nemzedéki szemétgyűjtés.

Mi az új verzióban 5.11.10:

• Csökkentse nyomvonal-verem használatát. (részben)
• Adja nemzedéki szemétgyűjtés.

Mi az új verzióban 5.11.9:

• Csökkentse nyomvonal-verem használatát. (részben)
• Adja nemzedéki szemétgyűjtés.

Mi az új verzióban 5.10.0:

• Minden platform, most már következetesen elnevezésére. Az SWI-Prolog végrehajtható hívják swipl az összekötő swipl-ld és a Resouce-fájlkezelő swipl-rc.
• Új veremmemória-menedzsment, amelynek alapja a stack-váltás helyett odaítélte a stack ritkán a virtuális címtartomány. Ez a változás lehetővé teszi a sokkal jobb skálázhatóságot a szálak száma, ezért is eltávolították a régi menet-számlálási korlát 100. Az stack-határértékek emelhetjük és csökkent futásidőben a set_prolog_stack / 2.
• Az alapértelmezett stack-size-határértékeket jelenleg 128 per verem a 32 bites és 256 MB 64 bites hardveres.
• Kiterjedt szivárgás és a stressz-tesztelés fix számos szivárgások és versenykörülmények között, így a rendszer sokkal erőteljesebb 24x7 szerver beállítása.
• A start volt, hogy ne használja a C-stack rekur- a szempontból. Ez lehetővé teszi, hogy a feldolgozás sokkal mélyebben beágyazott szempontjából, és biztosítja a tiszta kivétel, ha forrásai nem elegendőek, hogy áthalad a távon. Még mindig sok a tennivaló ezen a területen.
• SWI-Prolog 5.10.0 bevezeti biztonságos hivatkozásokat adatbázis szempontjából (assertz / 2, Recordz / 3) és a patakok (nyit / 3).
• A változók száma a záradékok ma már csak a 1000000000; ez 65535 Emellett a rendszer kecses kivételek, amikor találkozik az erőforrás-hiba, vagy megpróbálja érvényesíteni illegális kifejezések, mint a ciklikus feltételek mellett.
• kompatibilitás mindkét YAP és SICStus fokozódik.

Mi az új verzióban 5.8.2:

• CLEANUP: Végrehajtás és dokumentáció a jel interfész.
• Fix: A --nopce / - db a (DIS), amely lehetővé teszi grafika.
• Fix: GC-bug; kihagyja csíkot uwrite-bit érv verem
• átalakítva: Eltávolították az Prolog zászló abort_with_exception; ez már nem használják.
• Fix: Kerülje patthelyzet közben kilép, miután egy végzetes hiba.
• átalakítva: is_set / 1 most használja a fajta / 2. Ennek eredményeként, nem megosztott változók minősülnek különböző elemek; A rend N * log (N) és az állítmány visszatérhet az erőforrás-hiba.
• Fix: Utána: - modul (x). végezze cél-bővítés képest modul x.
• CLEANUP: Item # 547: Hibátlan idézni definiált predikátumok, és alternatívákat.
• DOC: Tisztázzuk current_arithmetic_function / 1.
• DOC: Adja rendelkezésre álló snippit C-funkciók
• Fix: Előző egyszerűsítése sérült változó admin a fordító. Is hozzátette, teszt-eset.
• Fix: Bug # 436: egységtörekvései változó önmagában is hivatkozni hurok.

Milyen új verzióban 5.7.14:

• Fix: cross-referencer megkülönböztetni: 0 A meta-állítmány nyilatkozatok
• CLEANUP: A meta_predicate a predsort / 3
• átalakítva: hogy / 0 már csak megkeresi a hivatkozások a meghatározatlan predikátumok a modulokat tartalmazza azokat. A list_undefined / 0 még EU-tagállamok.
• Megnövelt: CLP (FD): Arc-konzisztens global_cardinality / 2, ha pár kezdetben földön.
• Fix: Handle (többfájlos) predikátumaként amelynek néhány klauzulák testük egy másik modul és néhány ugyanaz. Matt Lilley.
• hozzátette:% [& # X3c; n & # x3e;] f formátumban format_time / 3 foglalkozni a másodperc törtrésze alatt. Által használt új hibakereső kiterjesztés.
• hozzátette: debug_message_context (+ | -Context), amely további kontextust debug üzeneteket (például időbélyeg).
• Fix: Tedd apply_macros megtesz annak célja bővítése keretében a rendszer modul
• Megnövelt: CLP (FD): Gyorsabb global_cardinality / 2, ha Key-Num párok földön.
• Fix: kezelni üzemeltető prioritású válaszolva nyomtatást. Markus Triska.
• Megnövelt: Használja toplevel nyomtatási beállításokat maradék célok, tisztítás végrehajtása
• Megnövelt: Tedd term_variables és term_attvars hatékonyan, ha kap (nevezetesen term_attvars (Term, [])).
• Megnövelt: Tedd felvett adatbázist használják az új távú járóka kódot
• Megnövelt: Az első telepítés egy csontváz mozgásait tekintve egy egyszerű hurok helyett egy rekurzív eljárás. Most használatban term_variables / 2 és a kapcsolódó predikátumok. A séma elegendőnek tűnik, de a szegmentált verem kódot kell optimalizálni jelentősen. Mint az, term_variables / 2 valamivel lassabb (5%), de képes a mélyen beágyazott szempontjából sokkal kevesebb memóriát és nem-túlcsordulás.
• hozzátette: term_attvars / 2 jobb támogatása copy_term / 3. Egyeztetését követően Markus Triska.
• hozzátette: del_attrs / 1 törölni * minden * attribútumokat. Egyszerűsíti copy_term / 3.

Mi az új verzióban 5.7.12:

• Teljesítmény javítása a nagyobb programok között 10 és 40 %, attól függően, hogy a programozási stílust. Nevezetesen a kényszer megoldók profit jelentősen. Kis programok olykor sokkal nagyobb sebességnövekedést.
• Mivel 5.7.4, frissítette modulrendszer
• Sok rendbe név- és modularizálása CODEBASE.