sitelogo
for/3

数の順序列を発生させる。

for(+スタート, ?カウンター, +エンド)

for/3 は、2つの値のステップが1である、初期値 スタート と 最終値 エンドの 整数の昇順列を発生させる。 もし、エンドがスタートより小さければ、失敗する。

引数 

スタート                  整数
カウンター                整数
エンド                    整数

例

% occurs_in(+Arg, +Term)
% check if Term occurs in Term
occurs_in(Arg, Term) :-
	Arg == Term, !.
occurs_in(Arg, Term) :-
	compound(Term), !,
	functor(Term, _, Arity),
	for(1, I, Arity),
	arg(I, Term, SubTerm),
	occurs_in(Arg, SubTerm), !.

標準

この述語は、ISO-Prolog標準に含まれない。

関連

is/2.

戻る 続く..
冒頭へ managed with ubiCMS