SWI-Prolog

Bu faydalı məntiq proqramlaşdırma məqsədləri, süni intellekt və hesablama dilçilik var

Bu azad yeni nə:.

• yeni dict növü və sintaksis xoş sintaksis ilə, həm də zaman və məkan səmərəli adı dəyər xəritələri təmin edir.
• Bunun nəticəsi olaraq, bu siyahı konstruktor əvəz etmək lazım idi (H, T) tərəfindən (həmçinin Mercury tərəfindən istifadə) [|]. (H, T). Bu kəskin görünür, lakin praktikada (Term, F, A) siyahıları və sonra == F sonrakı emal seçilməsi xüsusən functor edir, yalnız bir neçə proqramları təsir edə bilər. "A == 2. daha çox siyahıları yandırmaq üçün xüsusi tikinti, [] artıq eyni hələ boşdur siyahısı, lakin "[], yəni [] atom deyil.
• syntax & quot; ... & quot; İndi strings eşlenen. Strings (bütün müzakirələr üçün Joachim Schimpf sayəsində) tutulması ilə uyğun gəlir. Ənənəvi kod siyahıları .... bayraqları double_quotes istifadə inşa edilir və back_quotes bu davranış nəzarət.
• Torbjorn Lager sayəsində biz & quot; Pengines & quot ;, web Prolog mühərrikləri. Bu JavaScript və digər prolog hallarda bir Prolog server rahat danışmaq üçün ümumi API təmin edir. Bu brauzerinizin (http://swish.swi-prolog.org), eləcə də http://lpn.swi-prolog.org kimi (əlaqədar xışıltı ilə İndi Prolog əldə edin) və xışıltı, SWI-Prolog effektiv.
• Markus Tříska, CLP (b), boolean sıxıntı çözücü əlavə onun CLP (fd) təkmilləşdirilmiş və məhdudiyyətlər ilə məşğul olan üst səviyyə bir neçə aksesuarların əvvəl idi.
• Matt Lilley və Mike Elston sayəsində CQL, bir DSL (Domain xüsusi Language) SQL ilə məşğul olmaq üçün var. CQL kompleks SQL verilənlər bazası norma və buna görə də SQL böyük bir alt dəstəkləyir və sütun və ocasional SQL istifadəçi gözləmək deyil ki, digər məhsulları minlərlə masaları ilə məşğul ola bilər bir mühitdə inkişaf edir.
• Matt Lilley HTTP və SOCKS proxy server üçün SSL və ümumi dəstək üçün daha yaxşı dəstək, o cümlədən xeyli dəstək şəbəkə yaxşılaşmışdır.
• Bir çox insanlar təmin eklentiler SWI-Prolog versiyası 7 etibar (paket).

versiyası 7.2.1 / 7.3.3-dev yeni nədir:

• Yeni Dict növü və sintaksis xoş sintaksis ilə, həm də zaman və məkan səmərəli adı dəyər xəritələri təmin edir.
• Bunun nəticəsi olaraq, bu siyahı konstruktor əvəz etmək lazım idi (H, T) tərəfindən (həmçinin Mercury tərəfindən istifadə) [|]. (H, T). Bu kəskin görünür, lakin praktikada (Term, F, A) siyahıları və sonra == F sonrakı emal seçilməsi xüsusən functor edir, yalnız bir neçə proqramları təsir edə bilər. "A == 2. daha çox siyahıları yandırmaq üçün xüsusi tikinti, [] artıq eyni hələ boşdur siyahısı, lakin "[], yəni [] atom deyil.
• syntax & quot; ... & quot; İndi strings eşlenen. Strings (bütün müzakirələr üçün Joachim Schimpf sayəsində) tutulması ilə uyğun gəlir. Ənənəvi kod siyahıları .... bayraqları double_quotes istifadə inşa edilir və back_quotes bu davranış nəzarət.
• Torbjorn Lager sayəsində biz & quot; Pengines & quot ;, web Prolog mühərrikləri. Bu JavaScript və digər prolog hallarda bir Prolog server rahat danışmaq üçün ümumi API təmin edir. Bu brauzerinizin (http://swish.swi-prolog.org), eləcə də http://lpn.swi-prolog.org kimi (əlaqədar xışıltı ilə İndi Prolog əldə edin) və xışıltı, SWI-Prolog effektiv.
• Markus Tříska, CLP (b), boolean sıxıntı çözücü əlavə onun CLP (fd) təkmilləşdirilmiş və məhdudiyyətlər ilə məşğul olan üst səviyyə bir neçə aksesuarların əvvəl idi.
• Matt Lilley və Mike Elston sayəsində CQL, bir DSL (Domain xüsusi Language) SQL ilə məşğul olmaq üçün var. CQL kompleks SQL verilənlər bazası norma və buna görə də SQL böyük bir alt dəstəkləyir və sütun və ocasional SQL istifadəçi gözləmək deyil ki, digər məhsulları minlərlə masaları ilə məşğul ola bilər bir mühitdə inkişaf edir.
• Matt Lilley HTTP və SOCKS proxy server üçün SSL və ümumi dəstək üçün daha yaxşı dəstək, o cümlədən xeyli dəstək şəbəkə yaxşılaşmışdır.
• Bir çox insanlar təmin eklentiler SWI-Prolog versiyası 7 etibar (paket).

versiyası 7.2.0 / 7.3.1-dev yeni nədir:

• Yeni Dict növü və sintaksis xoş sintaksis ilə, həm də zaman və məkan səmərəli adı dəyər xəritələri təmin edir.
• Bunun nəticəsi olaraq, bu siyahı konstruktor əvəz etmək lazım idi (H, T) tərəfindən (həmçinin Mercury tərəfindən istifadə) [|]. (H, T). Bu kəskin görünür, lakin praktikada (Term, F, A) siyahıları və sonra == F sonrakı emal seçilməsi xüsusən functor edir, yalnız bir neçə proqramları təsir edə bilər. "A == 2. daha çox siyahıları yandırmaq üçün xüsusi tikinti, [] artıq eyni hələ boşdur siyahısı, lakin "[], yəni [] atom deyil.
• syntax & quot; ... & quot; İndi strings eşlenen. Strings (bütün müzakirələr üçün Joachim Schimpf sayəsində) tutulması ilə uyğun gəlir. Ənənəvi kod siyahıları .... bayraqları double_quotes istifadə inşa edilir və back_quotes bu davranış nəzarət.
• Torbjorn Lager sayəsində biz & quot; Pengines & quot ;, web Prolog mühərrikləri. Bu JavaScript və digər prolog hallarda bir Prolog server rahat danışmaq üçün ümumi API təmin edir. Bu brauzerinizin (http://swish.swi-prolog.org), eləcə də http://lpn.swi-prolog.org kimi (əlaqədar xışıltı ilə İndi Prolog əldə edin) və xışıltı, SWI-Prolog effektiv.
• Markus Tříska, CLP (b), boolean sıxıntı çözücü əlavə onun CLP (fd) təkmilləşdirilmiş və məhdudiyyətlər ilə məşğul olan üst səviyyə bir neçə aksesuarların əvvəl idi.
• Matt Lilley və Mike Elston sayəsində CQL, bir DSL (Domain xüsusi Language) SQL ilə məşğul olmaq üçün var. CQL kompleks SQL verilənlər bazası norma və buna görə də SQL böyük bir alt dəstəkləyir və sütun və ocasional SQL istifadəçi gözləmək deyil ki, digər məhsulları minlərlə masaları ilə məşğul ola bilər bir mühitdə inkişaf edir.
• Matt Lilley HTTP və SOCKS proxy server üçün SSL və ümumi dəstək üçün daha yaxşı dəstək, o cümlədən xeyli dəstək şəbəkə yaxşılaşmışdır.
• Bir çox insanlar təmin eklentiler SWI-Prolog versiyası 7 etibar (paket).

nədir versiyası Yeni 6.6.6 / 7.1.37: # of

• Qenerasiya !, məcburi Unix tərcüməçi üçün bir fayl artıq tərcüməçi emal variantları haqqında ağıllı olmaq üçün çalışır. Bu dəyişikliyin təsiri Unix versiyasını asılıdır. Bəzi yalnız onlara qırılma sonra başqaları digər variantları keçmək bir və hələ bütün variantları paketi, ilk seçim keçmək
• Prolog bayrağı argv yalnız Prolog emal olunmayıb dəlilləri təmin edir.
• init fayl .plrc (Windows pl.ini) artıq təhlükəsizlik səbəblərə görə iş kataloq axtarış edir.

nədir versiyası Yeni 6.6.6 / 7.1.31: # of

• Qenerasiya !, məcburi Unix tərcüməçi üçün bir fayl artıq tərcüməçi emal variantları haqqında ağıllı olmaq üçün çalışır. Bu dəyişikliyin təsiri Unix versiyasını asılıdır. Bəzi yalnız onlara qırılma sonra başqaları digər variantları keçmək bir və hələ bütün variantları paketi, ilk seçim keçmək
• Prolog bayrağı argv yalnız Prolog emal olunmayıb dəlilləri təmin edir.
• init fayl .plrc (Windows pl.ini) artıq təhlükəsizlik səbəblərə görə iş kataloq axtarış edir.

versiyası 6.4.0 da yeni nə:

• version 3. Hər kəs Yenilənib RDF kitabxana qayğı RDF haqqında yəqin ki, artıq bu səbəbdən inkişaf versiyasından istifadə edilmişdir. Ntriples üçün əlavə fast parsers, Turtle və qəşəng formatları.
• Xarici dil parçalarını hamar və təhlükəsiz edilməsi üçün kvazi kotirovka tətbiqi
• PlDoc təkmilləşdirilməsi ümumi markdown inşa qəbul edəcək.

Inkişaf araçları, HTTP kitabxana, clib paketi
• Bir çox təminatları. Unix daemon prosesləri üçün və s. daha yaxşı dəstək (syslog, UID / GID idarə, və s.)
• baxılması yerli üçün start (xüsusən yerli xüsusi böyük integers yazı, format / 3 dəstəklənməsi.
• sabitlik stuff çox. Sabit qəzaları, daşıma yamalar, sistem aksesuarların qurmaq, və s

nədir versiyası 6.2.0 Yeni

• `paketi" paketi meneceri İlkin versiya
• Better mənbə fayl user, xüsusən wrt. - (Fayl) daxildir
.
• ayıklama üçün çox düzeltmelerini, mənbə rəftar və port gizli olan qərar məntiq yaxşılaşdırılması.
• Windows versiyası artıq 10-20% speedup nəticəsində, MinGW compiler layihə istifadə qurmaq. Aksessuarlar swipl-win.exe üçün konsol. Surəti / yapışdırıb və rəng dəstək

nədir versiyası 6.0.0 Yeni

Çox arqumentlər

• Dynamic yalnız-vaxtında endeksleme .
• inkişaf API çox Abstrak PDT IDE dəstək.

Və s təmizləmə, bug-düzeltmelerini, və
• çox.

versiyası 5.11.20 yeni nədir.

• HE Trail-stack istifadə
• nəsillər zibil toplanması təmin edir.

versiyası 5.11.10 yeni nədir:

• Trail-stack istifadə azaldır. (Qismən)
• nəsillər zibil toplanması təmin edir.

versiyası 5.11.9 yeni nədir:

• Trail-stack istifadə azaldır. (Qismən)
• nəsillər zibil toplanması təmin edir.

versiyası 5.10.0 yeni nədir:

• Bütün platformalar indi ardıcıl adlandırma istifadə edin. SWI-Prolog yürütülebilir swipl, linker swipl-LD və resouce-fayl meneceri swipl-rc adlanır.
• əsaslanır New yığın yaddaş idarə virtual ünvanı-məkanda seyrək destesi ayrılması daha çox yığını-keçid. Bu dəyişiklik mövzuları sayı daha yaxşı genişlənmə üçün imkan verir, belə ki, biz də yığını-limitlər artıq qaldırılmış və set_prolog_stack / 2 istifadə zamanı azaldıla bilər 100 köhnə thread-count limit qaldırıldı.
• yığın-size-məhdudiyyətlər artıq 64-bit hardware 32-bit və 256MB yığını başına 128MB olunur default.
• Geniş sızma və stress-test 24x7 server quraşdırma sistemi çox daha möhkəm edilməsi, sızması və irqi bir sıra şərtlər müəyyən etmişdir.
• A start şərtlərinə recursing üçün C-yığın istifadə qarşısını almaq üçün edilmişdir. Bu emal daha çox dərindən iç-içə şərtləri imkan verir və müddəti axır kifayət qədər resursları var, əgər təmiz istisna edir. Bu sahədə nə qədər hələ də var.
• SWI-Prolog 5.10.0 bazası baxımından (assertz / 2, recordz / 3) və axınları (/ 3 açıq) təhlükəsiz istinadlar təqdim edir.
• müddəalar dəyişənlərin sayı 1,000,000,000 ilə məhdudlaşır; resurs səhvlər qarşılaşmadan və ya tsiklik baxımından qanunsuz şərtləri müdafiə üçün çalışırıq zaman bu Bundan əlavə 65535. idi, sistem zərif istisnalar təmin edir.
• YAP və SICStus həm də Compatibility genişləndirilir.

versiyası 5.8.2 yeni nədir: siqnal interface həyata keçirilməsi və sənədləşdirilməsi:

• təmizlənməsi.
• SABİT:. İstifadə --nopce / - (dis) imkan qrafika PCE
• SABİT: GC-bug; dəlil yığını uwrite-bit stripping buraxmaq
• Modified: Prolog bayrağı abort_with_exception silindi; artıq istifadə olunur.

SABİT
• ölümcül səhv sonra çıxmaq istəyərkən çıxılmaz çəkinin
.
• Modified: is_set / 1 indi / 2 sort istifadə edir. Nəticədə, qeyri-paylaşılan dəyişənlərin müxtəlif elementləri hesab edilir; order N * log (N) və xəbər resurs-səhv qaytara bilər.
• SABİT: Sonra: -.. Modulu (x), x modul məqsədi-genişləndirilməsi nisbətən çıxış
• Təmizləmə: Item # 547:. Düzgün undefined predicates və alternativ sitat
• DOC. Current_arithmetic_function / 1
aydınlaşdırmaq
• DOC: C-funksiyaları üçün mövcudluğu snippit təmin
• SABİT: Əvvəlki sadələşdirilməsi compiler dəyişən admin bad. Həmçinin əlavə test-hal.
• SABİT: Hata # 436: özü ilə bir dəyişən birləşdirici istinad loop yaradır
.

nə versiyası 5.7.14 Yeni

• SABİT: cross-referencer ayırmaq üçün: 0 meta-xəbər bəyannamələrində
• Təmizləmə: predsort / 3
üçün istifadə meta_predicate
DEĞİŞTİRİLEBİLİR
• : onlara olan modulları undefined predikatların istinadlar üçün / 0 indi yalnız tarar edir. hələ list_undefined / 0 qlobal axtarış.
• Ətraflı: CLP (FD). Arc-ardıcıl global_cardinality / 2 cüt ilkin torpaq əgər
• SABİT: Handle (Multifile) olan bəzi müddəaları onların bir modul bədən və eyni bəzi predicates. Matt Lilley.
• Added:% [& # x3c; n & # x3e;] f format / 3 saniyə fraksiyaları ilə məşğul format_time üçün. Yeni debug uzantıları tərəfindən istifadə olunur.
• Added: debug_message_context (+ | -Context) (bir vaxt möhürü kimi) debug mesajlar üçün əlavə kontekstində müəyyən etmək üçün
.
SABİT
• : Marka apply_macros sistemi modul kontekstində onun məqsədi genişləndirilməsi yoxdur
• Ətraflı: CLP (FD): Faster global_cardinality / 2 Açar Num cüt torpaq əgər
.
• SABİT: Cavab çap operator-prioritet idarə. Markus Tříska.

Ətraflı
• qalıq məqsədləri üçün istifadə üst səviyyə çap variantları, təmizləmə həyata keçirilməsi

Ətraflı
• : siyahısı (xüsusən term_attvars (Term, [])) verilir əgər term_variables və term_attvars səmərəli olun
.
• Ətraflı: yeni dövr-walker kodu istifadə qeydə bazası olun
• Ətraflı: sadə loop daha çox recursive proseduru istifadə edərək şərtlərini traversing üçün skelet ilk quraşdırma. İndi term_variables / 2 və əlaqədar predikatların üçün istifadə. şeması adekvat görünür, lakin segmented yığını kodu xeyli optimize olmalıdır. Olduğu kimi, / 2 yavaş (5%) az deyil term_variables, lakin çox az yaddaş və yığını daşqınlar olmadan dərin nested şərtləri idarə edə bilərsiniz.
• Added: copy_term / 3 daha yaxşı dəstək üçün / 2 term_attvars. Markus Tříska ilə müzakirədən sonra.
• Added: del_attrs / 1 * all * atributları silmək üçün. Asanlaşdırır copy_term / 3.

nədir versiyası 5.7.12 Yeni

böyük proqramları Performans təkmilləşdirilməsi 10 və 40 arasında
• edir % proqramlaşdırma stil asılı olaraq. Qeyd edək ki sıxıntı solvers əhəmiyyətli dərəcədə fayda. Kiçik proqramlarının bəzən çox böyük speedups göstərir.
• 5.7.4-ci ildən yenilənir modul sistemi
• adlandırma və codebase bir modularization ilə təmizlənməsi çox.