john7rv

Prologでの再帰を使ったループです
規則の部分で再帰関数を定義します

数を順番に下降させて表示する再帰関数の例

loop(0).  
loop(X) :- (X>0 -> write("X = "), write(X), nl,  A is X - 1, loop(A)).

クエリでloop(3).と打てば表示されます

? loop(3).
>3
>2
>1