関数の数値を求める...
移動
次へ 前へ
上へ 最上
参考
abort/0
::(Apply)/2
break
call/1
fcall/1
catch/3
','(Conjunction)/2
!(Cut)/0
';'(Disjunction)/2
<-(Eval)/2
fail/0
halt/0/1
->(If-then)/2
';'(If-then-else)/2
'\+'/1
once/1
repeat/0
throw/1
true/0
イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 論理と制御 > <-(Eval)/2

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

続く..
MINERVA
ifcomputer logo
f
Expert Services on the Web
言語
English
Japanese
サーバー
USA
Japan
サイトマップ
索引
目次
全体目次
全体索引
印刷向き
imode
PDA
探索
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/eval/home_jp.html
published 2008/6/30 update 2003/2/28 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 ifcj@ifcomputer.co.jp
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
冒頭へ managed with ubiCMS