Программа квадратного корня

Predicates
eq(real, real, real)
root(real, real, real)
 
Clauses
eq(A,B,C) :- D=B*B-4*A*C, root(A,B,D), nl.
root(_,_,D):-  D<0, write("Нет действительных корней ").
root(A,B,D):- D=0, X= -B/(2*A), write("Два действительных одинаковых корня = ",Х).
root(A,B,D):-  W=sqrt(D),
X1 =(-B+W)/(2*A), X2=(-B-W)/(2*A), write(A,"*X**2 + (", B, ")*X + (", C, ") = 0. корни: "),
write("X1=",X1),write("X2=",X2).
 
Goal
eq( 1,-15,50).

Predicates
eq(real, real, real)
root(real, real, real, real)
 
Clauses
eq(A,B,C) :- D=B*B-4*A*C, root(A,B,C,D), nl.
root(_,_,_,D):-  D<0, write("Нет действительных корней ").
root(A,B,C,D):- D=0, X= -B/(2*A), write("Два действительных одинаковых корня = ",X).
root(A,B,C,D):-  W=sqrt(D),
X1 =(-B+W)/(2*A), X2=(-B-W)/(2*A), write(A,"*X**2 + (", B, ")*X + (", C,") = 0. Корни: "),
write("X1=",X1),write(" X2=",X2).
 
Goal
eq( 1, -15, 50).

predicates
nondeterm for(integer,integer).
 
clauses
 
for(N,N).
for(I,N):-
    W=sqrt(I),  
    writef("|     %     |     %-7.3f  |" ,I,W),nl,
    I1=I+1, for(I1,N).
goal
write( " _______________"),nl,
write( "| Число |    Корень  |"),nl,
for(1,10),
write( " -------------------------------").