| 数の順序列を発生させる。
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.
|
