MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
このレファレンスマニュアルでは、述語の仕様は以下のように示しています。
[#]関数子( + 引数1, - 引数2, ? 引数3 ... )
引数の仕様は短縮名と接頭辞の+,-または?からなっています。この短縮名は述語の主な意味に対してその引数の役割を指し、接頭辞は引数のモードを与えます。この先頭の#は、その述語がバックトラクできることを意味します。
+ 入力パラメータ: 実行時に、値を与えてもその引数に影響を与えません。引数は引数役割名によって指定されたデータ型の一つでなければなりません。その以外の場合は通常に、データ型の例外処理が起こされます。
- 出力パラメータ: 実行時に、引数はシステムによって与えられた値に単一化されます。データ型はチェックされません。データ型が引数の役割名と合わない時には、単一化は失敗します。
? モード"+"でもモード"-"でもこの引数のモードを正確に記述しません。値を与えられるかもしれないし、単一化が行なわれるかもしれないし、データ型の例外処理も起こるかもしれません。
| 
