このプログラム例は、$PROROOT/demos/cの中にあります。新しい述語for_pred/3は、C言語，Pascal，Fortranなどの従来のプログラミング言語で使う”for”文と同様の働きをします。この述語は３つの引数を持ちます。第１引数は、初期整数値、第３引数は最大整数値、第２引数は数列の現在値を与える変数です。その増分は内部で１にセットされ、外部からは変更できません。 （注意：この述語は、すでに組み込み述語for/3として提供されています）

/* ---------------------------------------------------------------------- */ /* filename : $PROROOT/demos/c/for_pred.c */ /* for_pred(Min_int, N, Max_int): produces the series of */ /* integers [Min_int,Max_int]. test with (in ./for_test): */ /* go :- M=3,N=6, for(M,I,N),write('I='),write(I),nl,fail. */ /* ---------------------------------------------------------------------- */ #include "cpred.h"

typedef struct {int i; int max;} FORSTATE;

Cboot() { CPRED("for_pred", 3, Forpred, sizeof(FORSTATE)); } /* ---------------------------------------------------------------------- */ COROUTINE(Forpred, FORSTATE, state) RESUME(1, res1); BEGIN if( !XChk(IsInt(Arg(1)) && IsInt(Arg(3)), "integer_expected")) { FAIL; } state->i = IntPC(Arg(1)); state->max = IntPC(Arg(3)); while(state->i <= state->max) { if (UnifyArg(2, IntCP((INT)state->i))) { DETACH(1,res1); } state->i++; } END

for_predのプログラム例は、以下のようになります。

?- for_pred(3,I,5),write('Number='),write(I),nl,fail. Number=3 Number=4 Number=5

no ?-

scroll to top