|
|
|||||||||
数の順序列を発生させる。
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.
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/arithm_eval/for/print_jp.html published 2008/11/17 update 1997/6/22 (c) 1996-2006 IF Computer Japan | ||||||||
|
