| 関数の数値を求める
<-/2
Predicate(Arg1,...,ArgN,ArgN+1)
の代りに、以下のように使うことができます。
Result <- Predicate(Arg1,...,ArgN)
関数を使ってより読みやすいプログラムを作ることができます。
Manual/Reference/Functions/home_jp.html
を参照して下さい。
標準
この述語は、ISO-Prolog標準に含まれない。
関連
abort/0,
break/0,
call/1,
fcall/1,
catch/3,
','(conjunction)/2,
';'(disjunction)/2,
fail/0,
true/0,
halt/0/1,
'->'(if-then)/2,
';'(if-then-else)/2,
'\+'(not provable)/1,
once/1,
repeat/0,
throw/1.
|