K-Prolog Compiler Version 6.0

種々の宣言と関連する機能

本節では、述語や記号についてインタプリタに与える種々の宣言に関係する機能を解説します。宣言には、

があります。

これらの宣言は通常、

   :- 宣言.
   述語
   ・
   ・
   ・

の形でプログラム中に命令として記述するのが普通ですが、述語の実行中に宣言を変更できる性質のものもあります。これらの具体的な用法については、本マニュアルの 機能編 を参照してください。

一つ上に戻る 目次に戻る