リリースノート

• リストの表示に関する不具合について

  文字列として表示するべき場合の判定に不具合があり、 0をメンバーにもつリストを不正に文字列として表示した。 なお、write/1では文字列として表示しないよう、仕様変更した。

• 未定義述語を検出して例外が発生したときに、異常終了する

  修正した。

• char_conversion/2に関して

  " に対応するUNICODEの設定に誤りがあったので訂正した。

• JIPLのMethod呼出しにおいて、引数リストを文字列と混同する

  混同するケースが発生しないよう修正

• current_prolog_flag/2の障害の修正

  第1引数が変数の場合に結果が不正。

• open/4の障害

  ストリーム機能選択にreposition(true)を指定した場合に 不正にエラーを発生。

• predicate_property/2の新設

  ユーザの強い要望により predicate_property/2を新設しました。

• 開発環境におけるファイル名の扱いの強化

  ユーザの強い要望により、ソースファイル名の修飾子として、 .plを適宜補って開発環境が動作するようにしました。

• エラー処理の方式の変更

  エラー処理はcatch/throwによって行われますが、エラー項の内容や動作を規格に適合させました
  catch/3 参照

• catch/throwの方式の変更

  catch/throwの引数と機能を規格適合させました

• 述語データベースの論理更新

  assertやretractによるデータベースの変更はその時点で実行中のゴールに影響を与えず、その後に起動されたものだけに影響します。

• コンパイラでのdynamic述語の扱いとpublicモジュールでのprivate述語の扱い

  public宣言、dynamic宣言がK-Prologのモジュール機能のもとで規格の自然な拡張になるように以下の変更を行いました。

  • publicモジュールにprivateな述語を定義できるようになりました。
  • dynamic宣言された述語がコンパイルされるモジュールに節を持てるようになりました。
  • コンパイルされたモジュールのprivateな述語の情報がコンパイルコードに残されるようになりました。 この結果、current_predicate/1はprivateな述語の情報も返します。また、モジュール内からcall/1やbagof/3で privateな述語を使用できるようになりました。
• 項の比較に関する変更

  @>等の組込み述語によって評価される項の大小順序が一部変更されました。
  従来は、数値同士の比較は数値の大小関係に依っていましたが、このバージョンでは、浮動小数点数は整数より小さいものと定義されます。
  

          ?- 1 @> 9.0.
  
          yes
          ?- 1 > 9.0.
  
          no.

• bagof/3における自由変数の扱い

  規格に適合するよう、微細な変更を加えました。

• 厳密適合モード

  起動時オプションに、-conforming が加わりました。

• Unicodeの採用と内部コードの変更

  内部文字コードをUCS/2としました。外部コードとしてUTF-8を扱えるようになりました。
  UTF-8を含め、EUC-JP, ShiftJIS の環境で半角カナが扱えるようになりました。

• シンタックス上の文字の分類

  規格に適合するよう、簡略化しました。

• get/1などでのファイル終端文字が -1 になりました。

この他、構成上の変更として処理系本体のシェアドライブラリ化を行い、 すべてのOSでシェアドまたはダイナミックリンクライブラリの扱いが 同一になりました。

新設された組込み述語は以下の通り。

• catch/3
• open/4,open/3
• close/2,close/1
• flush_output/1,flush_output/0
• stream_property/2,at_end_of_stream/0,at_end_of_stream/1
• set_stream_position/2
• get_char/2,get_char/1,get_code/2,get_code/1
• peek_char/2,peek_char/1,peek_code/2,peek_code/1
• put_char/2,put_char/1,put_code/2,put_code/1
• nl/1
• get_byte/2,get_byte/1
• peek_byte/2,peek_byte/1
• put_byte/2,put_byte/1
• read_term/3,read_term/2,read/2
• write_term/3,write_term/2,write/2,writeq/2
• write_canonical/1,write_canonical/2
• current_char_conversion/2
• set_prolog_flag/2
• current_prolog_flag/2

• throw/1の仕様変更(catch/throwの仕様を規格適合)
• close/1の仕様変更
• write/2,writeq/2,close/1の仕様変更
• bagof/3の仕様変更(規格適合のための微細な変更)
• kanji/1は廃止(set_prolog_flags/2に吸収、互換性の為に存在)
• silent/1は廃止(set_prolog_flags/2に吸収、互換性の為に存在)
• unknown/1は廃止(set_prolog_flags/2に吸収、互換性の為に存在)

性能評価