<div class="notebook"> <div class="nb-cell program" name="p1"> s(X,D,S):- format("D=~d,S=~w",[D,S]),D<1,!,S is 0,writeln("S0"); E is D-1, (0 is X mod D,!,format(" mod\n",[]),s(X,E,T), %format("D=~d,S=~w",[D,S]); format("T=~d,D=~d,S=~w",[T,D,S]),S is T+D,format(";S=~d\n",[S]); writeln(" notmod"),s(X,E,S)). %f(X,N):-s(X,X,S),writeln(S),N is S//X,writeln("here2"),S is N*X,!,writeln("here3"),N*X is S,N>0. f(X,N):-writeln(N),s(X,X,N*X).%,format("\nSr=~d",[S]),N*X=S. </div> <div class="nb-cell query" name="q1"> f(6,N). </div> </div>