Пролог

[Dog]

1.Создайте программу, решающую квадратное уравнение.
2.Создайте предикат, вычисляющий сумму цифр натурального числа.

[Alex Cones]

Наработки or Фриланс

[Dog]

Сообщение от Alex Cones

Наработки or Фриланс

Фриланс (((

[ОДИНОЧЕСТВО В СЕТИ]

1)

solve(A,B,C,Res) :- type(A,B,C,Type), solution(Type,A,B,C,Res),
                    print_solution(Type,Res).

type(0,0,_,0) :- !.
type(0,_,_,1) :- !.
type(_,_,_,2) :- !.

solution(1,_,B,C,[X]) :- !,X is -C/B.
solution(2,A,B,C,[X1,X2]) :- D = B*B - 4*A*C, D >= 0, !,
                             sqrt(D,Sq), X1 is (-B-Sq)/2/A, X2 is (-B+Sq)/2/A.
solution(_,_,_,_,[]).

print_solution(_,[]) :- write('Решений нет!'), !.
print_solution(1,[X]) :- write('X = '), write(X), !.
print_solution(_,[X,X]) :- write'(Корень кратности 2: X = '), write(X), !.
print_solution(_,[X1,X2]) :- write('X1 = '), write(X1),
                             write(', X2 = '), write(X2).

2 если число маленькое то

predicates
sum(unsigned,unsigned)
sum(unsigned,unsigned,unsigned)
clauses
sum(N,S):- sum(N,0,S).

sum(0,S,S):- !.
sum(N,C,S):- X=N mod 10,C1=C+X,N1=N div 10,sum(N1,C1,S).
goal
sum(4010123456,S).

а если не очень

predicates
sum(string,unsigned)
sum(string,unsigned,unsigned)
clauses
sum(N,S):- sum(N,0,S).

sum(N,C,S):- frontChar(N,Ch,N1),
    str_char(ChS,Ch), str_int(ChS,X), !,
    C1=C+X,
    sum(N1,C1,S).
sum(_,S,S).
goal
sum("123456789098765432101234567890987654321",S).

видимо нет!!!