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.
retractop(+優先順位,+演算子分類,+演算子リスト)
デ−タベ−スから「演算子リスト」中の演算子（op/3で作られた）の定義が削除されます。「優先順位」は、必ず1から1200の数値でなければなりません。「演算子分類」は、必ずアトム:xf, yf, fy, fx, xfx, yfx, xfyのいずれかでなければなりません。「演算子リストは、必ず既存のオペレ−タ記号（アトム）か、あるいは既存のオペレ−タ記号のリストでなければなりません。
引数に正しく値が与えられていない場合には、例外処理が起こります。引数が有効な場合でも、存在しないオペレ−タを表している場合には、述語は失敗します。
?- retractop(500, fx, [ - , + ]).
yes
?- _
out_of_range 「優先順位」が1から1200の値でない
operator_type_expected 「演算子分類」がxf,yf,fx,fy,xfx,xfy,yfxのいずれでもない
integer_expected 「優先順位」が整数でない
atom_expected 「演算子リスト」がアトム、あるいはアトムのリストでない
|
