SWI-Prolog

Това е цели полезни логика програмиране, изкуствен интелект и компютърната лингвистика

Какво ново в тази версия:.

• The нов тип Dict и синтаксис предвижда двете времето и пространството ефективно име-стойност карти с приятен синтаксис.
• В резултат на това, че е необходимо да се замени списък конструктора (H, T) от (също се използва от Mercury) "[|]". (H, T). Това може да изглежда драстична, но на практика се отразява само на няколко програми, по-специално прави functor (Term, F, A) в списъци, а след това изберете по-нататъшна обработка на F == '.', A == 2. За да включите списъци повече в специална конструкция, [] все още е празен списък, но вече не е същото като "[]", т.е., [] не е най-атом.
• Синтаксисът & quot; ... & quot; сега е съпоставена с низове. Strings са съвместими с Eclipse (благодарение на Joachim Schimpf за всички обсъждания). Традиционни кодови списъци са изградени с помощта .... double_quotes знамената и back_quotes контролират това поведение.
• Благодарение на Торбьорн Lager, имаме & quot; & quot ;, Pengines Prolog двигатели в интернет. Това осигурява общ API да говоря по сърцето на сървъра Prolog от JavaScript и други случаи Prolog. Това позволи Swish, SWI-Prolog във вашия браузър (http://swish.swi-prolog.org), както и http://lpn.swi-prolog.org (Научете Prolog сега! С вграден мах).
• Markus Triska добавя CLP (б), булевият ограничение решаване, подобрена си CLP (ег) и беше преди няколко подобрения на най-високо ниво, занимаващи се с ограничения.
• Благодарение на Matt Lilley и Майк Elston, има за CQI, а DSL (Domain Специфична Language) за справяне с SQL. CQI, е разработена в среда, където сложни SQL бази данни са в норма и следователно поддържа голям набор от SQL и могат да се справят с таблици с хиляди колони и други неща, че ocasional SQL потребителят няма да очаквате.
• Matt Lilley подобрена мрежова поддръжка значително, включително и много по-добра поддръжка за SSL и обща подкрепа за двете HTTP и SOCKS прокси сървъри.
• Много хора са предвидени добавки (пакети), които разчитат на SWI-Prolog версия 7.

Какво ново във версия 7.2.1 / 7.3.3-отклонение:

• Новият тип Dict и синтаксис предвижда двете времето и пространството ефективно име-стойност карти с приятен синтаксис.
• В резултат на това, че е необходимо да се замени списък конструктора (H, T) от (също се използва от Mercury) "[|]". (H, T). Това може да изглежда драстична, но на практика се отразява само на няколко програми, по-специално прави functor (Term, F, A) в списъци, а след това изберете по-нататъшна обработка на F == '.', A == 2. За да включите списъци повече в специална конструкция, [] все още е празен списък, но вече не е същото като "[]", т.е., [] не е най-атом.
• Синтаксисът & quot; ... & quot; сега е съпоставена с низове. Strings са съвместими с Eclipse (благодарение на Joachim Schimpf за всички обсъждания). Традиционни кодови списъци са изградени с помощта .... double_quotes знамената и back_quotes контролират това поведение.
• Благодарение на Торбьорн Lager, имаме & quot; & quot ;, Pengines Prolog двигатели в интернет. Това осигурява общ API да говоря по сърцето на сървъра Prolog от JavaScript и други случаи Prolog. Това позволи Swish, SWI-Prolog във вашия браузър (http://swish.swi-prolog.org), както и http://lpn.swi-prolog.org (Научете Prolog сега! С вграден мах).
• Markus Triska добавя CLP (б), булевият ограничение решаване, подобрена си CLP (ег) и беше преди няколко подобрения на най-високо ниво, занимаващи се с ограничения.
• Благодарение на Matt Lilley и Майк Elston, има за CQI, а DSL (Domain Специфична Language) за справяне с SQL. CQI, е разработена в среда, където сложни SQL бази данни са в норма и следователно поддържа голям набор от SQL и могат да се справят с таблици с хиляди колони и други неща, че ocasional SQL потребителят няма да очаквате.
• Matt Lilley подобрена мрежова поддръжка значително, включително и много по-добра поддръжка за SSL и обща подкрепа за двете HTTP и SOCKS прокси сървъри.
• Много хора са предвидени добавки (пакети), които разчитат на SWI-Prolog версия 7.

Какво ново във версия 7.2.0 / 7.3.1-отклонение:

• Новият тип Dict и синтаксис предвижда двете времето и пространството ефективно име-стойност карти с приятен синтаксис.
• В резултат на това, че е необходимо да се замени списък конструктора (H, T) от (също се използва от Mercury) "[|]". (H, T). Това може да изглежда драстична, но на практика се отразява само на няколко програми, по-специално прави functor (Term, F, A) в списъци, а след това изберете по-нататъшна обработка на F == '.', A == 2. За да включите списъци повече в специална конструкция, [] все още е празен списък, но вече не е същото като "[]", т.е., [] не е най-атом.
• Синтаксисът & quot; ... & quot; сега е съпоставена с низове. Strings са съвместими с Eclipse (благодарение на Joachim Schimpf за всички обсъждания). Традиционни кодови списъци са изградени с помощта .... double_quotes знамената и back_quotes контролират това поведение.
• Благодарение на Торбьорн Lager, имаме & quot; & quot ;, Pengines Prolog двигатели в интернет. Това осигурява общ API да говоря по сърцето на сървъра Prolog от JavaScript и други случаи Prolog. Това позволи Swish, SWI-Prolog във вашия браузър (http://swish.swi-prolog.org), както и http://lpn.swi-prolog.org (Научете Prolog сега! С вграден мах).
• Markus Triska добавя CLP (б), булевият ограничение решаване, подобрена си CLP (ег) и беше преди няколко подобрения на най-високо ниво, занимаващи се с ограничения.
• Благодарение на Matt Lilley и Майк Elston, има за CQI, а DSL (Domain Специфична Language) за справяне с SQL. CQI, е разработена в среда, където сложни SQL бази данни са в норма и следователно поддържа голям набор от SQL и могат да се справят с таблици с хиляди колони и други неща, че ocasional SQL потребителят няма да очаквате.
• Matt Lilley подобрена мрежова поддръжка значително, включително и много по-добра поддръжка за SSL и обща подкрепа за двете HTTP и SOCKS прокси сървъри.
• Много хора са предвидени добавки (пакети), които разчитат на SWI-Prolog версия 7.

Какво ново във версия 6.6.6 / 01.07.37:

• Обработка на # !, задължителен файл за преводач в Unix, вече не се опитва да бъде умен за опциите за обработка на интерпретатора. Ефектът от тази промяна зависи от версиите на Unix. Някои от тях само преминават първата опция, а други се опаковат всички опции в една и още други преминават опциите, след като ги счупи
• флаг argv The Prolog предвижда единствено аргументи, които не са били обработвани от Prolog.

<> Li .plrc The първоначален файл (pl.ini за Windows) вече не се търси в работната директория от съображения за сигурност.

Какво ново във версия 6.6.6 / 07.01.31:

• Обработка на # !, задължителен файл за преводач в Unix, вече не се опитва да бъде умен за опциите за обработка на интерпретатора. Ефектът от тази промяна зависи от версиите на Unix. Някои от тях само преминават първата опция, а други се опаковат всички опции в една и още други преминават опциите, след като ги счупи
• флаг argv The Prolog предвижда единствено аргументи, които не са били обработвани от Prolog.

<> Li .plrc The първоначален файл (pl.ini за Windows) вече не се търси в работната директория от съображения за сигурност.

Какво ново във версия 6.4.0:

• Updated на RDF библиотеката до версия 3. Всеки грижовен за RDF е вероятно вече се използва версията поради тази причина развитие. Публикувана бързи парсери за ntriples, Костенурка и тригонометрия формати.
• Въвеждане на квази оферта за безпроблемно и безопасно включване на езиковите откъси външни
• Upgrade на PlDoc да приеме обща евтино конструкти.

<> Ли Много подобрения в инструментите за развитие, HTTP библиотеки, clib пакета. и т.н. По-добро подпомагане на Unix демон процеси (Syslog, UID / GID управление и др.)
• A старт за локал боравене (поддържаща формат / 3, а именно написването на локала специфични големи числа.
• Много неща стабилност:. фиксирани катастрофи, преносимост на петна, изграждане на система за подобрения и др

Какво ново във версия 6.2.0:

• Първоначална версия на `опаковката" пакетния мениджър
• По-добро управление файла източник, особено WRT. : - Включва (File)
.
• Много поправки към дебъгер, подобряване боравене източника и логиката, която реши, на която са скрити пристанища.
• Windows версия сега се изгради с помощта компилатор проекта MinGW, което води до 10-20% подобрение на скоростта. Подобренията в swipl-win.exe конзола:. Копие / паста и цвят подкрепа

Какво ново във версия 6.0.0:

• Dynamic точно навреме индексиране на множество доводи .
• абстрахира много от APIs за развитие, в подкрепа на IDE PDT.

<> Ли Много почистване, бъгове поправки и др.

Какво ново във версия 11.05.20:.

• Намалена ползване пътека стак
• Осигуряване събирането на поколенията боклук.

Какво ново във версия 5.11.10:

• Намалете използването пътека стак. (частично)
• Осигуряване събирането на поколенията боклук.

Какво ново във версия 5.11.9:

• Намалете използването пътека стак. (частично)
• Осигуряване събирането на поколенията боклук.

Какво ново във версия 5.10.0:

• Всички платформи вече използват последователно именуване. Изпълнимият SWI-Prolog се нарича swipl, свързващата swipl-LD и Resouce-файлов мениджър swipl-RC.
• New стека памет-управление, което се основава на стека за смяна, а не разпределяне на стаковете рядко във виртуалния адрес-пространството. Тази промяна дава възможност за много по-добра мащабируемост в брой нишки, така и ние се отстранява старата граница нишка брой от 100. стека сроковете, вече могат да бъдат повдигнати и намалени по време на изпълнение, използвайки set_prolog_stack / 2.
• По подразбиране стека размер срокове вече са 128MB на комин на 32-битов и 256Mb на 64-битов хардуер.
• Обширна течове и стрес тестове са фиксирани редица течове и състезателни условия, което прави системата много по-силен в настройка 24x7 сървър.
• A старт е направено, за да се избегне използването на C-стак за recursing в условия. Това дава възможност за обработка на много по-дълбоко вложени условия и осигурява чиста изключение, ако няма достатъчно средства да преминават термина. Все още има много да се направи в тази област.
• SWI-Prolog 5.10.0 въвежда безопасни препратки към условията на бази данни (assertz / 2, recordz / 3) и потоци (отваряне / 3).
• Броят на променливи в клаузи сега е ограничена до 1,0 милиарда; това е 65535. В допълнение, системата осигурява грациозни изключения, когато се натъкват на ресурсите грешки или да се опитва да отстоява незаконни термини като циклични условия.
• Съвместимост на Yap, така и SICStus се засилва.

Какво ново във версия 5.8.2:

• ПОЧИСТВАНЕ: Прилагане и документиране на интерфейса за сигнал.
• FIXED:. Използвайте --nopce / - бр за (раз) позволява графики
• FIXED: GC-бъг; пропуснете източване uwrite-малко от аргумент стека
• ПРОМЕНЕНА: Премахнато Пролог флаг abort_with_exception; тя вече не се използва.
• FIXED: Избягвайте безизходица, докато се опитва да излезете след фатална грешка
.
• ПРОМЕНЕНА: is_set / 1 вече използва сортиране / 2. В резултат, не-споделени променливи се считат за различни елементи; поръчката е N * дневник (N) и сказуемото може да се върне на ресурс-грешка.
• FIXED: След: -.. модул (х), извършване на гол-експанзия спрямо модула х
• ПОЧИСТВАНЕ: Позиция # 547:. Правилно цитирам недефинирани предикати и алтернативи
• DOC: Изясняване current_arithmetic_function / 1
.
• DOC: Осигурете наличието snippit за C-функции
• FIXED: Предишна опростяване повреден променлива администратор на компилатора. Добавена Също тест случай.
• FIXED: Bug # 436: обединяване на променлива чрез себе си създава препратка линия
.

Какво ново във версия 5.7.14:

• FIXED: напречно referencer да се разграничат: от 0 в декларациите мета-предикатни
• ПОЧИСТВАНЕ: Използвайте meta_predicate за predsort / 3
• ПРОМЕНЕНА: Марка / 0 сега само сканира за позовавания на недефинирани предикати в модулите, които ги съдържат. The list_undefined / 0 все още търси в световен мащаб.
• ЗАСИЛЕНО: CLP (FD):. Arc-последователна global_cardinality / 2, ако двойки са първоначално земята
• FIXED: Handle (multifile) предикати, за които някои клаузи имат своето тяло в друг модул, а някои от същите. Matt Lilley.
• добавяне:% [& # x3c; п & # x3e;] е формат, за да format_time / 3 да се справят с фракции на секунди. Използва се от нови разширения за отстраняване на грешки.
• добавяне: debug_message_context (+ | -Context) да се уточни допълнително контекст за отстраняване на грешки съобщения (като време-печат)
.
• FIXED: Направи apply_macros направя своята цел разширяване в контекста на модула на системата
• ЗАСИЛЕНО: CLP (FD): По-бързо global_cardinality / 2, ако Key-Num двойки са земята
.
• FIXED: справят оператор-приоритет в отговор печат. Markus Triska.
• ЗАСИЛЕНО: Използване на опции за печат на най-високо ниво на остатъчните цели, изпълнението почистване
• ЗАСИЛЕНО: Направи term_variables и term_attvars ефективно, ако списък е даден (особено term_attvars (Term, []))
.
• ЗАСИЛЕНО: Направи записани на база данни използва нов термин-проходилка код
• ЗАСИЛЕНО: Първо настройка на скелет за преминаващи условия с помощта на обикновен цикъл, а не рекурсивно процедура. Сега в употреба за term_variables / 2 и свързаните с предикати. Схемата изглежда адекватно, но сегментиран стека кода трябва да се оптимизира значително. Както е, term_variables / 2 е малко по-бавна (5%), но тя може да се справи дълбоко загнездени условия с много по-малко памет и без стека залято.
• добавяне: term_attvars / 2 за по-добра поддръжка на copy_term / 3. След обсъждане с Markus Triska.
• добавяне: del_attrs / 1, за да изтриете всички * * атрибути. Опростява copy_term / 3.

Какво ново във версия 5.7.12:

• подобряване на ефективността на големи програми е между 10 и 40 %, в зависимост от стила на програмиране. За отбелязване на ограничаващите решават да се възползват значително. Малки програми понякога показват много по-големи speedups.
• Тъй 5.7.4, актуализирана система модул
• Много почистване в именуване и модуларизация на програмния код.