MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
predicate_type(+関数子,+引数の数_式,-述語の分類)
predicate_type(+関数子,+引数の数_式,-述語の分類)
この述語によって、「関数子」と「引数の数_式」を持つ述語の型が得られます。
述語の型には以下のようなものがあります。
undefined Prologデ−タベ−ス中に、その述語に関する定義がない
linear 「関数子」/「引数の数_式」はインタプリタで実行される
compiled 「関数子」/「引数の数_式」コンパイルされている
c_primitive 述語は、IF/Prologに（Cインタフェ−スによって）リンクされているC関数として定義されています。この述語は、バックトラックできません（'CPRIM'で定義されている）。
c_predicate 述語は、IF/Prologに（Cインタフェ−スによって）リンクされているC関数中に定義されています。この述語は、バックトラック可能です（'CPRED'で定義されている）。
system 以下にあげる述語です。
','/2 ';'/2 call/1 '!'/0
error_protect/2, block/3, clause, retract
builtin C関数によって定義された大部分のIF/Prologの組み込み述語
?- predicate_type(a,2,T).
T = undefined
yes
?- _
関数子が aで、引数の数が 2 の述語はデ−タベ−ス中に存在しません。
| 
