SWI-Prolog

Ito ay kapaki-pakinabang na mga layunin logic programming, artificial intelligence at computational linguistics

Ano ang bagong sa paglabas:.

• Ang bagong uri dict at syntax ay nagbibigay ng parehong oras at espasyo mahusay name-value ng mga mapa na may maayang syntax.
• Bilang isang resulta, ito ay kinakailangan upang palitan ang listahan constructor (H, T) sa pamamagitan ng (din sa paggamit ng Mercury) '[|]'. (H, T). Na maaaring mukhang marahas, ngunit sa pagsasanay ay nakakaapekto lamang ng ilang mga programa, kapansin-pansin ang paggawa functor (Term, F, A) sa mga listahan at pagkatapos ay pagpili sa karagdagang processing sa F == '.', A == 2. Upang i-list higit sa isang espesyal na tayuan, [] ay ang walang laman na listahan pa rin, ngunit hindi na ang parehong bilang '[]', ie, [] ay hindi sa atom.
• Ang syntax & quot; ... & quot; ay naka-map na ngayon sa mga string. String ay katugma sa paglalaho (salamat sa Joachim Schimpf para sa lahat ng mga talakayan). Traditional code-listahan ay binuo gamit .... Ang flags double_quotes at back_quotes kontrolin ang pag-uugali na ito.
• Salamat sa Torbjorn serbesa, kailangan & quot namin; Pengines & quot ;, paunang salita engine sa web. Ito ay nagbibigay ng isang pangkaraniwang API upang makipag-usap nang kumportable sa isang paunang salita ng server galing sa JavaScript at iba pang mga pagkakataon paunang salita. Ito enable humaginit, SWI-paunang salita sa iyong browser (http://swish.swi-prolog.org) pati na rin http://lpn.swi-prolog.org (Dagdagan ang paunang salita Ngayon! May naka-embed humaginit).
• idinagdag Markus Triska CLP (b), ang boolean pagpilit Solver, pinabuting kanyang (fd) CLP at nasa harap ilang mga pagpapahusay sa toplevel pagharap sa limitasyon.
• Salamat sa Matt Lilley at Mike Elston, may CQL, isang DSL (Tukoy Wika Domain) para sa pagharap sa SQL. CQL ay binuo sa isang kapaligiran na kung saan ang complex database SQL ay ang mga pamantayan at samakatuwid ay sumusuporta sa isang malaking subset ng SQL at maaaring humarap sa mga table na may libu-libong mga haligi at iba pang mga bagay-bagay na ang ocasional user SQL ay hindi inaasahan.
• pinabuting Matt Lilley networking support makabuluhang, kabilang ang mas mas mahusay na suporta para sa SSL at pangkalahatang suporta para sa parehong HTTP at medyas proxy server.
• Maraming mga tao ay may ibinigay na mga add-on (pack) na umaasa sa SWI-paunang salita bersyon 7.

Ano ang bagong sa bersyon 7.2.1 / 7.3.3-dev:

• Ang bagong uri dict at syntax ay nagbibigay ng parehong oras at espasyo mahusay name-value ng mga mapa na may maayang syntax.
• Bilang isang resulta, ito ay kinakailangan upang palitan ang listahan constructor (H, T) sa pamamagitan ng (din sa paggamit ng Mercury) '[|]'. (H, T). Na maaaring mukhang marahas, ngunit sa pagsasanay ay nakakaapekto lamang ng ilang mga programa, kapansin-pansin ang paggawa functor (Term, F, A) sa mga listahan at pagkatapos ay pagpili sa karagdagang processing sa F == '.', A == 2. Upang i-list higit sa isang espesyal na tayuan, [] ay ang walang laman na listahan pa rin, ngunit hindi na ang parehong bilang '[]', ie, [] ay hindi sa atom.
• Ang syntax & quot; ... & quot; ay naka-map na ngayon sa mga string. String ay katugma sa paglalaho (salamat sa Joachim Schimpf para sa lahat ng mga talakayan). Traditional code-listahan ay binuo gamit .... Ang flags double_quotes at back_quotes kontrolin ang pag-uugali na ito.
• Salamat sa Torbjorn serbesa, kailangan & quot namin; Pengines & quot ;, paunang salita engine sa web. Ito ay nagbibigay ng isang pangkaraniwang API upang makipag-usap nang kumportable sa isang paunang salita ng server galing sa JavaScript at iba pang mga pagkakataon paunang salita. Ito enable humaginit, SWI-paunang salita sa iyong browser (http://swish.swi-prolog.org) pati na rin http://lpn.swi-prolog.org (Dagdagan ang paunang salita Ngayon! May naka-embed humaginit).
• idinagdag Markus Triska CLP (b), ang boolean pagpilit Solver, pinabuting kanyang (fd) CLP at nasa harap ilang mga pagpapahusay sa toplevel pagharap sa limitasyon.
• Salamat sa Matt Lilley at Mike Elston, may CQL, isang DSL (Tukoy Wika Domain) para sa pagharap sa SQL. CQL ay binuo sa isang kapaligiran na kung saan ang complex database SQL ay ang mga pamantayan at samakatuwid ay sumusuporta sa isang malaking subset ng SQL at maaaring humarap sa mga table na may libu-libong mga haligi at iba pang mga bagay-bagay na ang ocasional user SQL ay hindi inaasahan.
• pinabuting Matt Lilley networking support makabuluhang, kabilang ang mas mas mahusay na suporta para sa SSL at pangkalahatang suporta para sa parehong HTTP at medyas proxy server.
• Maraming mga tao ay may ibinigay na mga add-on (pack) na umaasa sa SWI-paunang salita bersyon 7.

Ano ang bagong sa bersyon 7.2.0 / 7.3.1-dev:

• Ang bagong uri dict at syntax ay nagbibigay ng parehong oras at espasyo mahusay name-value ng mga mapa na may maayang syntax.
• Bilang isang resulta, ito ay kinakailangan upang palitan ang listahan constructor (H, T) sa pamamagitan ng (din sa paggamit ng Mercury) '[|]'. (H, T). Na maaaring mukhang marahas, ngunit sa pagsasanay ay nakakaapekto lamang ng ilang mga programa, kapansin-pansin ang paggawa functor (Term, F, A) sa mga listahan at pagkatapos ay pagpili sa karagdagang processing sa F == '.', A == 2. Upang i-list higit sa isang espesyal na tayuan, [] ay ang walang laman na listahan pa rin, ngunit hindi na ang parehong bilang '[]', ie, [] ay hindi sa atom.
• Ang syntax & quot; ... & quot; ay naka-map na ngayon sa mga string. String ay katugma sa paglalaho (salamat sa Joachim Schimpf para sa lahat ng mga talakayan). Traditional code-listahan ay binuo gamit .... Ang flags double_quotes at back_quotes kontrolin ang pag-uugali na ito.
• Salamat sa Torbjorn serbesa, kailangan & quot namin; Pengines & quot ;, paunang salita engine sa web. Ito ay nagbibigay ng isang pangkaraniwang API upang makipag-usap nang kumportable sa isang paunang salita ng server galing sa JavaScript at iba pang mga pagkakataon paunang salita. Ito enable humaginit, SWI-paunang salita sa iyong browser (http://swish.swi-prolog.org) pati na rin http://lpn.swi-prolog.org (Dagdagan ang paunang salita Ngayon! May naka-embed humaginit).
• idinagdag Markus Triska CLP (b), ang boolean pagpilit Solver, pinabuting kanyang (fd) CLP at nasa harap ilang mga pagpapahusay sa toplevel pagharap sa limitasyon.
• Salamat sa Matt Lilley at Mike Elston, may CQL, isang DSL (Tukoy Wika Domain) para sa pagharap sa SQL. CQL ay binuo sa isang kapaligiran na kung saan ang complex database SQL ay ang mga pamantayan at samakatuwid ay sumusuporta sa isang malaking subset ng SQL at maaaring humarap sa mga table na may libu-libong mga haligi at iba pang mga bagay-bagay na ang ocasional user SQL ay hindi inaasahan.
• pinabuting Matt Lilley networking support makabuluhang, kabilang ang mas mas mahusay na suporta para sa SSL at pangkalahatang suporta para sa parehong HTTP at medyas proxy server.
• Maraming mga tao ay may ibinigay na mga add-on (pack) na umaasa sa SWI-paunang salita bersyon 7.

Ano ang bagong sa bersyon 6.6.6 / 7.1.37:

• Processing ng # !, umiiral ang isang file sa isang interpreter sa Unix hindi na sumusubok na maging matalino tungkol sa mga pagpipilian sa pagpoproseso sa mga interpreter. Ang epekto ng mga pagbabagong ito ay depende sa bersyon Unix. Ilang pumasa lamang ang unang opsyon, ang iba pack ang lahat ng mga pagpipilian sa isa at ang iba pa ay pumasa sa mga pagpipilian matapos paglabag sa mga ito
• Ang paunang salita bandila argv ay nagbibigay lamang ng mga argumento na hindi pa na-proseso sa pamamagitan ng paunang salita.
• Ang init file .plrc (pl.ini sa Windows) ay hindi na naghanap para sa mga nagtatrabaho direktoryo para sa dahilan ng seguridad.

Ano ang bagong sa bersyon 6.6.6 / 7.1.31:

• Processing ng # !, umiiral ang isang file sa isang interpreter sa Unix hindi na sumusubok na maging matalino tungkol sa mga pagpipilian sa pagpoproseso sa mga interpreter. Ang epekto ng mga pagbabagong ito ay depende sa bersyon Unix. Ilang pumasa lamang ang unang opsyon, ang iba pack ang lahat ng mga pagpipilian sa isa at ang iba pa ay pumasa sa mga pagpipilian matapos paglabag sa mga ito
• Ang paunang salita bandila argv ay nagbibigay lamang ng mga argumento na hindi pa na-proseso sa pamamagitan ng paunang salita.
• Ang init file .plrc (pl.ini sa Windows) ay hindi na naghanap para sa mga nagtatrabaho direktoryo para sa dahilan ng seguridad.

Ano ang bagong sa bersyon 6.4.0:

• Na-update ang RDF library na bersyon 3. Kahit sino nag-aalaga tungkol RDF ay marahil na gamit ang bersyon na pag-unlad para sa mga kadahilanang ito. Idinagdag mabilis parsers para ntriples, Turtle at maayos na format.
• Panimula ng mala panipi para sa makinis at ligtas na pagsasama ng mga panlabas na mga snippet ng wika
• I-upgrade ng PlDoc upang tanggapin ang mga karaniwang markdown constructs.
• Maraming mga pagpapahusay sa mga development tools, mga aklatan HTTP, clib package. atbp Mas mahusay na suporta para sa Unix proseso demonyo (syslog, UID / GID management, etc.)
• Ang isang pagsisimula para locale paghawak (sumusuporta format / 3, kapansin-pansin ang pagsusulat locale tiyak malaking integer.
• Maraming mga bagay-bagay na katatagan. nakapirming pag-crash, na maaaring dalhin patch, bumuo ng mga pagpapahusay ng sistema, atbp

Ano ang bagong sa bersyon 6.2.0:

• Initial bersyon ng `pack package manager '
• Mas mahusay na pangangasiwa source file, kapansin-pansin wrt. : - Isama (File)
.
• Maraming mga pag-aayos sa debugger, ang pagpapabuti ng pinagmulan paghawak at ang logic na nagpapasya sa kung aling port ay nakatago.
• Windows na bersyon na ngayong bumuo ng gamit ang MinGW proyekto compiler, na nagreresulta sa 10-20% speedup. Mga Pagpapahusay sa swipl-win.exe console. Copy / paste at suporta ng kulay

Ano ang bagong sa bersyon 6.0.0:

• Dynamic just-in-time sa pag-index sa maramihang mga argumento .
• lumilipad ang isip ng marami sa mga API ng pag-unlad, ang pagsuporta sa PDT IDE.
• Maraming cleanup, bug-aayos, etc.

Ano ang bagong sa bersyon 5.11.20:.

• Mas kaunting paggamit trail-stack
• Magbigay generational koleksyon ng basura.

Ano ang bagong sa bersyon 5.11.10:

• Bawasan ang paggamit ng trail-stack. (bahagyang)
• Magbigay generational koleksyon ng basura.

Ano ang bagong sa bersyon 5.11.9:

• Bawasan ang paggamit ng trail-stack. (bahagyang)
• Magbigay generational koleksyon ng basura.

Ano ang bagong sa bersyon 5.10.0:

• Ang lahat ng mga platform na ngayon ng pare-pareho pagpapangalan. Ang SWI-paunang salita executable ay tinatawag swipl, ang linker swipl-ld at ang resouce-file manager swipl-rc.
• New stack memory-management na ay batay sa stack-paglilipat sa halip na sa paglaan ng stack masinsin sa virtual address-space. Pinahihintulutan ng pagbabagong ito para sa mas mahusay na kakayahang sumukat sa bilang ng mga thread, kaya tinanggal din namin ang lumang limit thread-count ng 100. Ang stack-limitasyon ay maaari na ngayong itataas at nabawasan sa runtime gamit set_prolog_stack / 2.
• Ang default na stack-size-limitasyon ay 128MB ngayon per stack sa 32-bit at 256Mb sa 64-bit hardware.
• Malawak na tumagas at stress-testing na naayos ng isang bilang ng mga paglabas at kundisyon lahi, paggawa ng sistema ang mas matatag na sa setup 24x7 server.
• Ang start ay ginawa upang iwasan ang paggamit ng mga C-salansan para recursing sa mga tuntunin. Ito ay nagpapahintulot sa pagpoproseso ng mas malalim nested tuntunin at nagbibigay ng isang malinis exception kung may mga hindi sapat na mapagkukunan upang tawirin ang term. May magkano na gawin sa lugar na ito pa rin.
• SWI-paunang salita 5.10.0 nagpapakilala safe mga sanggunian sa mga tuntunin database (assertz / 2, Recordz / 3) at daluyan (buksan / 3).
• Ang bilang ng mga variable sa clause ngayon ay limitado sa 1,000,000,000; ito ay 65,535 Sa karagdagan, ang sistema ay nagbibigay kaaya-aya eksepsiyon kapag nakaharap resource-error o sinusubukan mong igiit ang illegal na termino tulad ng cyclic terms.
• Compatibility sa parehong YAP at SICStus ay pinahusay na.

Ano ang bagong sa bersyon 5.8.2:

• Cleanup: Pagpapatupad at dokumentasyon ng interface signal.
• Fixed:. Gamitin --nopce / - pce para sa (dis) na nagpapahintulot sa graphics
• Fixed: GC-bug; ligtaan pagkakalag uwrite-bit mula argument stack
• BINAGO: Inalis ang prolog bandila abort_with_exception; ito ay hindi na ginagamit.
• Fixed: Iwasan ang deadlock habang sinusubukan upang lumabas matapos ang isang malalang error
.
• BINAGO: is_set / 1 ay gumagamit na ngayon ang uri / 2. Bilang isang resulta, non-shared variable ay itinuturing iba't ibang mga elemento; ang order ay N * log (N) at ang tambalan ay maaaring bumalik sa isang mapagkukunan-error.
• Fixed: Pagkatapos: -.. module (x), magsagawa ng layunin-expansion na kamag-anak sa module x
• Cleanup: Item # 547:. Maayos quote naipalilawanag predicates at alternatibo
• DOC: linawin current_arithmetic_function / 1
.
• DOC: Magbigay availability snippit para sa C-andar
• Fixed: napinsala Nakaraan pagpapagaan variable admin ng compiler. Nagdagdag din test-case.
• Fixed: Bug # 436: unifying isang variable sa sarili nito ay lumilikha ng isang reference loop
.

Ano ang bagong sa bersyon 5.7.14:

• Fixed: cross-referencer na makilala: mula 0 sa meta-predicate pagdeklara
• Cleanup: Gamitin meta_predicate para predsort / 3
• BINAGO: gumawa / 0 ngayon lamang Sinusuri para sa mga sanggunian sa mga hindi natukoy na predicate sa mga module na naglalaman ng mga ito. Ang list_undefined / 0 pa rin globally paghahanap.
• Pinahusay: CLP (FD):. Arc-pare-pareho global_cardinality / 2 kung pares ay una ground
• Fixed: Handle (multifile) predicates para sa kung saan ang ilang mga clause ang kanilang mga katawan sa isa pang module at ang ilan sa parehong. Matt Lilley.
• ADDED:% [& # x3c; n & # x3e;] f format na format_time / 3 sa pakikitungo sa mga fraction ng segundo. Ginamit sa pamamagitan ng mga bagong extension ng debug.
• ADDED: debug_message_context (+ | -Context) upang tukuyin ang karagdagang konteksto para sa pag-debug ng mga mensahe (tulad ng isang time-stamp)
.
• Fixed: Gumawa apply_macros gawin expansion ang layunin sa context ng sistema ng module
• Pinahusay: CLP (FD): Mas mabilis global_cardinality / 2 kung Key-Num pares ay lupa
.
• Fixed: hawakan operator-priority sa sagot printing. Markus Triska.
• Pinahusay: Gamitin ang mga opsyon toplevel print para sa mga tira-tirang mga layunin, cleanup pagpapatupad
• Pinahusay: Gumawa term_variables at term_attvars mahusay na kung ang isang listahan ay ibinigay (kapansin-pansin term_attvars (Term, []))
.
• Pinahusay: Gumawa naitala database gamitin ang bagong term-panlakad code
• Pinahusay: First setup ng isang balangkas para sa traversing tuntunin ng paggamit ng isang simpleng loop sa halip na isang recursive procedure. Ngayon ginagamit para term_variables / 2 at kaugnay predicate. Lumilitaw sapat schema Ang, ngunit dapat na-optimize malaki ang segment stack code. Bilang ay, term_variables / 2 ay bahagyang mas mabagal (5%), ngunit ito ay maaaring humawak ng matindi nested tadhana may mas mababa memory at walang stack overflows.
• ADDED: term_attvars / 2 para sa mas mahusay na suporta ng copy_term / 3. Pagkatapos ng talakayan sa Markus Triska.
• ADDED: del_attrs / 1 upang tanggalin ang lahat * * katangian. Pinadadali copy_term / 3.

Ano ang bagong sa bersyon 5.7.12:

• Pagganap ng pagpapabuti sa mas malaking mga programa ay sa pagitan ng 10 at 40 %, depende sa estilo programming. Kapansin-pansin ang pagpilit solvers kumita nang malaki. Minsan ipakita Maliit programa mas mas malaking speedups.
• Dahil 5.7.4, na-update na sistema module
• Maraming cleanup sa pagbibigay ng pangalan at modularization ng codebase.