<div class="notebook"> <div class="nb-cell program" name="p1"> s(X,D,S):-D<1,!,S is 0;E is D-1,(0 is X mod D,!,s(X,E,T),S is T+D;s(X,E,S)). f(X,N):-s(X,X,N*X). </div> <div class="nb-cell query" name="q1"> f(6,N). </div> </div>
<div class="notebook"> <div class="nb-cell program" name="p1"> s(X,D,S):-D<1,!,S is 0;E is D-1,(0 is X mod D,!,s(X,E,T),S is T+D;s(X,E,S)). f(X,N):-s(X,X,N*X). </div> <div class="nb-cell query" name="q1"> f(6,N). </div> </div>