IF/Prolog 4.0のレリースノート

＜構文＞ ISO標準Prologをサポートします。

＜コンパイルの改良(ifsem)＞ コンパイルの時間が非常に短縮され、しかもコードの実行がバージョン3.4のよりも改善されました。

＜ガーベッジ・コレクタ＞ Prologのデータベース(アトム、節、...)内でのガーベッジコレクションに加え、Prologスタック(ダイナミックデータ)のガーベッジコレクションも行うようになりました。

＜信号処理＞ 数種類の信号ソース用に信号ハンドラを定義することができるようになりました。

＜ストリーム＞ i/oデバイスをサポートするために、file/string/nullを標準のデバイスとして持つデバイスハンドラが実装されました。

＜モジュール＞ 述語をモジュールにグループ分けすることができるようになりました。述語はプログラムの他の部分から隠すことができ、また、多重に定義することができます。

＜述語＞ バージョン4.0では、変数名、呼び出し、メタシステム、バックアップを処理する新しい組み込み述語が多く設けられました。

＜インタフェース＞ ホスト言語インタフェースが拡張され、新しく、OSF/Motifインタフェースを提供します。

構文

PrologのISO標準をサポートするために、IF/Prologにいくつかの変更点が施されました。...

新しいIF/Prologコンパイラ

IF/Prolog4.0は、まるでインタプリタとして働くPrologシステムであるかのように動きます。これは、大変優れた機能です。データベースにアサートされた節は、すべて増分コンパイラによってコンパイルされます。このコンパイルは非常に高速に行われるため、アサートは旧バージョンと同じくらい早くなっています。コンパイルされた節は、逆コンパイラにより、「retract」や「clause」述語の呼び出しを通じて、項による表現に戻すことができます。...

ガーベジ・コレクション

IF/Prologシステムが要するメモリサイズを最小限にするために、Prologのデータベース(アトム、節....)には、バージョン2.2以降、自動的に不要な領域(ガーベジ)を収集する機能が設けられています。...

信号処理

信号処理の構造は、IF/Prolog 4.0にて、全く新しく設計されました。多くの信号ソースの処理が可能になりました。信号は、述語が有効になる直前のプログラム実行時にキャッチされます。ユーザは、信号ソース毎に信号ハンドラを定義することができます。信号が生じると信号ハンドラが実行され、ハンドラ終了後は元のプログラムの実行が継続されます。...

ストリーム

I/Oデバイスをサポートするために、仮想デバイスハンドラが実装されています。これは次の標準デバイスをサポートしています。...

モジュール

モジュールを設けた意図は、述語とシンボルを1つのユニットにグループ分けすることにあります。述語とシンボルをモジュールに隠すことができます。...

新しい述語

以下に挙げるのは、IF/Prolog 4.0でのすべての新しい述語の簡単な説明です。詳しくは、レファレンスマニュアルを参照して下さい。...

インタフェースの変更

ホスト言語インタフェースにより、CとIF/Prologとの間の任意の呼び出しが可能です。Prologのゴールは、ProOpen()、ProFetch()、ProClose()の機能を用いて実行されます。...

OSF/Motifインタフェース

アプリケーションを開発する上で必要となるエンドユーザ・インタフェースのために、IF/PrologではOSF/Motifとのインタフェースを提供しています。...

文法規則

文法規則の展開機能が、IF/Prolog4.0から変更されました。IF/Prologはユーザが与えるパラメータリストの末尾の2つの追加パラメータを使用します。新しい述語であるexpand_term/2とphrase/2を見て下さい。...

バージョン3との互換モード

version3:init の述語を使用すれば、IF/Prolog 4.0の中でほとんどの古い述語を使用することができます。この項目に関して、レファレンスマニュアルの最終部分を参照して下さい。...