for/3 /MINERVA/Manual/Reference/Predicates/arithm_eval/for/

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標準に含まれない。

関連