clauses
x(100).
pr(X,0,1):-x(X),!.
pr(X,I,PrXI):-J=I-2,pr(X,J,PrXJ),PrXI=PrXJ*(X-I+1)/(X-I).
goal
I=64,pr(X,I,PrXI).

4.10 i
predicates
pr(real,real,real)
pr(real,real,real,real,real)
x(real)

clauses
x(100).

pr(X,I,PrXI):-pr(X,I,PrXI,I,1).
pr(X,I,PrXJ,0,PrXJ):-x(X),!.
pr(X,I,PrXI,J,PrXJ):-x(X),NewJ=J-2,NewPrXJ=PrXJ*(X-J+1)/(X-J),pr(X,I,PrXI,NewJ,NewPrXJ).
goal
I=64,pr(X,I,PrXI).

4.15 r
predicates
pr(real,real)

clauses
pr(0,1):-!.
pr(N,Pr):-M=N-1,pr(M,PrM),Pr=PrM*(1-(1/(2*N))).

goal
N=10,pr(N,Pr).

4.15 i
predicates
pr(real,real)
pr(real,real,real,real)

clauses

pr(N,Pr):-pr(N,Pr,N,1).
pr(N,PrM,0,PrM):-!.
pr(N,PrM,M,PrNM):-NewM=M-1,NewPrNM=PrNM*(1-(1/(2*M))),pr(N,PrM,NewM,NewPrNM).
goal
N=10,pr(N,Pr).