<-(Eval)/2 /MINERVA/Manual/Reference/Predicates/logic_and_control/eval/

<-(Eval)/2

関数の数値を求める

<-/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.