SWI-Prolog

これは、便​​利な論理プログラミングのために、人工知能と計算言語学の

このリリースの新機能：

この新しい辞書の種類と構文は、効率的な時間と空間の両方を提供品名 - 値は、快適な構文を使用してマッピングします。
（H、T）。|結果として、それは（水星が使用しても）によって「[]」をリストのコンストラクタ（H、T）を交換する必要がありました。それは抜本的なように見えるが、実際には唯一のいくつかのプログラム、特にリストにファンクタ（用語、F、A）を行って、その後、F ==にさらに処理を選択に影響を与えることがあり、 '。'、に複数のリストを有効にするには== 2を特別な構築物は、[]まだ空リストではありませんが、もはや「[]」と同じ、すなわち、[]原子ではありません。
構文＆QUOT; ...＆QUOT;今の文字列にマップされます。文字列は、（すべての議論のためのヨアヒムSchimpfのおかげで）日食と互換性があります。従来のコードリストは....フラグdouble_quotesを使用して構築し、back_quotesは、​​この動作を制御しています。
Torbjornラガーのおかげで、我々は持っている＆QUOT; Pengines＆QUOT ;,ウェブ上のPrologエンジン。これは、JavaScriptと他のPrologのインスタンスからPrologのサーバーに快適に話をするための一般的なAPIを提供します。お使いのブラウザ（http://swish.swi-prolog.org）だけでなくhttp://lpn.swi-prolog.orgとして（埋め込まれたSWISHで！今プロローグは、こちらをご覧ください）​​にSWISH、SWI-Prologのを可能にしました。
マルクスTriskaは、CLP（b）は、ブール制約ソルバーを追加した彼のCLP（FD）を改善し、制約を扱うトップレベルにいくつかの機能強化の前にありました。
マット・リリーとマイクElstonのおかげで、SQLに対処するためのCQL、DSL（ドメイン特化言語）があります。 CQLは、複雑なSQLデータベースが標準であり、したがって、SQLの大規模なサブセットをサポートし、列とocasional SQLユーザーが期待しないことを他のものの何千ものテーブルを扱うことができる環境で開発されています。
マット・リリーは、SSLとHTTPとSOCKSプロキシサーバーの両方のための一般的なサポートのためのより良いサポートを含む、大幅にネットワークサポートを改善しました。
多くの人々はSWI-Prologのバージョン7に依存しているアドオン（パック）を提供してきました。

このバージョンの新機能7.2.1 / 7.3.3-devの：

この新しい辞書の種類と構文は、時間と快適な構文でスペース効率のよい名前と値のマップの両方を提供します。
（H、T）。|結果として、それは（水星が使用しても）によって「[]」をリストのコンストラクタ（H、T）を交換する必要がありました。それは抜本的なように見えるが、実際には唯一のいくつかのプログラム、特にリストにファンクタ（用語、F、A）を行って、その後、F ==にさらに処理を選択に影響を与えることがあり、 '。'、に複数のリストを有効にするには== 2を特別な構築物は、[]まだ空リストではありませんが、もはや「[]」と同じ、すなわち、[]原子ではありません。
構文＆QUOT; ...＆QUOT;今の文字列にマップされます。文字列は、（すべての議論のためのヨアヒムSchimpfのおかげで）日食と互換性があります。従来のコードリストは....フラグdouble_quotesを使用して構築し、back_quotesは、​​この動作を制御しています。
Torbjornラガーのおかげで、我々は持っている＆QUOT; Pengines＆QUOT ;,ウェブ上のPrologエンジン。これは、JavaScriptと他のPrologのインスタンスからPrologのサーバーに快適に話をするための一般的なAPIを提供します。お使いのブラウザ（http://swish.swi-prolog.org）だけでなくhttp://lpn.swi-prolog.orgとして（埋め込まれたSWISHで！今プロローグは、こちらをご覧ください）​​にSWISH、SWI-Prologのを可能にしました。
マルクスTriskaは、CLP（b）は、ブール制約ソルバーを追加した彼のCLP（FD）を改善し、制約を扱うトップレベルにいくつかの機能強化の前にありました。
マット・リリーとマイクElstonのおかげで、SQLに対処するためのCQL、DSL（ドメイン特化言語）があります。 CQLは、複雑なSQLデータベースが標準であり、したがって、SQLの大規模なサブセットをサポートし、列とocasional SQLユーザーが期待しないことを他のものの何千ものテーブルを扱うことができる環境で開発されています。
マット・リリーは、SSLとHTTPとSOCKSプロキシサーバーの両方のための一般的なサポートのためのより良いサポートを含む、大幅にネットワークサポートを改善しました。
多くの人々はSWI-Prologのバージョン7に依存しているアドオン（パック）を提供してきました。

このバージョンの新機能7.2.0 / 7.3.1-devの：

この新しい辞書の種類と構文は、時間と快適な構文でスペース効率のよい名前と値のマップの両方を提供します。
（H、T）。|結果として、それは（水星が使用しても）によって「[]」をリストのコンストラクタ（H、T）を交換する必要がありました。それは抜本的なように見えるが、実際には唯一のいくつかのプログラム、特にリストにファンクタ（用語、F、A）を行って、その後、F ==にさらに処理を選択に影響を与えることがあり、 '。'、に複数のリストを有効にするには== 2を特別な構築物は、[]まだ空リストではありませんが、もはや「[]」と同じ、すなわち、[]原子ではありません。
構文＆QUOT; ...＆QUOT;今の文字列にマップされます。文字列は、（すべての議論のためのヨアヒムSchimpfのおかげで）日食と互換性があります。従来のコードリストは....フラグdouble_quotesを使用して構築し、back_quotesは、​​この動作を制御しています。
Torbjornラガーのおかげで、我々は持っている＆QUOT; Pengines＆QUOT ;,ウェブ上のPrologエンジン。これは、JavaScriptと他のPrologのインスタンスからPrologのサーバーに快適に話をするための一般的なAPIを提供します。お使いのブラウザ（http://swish.swi-prolog.org）だけでなくhttp://lpn.swi-prolog.orgとして（埋め込まれたSWISHで！今プロローグは、こちらをご覧ください）​​にSWISH、SWI-Prologのを可能にしました。
マルクスTriskaは、CLP（b）は、ブール制約ソルバーを追加した彼のCLP（FD）を改善し、制約を扱うトップレベルにいくつかの機能強化の前にありました。
マット・リリーとマイクElstonのおかげで、SQLに対処するためのCQL、DSL（ドメイン特化言語）があります。 CQLは、複雑なSQLデータベースが標準であり、したがって、SQLの大規模なサブセットをサポートし、列とocasional SQLユーザーが期待しないことを他のものの何千ものテーブルを扱うことができる環境で開発されています。
マット・リリーは、SSLとHTTPとSOCKSプロキシサーバーの両方のための一般的なサポートのためのより良いサポートを含む、大幅にネットワークサポートを改善しました。
多くの人々はSWI-Prologのバージョン7に依存しているアドオン（パック）を提供してきました。

このバージョン6.6.6 / 7.1.37の新機能です。＃！Unixの通訳にファイルを結合することは、もはやにオプションの処理について、スマートになろうとの

この処理通訳。この変更の影響は、Unixのバージョンによって異なります。一部だけ他の人が一つにすべてのオプションをパックし、まだ他の人がそれらを破壊した後にオプションを渡す、最初のオプションを渡します。
プロローグフラグARGVのみプロローグによって処理されていない引数を提供します。
初期化ファイルの.plrc（Windowsのpl.ini）セキュリティ上の理由により、作業ディレクトリで検索されなくなりました。

このバージョン6.6.6 / 7.1.31の新機能です。＃！Unixの通訳にファイルを結合することは、もはやにオプションの処理について、スマートになろうとの

この処理通訳。この変更の影響は、Unixのバージョンによって異なります。一部だけ他の人が一つにすべてのオプションをパックし、まだ他の人がそれらを破壊した後にオプションを渡す、最初のオプションを渡します。
プロローグフラグARGVのみプロローグによって処理されていない引数を提供します。
初期化ファイルの.plrc（Windowsのpl.ini）セキュリティ上の理由により、作業ディレクトリで検索されなくなりました。

このバージョン6.4.0の新機能です：

このRDFを気3.誰でもおそらくすでにこのような理由のための開発版を使用していたバージョンにRDFライブラリ更新。 ntriples、タートルとTRIG形式の高速のパーサーを追加しました。
外部言語スニペットの円滑かつ安全に含めるための準引用の紹介
一般的な値下げコンストラクトを受け入れるようにPlDocのアップグレード。
多くの開発ツールの強化、HTTPライブラリ、CLIBパッケー​​ジ。 UNIXのデーモンプロセス（のsyslog、UID / GIDの管理、など）のためのより良いサポートなど
ロケールのスタートは取り扱い（特にロケール固有の大きな整数を書き込み、フォーマット/ 3をサポートしています。
安定性のものがたくさん：固定クラッシュ、移植性パッチ、システムの強化などを構築

このバージョン6.2.0の新機能です：

この `パック」パッケージマネージャの初期バージョンを
より良いソースファイルの取り扱い、特にWRT。 ： - （ファイル）が含まれます。
ソースハンドリングとポートが隠されていることを決定ロジックを改善し、デバッガに多くの修正、。
Windowsのバージョンは、現在10〜20％の高速化が得られ、MinGWのコンパイラのプロジェクトを使用してビルドします。強化swipl-win.exeというためのコンソール：コピー/貼り付け、色のサポートを。

このバージョン6.0.0の新機能です：

この動的な複数の引数にジャストインタイムインデックス作成。
PDT IDEをサポートし、開発のAPIの多くを抽象化。
クリーンアップ、バグフィックスなどの多く

この減少トレイル​​スタック使用量：

このバージョン5.11.20の新機能です。
世代別ガベージコレクションを提供します。

このバージョン5.11.10の新機能です：

このトレイルスタック使用量を減らします。 （部分的に）
世代別ガベージコレクションを提供します。

このバージョン5.11.9の新機能です：

このトレイルスタック使用量を減らします。 （部分的に）
世代別ガベージコレクションを提供します。

このバージョン5.10.0の新機能です：

このすべてのプラットフォームは現在、一貫性のある命名規則を使用。 SWI-Prologの実行可能ファイルはswipl、リンカswipl-LDとresouceファイルマネージャswipl-RCと呼ばれています。
スタックシフトではなく、仮想アドレス空間内にまばらにスタックを割り当てるに基づく新しいスタックメモリ管理。この変更は、スレッドの数がはるかに優れたスケーラビリティを可能にしますので、我々はまた、100の古いスレッドカウントの制限を削除スタックの制限は今上げ、set_prolog_stack / 2を使用して実行時に低減することができます。
デフォルトのスタック・サイズの制限は、64ビットのハードウェア上の32ビットおよび256Mビットにスタックごとに128MBされています。
豊富なリークとストレステストは、24時間365日のサーバ構成のシステムがはるかに堅牢作り、漏れやレース条件の数を修正しました。
スタートは用語に再帰のためのCスタックを使用しないようになされています。これは、はるかに深くネストされた用語を処理することができますし、用語を横断するのに十分なリソースがある場合はきれいな例外を提供します。この領域で行うには多くがまだあります。
SWI-Prologの5.10.0は、データベース用語（assertz / 2、recordz / 3）、ストリーム（開く/ 3）への安全な参照を紹介しています。
句の変数の数は今10億に限定されています。これは、リソース・エラーが発生したか、このような環状の用語として違法用語を主張しようとするとシステムが優雅な例外を提供し、また65535でした。
YAPとSICStusの両方に互換性が向上します。

このバージョン5.8.2の新機能です：

このCLEANUP：信号インタフェースの実装と文書化。
FIXED：使用--nopce / - （DIS）可能グラフィックスのためのPCE。
FIXED：GC-バグ。引数スタックからuwriteビットストリッピング省略
変形：プロローグフラグabort_with_exceptionを削除しました。それは使用されなくなりました。
FIXED：致命的なエラー後に終了しようとしているときに、デッドロックを回避します。
MODIFIED：is_set / 1は、現在のソート/ 2を使用しています。その結果、非共有変数は、さまざまな要素と考えられています。順序は、n * log（n）のであり、述語は、リソース・エラーが返されることがあります。
FIXED：後： - モジュール（x）は、xとモジュールに目標膨張相対を行います。
CLEANUP：アイテム＃547：適切に定義されていない述語と選択肢を引用。
DOC：current_arithmetic_function / 1を明確にします。
DOC：C-機能の可用性snippitを提供
FIXED：前簡略化は、コンパイラの変数管理を破損しました。また、テストケースを追加しました。
FIXED：バグ＃436：自分自身の変数を統一するには、基準ループを作成します。

このバージョン5.7.14の新機能です：

このFIXED：クロスリファは区別するために：0からメタ述語の宣言に
CLEANUP：predsort / 3を使用meta_predicate
MODIFIED：それらを含むモジュールで定義されていない述語への参照のために/ 0今だけのスキャンを行います。 list_undefined / 0まだ世界的に検索します。
ENHANCED：CLP（FD）：アーク一貫global_cardinality / 2ペアは最初に接地されている場合。
FIXED：ハンドル（マルチ）するためのいくつかの条項は、その別のモジュールで体と同じでいくつかを持って述語。マット・リリー。
ADDED：％[＆＃のx3cあり; n＆＃のSpark Proの;] Fフォーマットは/ 3秒の端数に対処するformat_timeします。新しいデバッグ拡張機能によって使用されます。
ADDED：debug_message_context（+ | -context）（例えばタイムスタンプなど）デバッグメッセージの追加のコンテキストを指定します。
FIXED：メイクapply_macrosは、システムモジュールとの関連で、その目的の拡張を行います
ENHANCED：CLP（FD）：キー・テンキーのペアが粉砕される場合より高速global_cardinality / 2。
FIXED：回答印刷オペレータ優先順位を処理します。マルクスTriska。
ENHANCED：残留目標のためのトップレベルの印刷オプションを使用して、クリーンアップの実装
ENHANCED：リストは（特にterm_attvars（用語、[]））指定された場合term_variablesとterm_attvarsを効率的にします。
ENHANCED：記録されたデータベースは、新しい用語ウォーカーコードを使用してください
ENHANCED：単純なループではなく、再帰的な手順を使用して用語を横断するための骨格の最初のセットアップ。今term_variables / 2および関連述部の使用インチスキーマが適切な表示されますが、セグメント化されたスタックコードが大幅に最適化されなければなりません。以下のように、/ 2はわずかに遅い（5％）であるterm_variablesが、それははるかに少ないメモリで、スタックオーバーフローすることなく、深くネストされた用語を処理することができます。
ADDED：copy_term / 3のより良いサポートのために/ 2をterm_attvars。マルクスTriskaとの話し合いの後。
ADDED：*すべて*の属性を削除するには、/ 1をdel_attrs。簡素化は、/ 3をcopy_term。

このバージョン5.7.12の新機能である：大規模なプログラムに

このパフォーマンスの向上は、プログラミングスタイルに応じて、10〜40％の間です。特に制約ソルバが大幅に利益を得ます。小さなプログラムは、時にははるかに大きな速度向上を示しています。
5.7.4以降、更新されたモジュールシステム
命名とコードベースのモジュールでクリーンアップがたくさん。