イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 論理と制御 > fcall/1

fcall/1

MINERVA
ifcomputer logo
f
Expert Services on the Web

一度だけゴールを実行して、ゴールが失敗する場合、例外を出します。

fcall(?Goal)

Goalの実行が失敗するならば、fcall/1はonce/1のように働くが、例外を出します。

引き数

Goal                   ゴール

例題

fcall((member(X,[a,b,c]))). 一度だけ代入X <- aで、成功します。
fcall((member(d,[a,b,c]))). 例外を出します。

標準

この述語は、ISO-Prolog 標準の要件ではありません。

以下も参照して下さい

abort/0, break/0, call/1, catch/3, ','(連言)/2, '!'(カット)/0, ';'(選言)/2, fail/0, true/0, halt/0/1, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(証明できない)/1, repeat/0, throw/1.

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/fcall/print_jp.html
published 2008/10/13 update 2001/2/7 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
戻る> managed with ubiCMS