Язык: Swi Prolog. Надо сделать сумму так, чтобы прибавлялось по 1.
Немного набросал
add(A, B, F) :-
F = F+1,
not(A+B = F) -> add(A, B, F).
Но оно не работает
?- X = 0, add(20, 5, X).
false
Что я не так делаю?
Что я не так делаю?
add(A, B, F) :-
F = F+1,
not(A+B = F) -> add(A, B, F).
add( A, B, C ) :-
add0( A0, B0, C0 ),
A is A0,
B is B0,
C is C0.
add0( A, 0, A).
add0( 0, A, A).
add0( A+1, B, C+1 ) :-
add0( A, B, C).
add0( A, B+1, C+1 ) :-
add0( A, B, C).
C is A + B
? Да и A1 вычисляется, но нигде не используется дальше
В прологе на запрос ?- X = 1 + 2.
система ответит X = 1 + 2
. Для вызова арифметических операций нужно использовать операцию is
:
?- X is 1 + 2.
X = 3
Операция =
- это операция сопоставления, она не вызывает вычисление арифметических выражений, но может согласовать переменные. Для сравнения равенства арифметических выражений используется операция =:=
Ну а рекурсивную сумму можно записать в виде следующего набора предложений:
sum(Augend, 0, Augend) :- !.
sum(Augend, Addend, Result):-
Addend >= 0, !,
NewAddend is Addend - 1,
sum(Augend, NewAddend, NewResult),
Result is NewResult + 1.
sum(Augend, Addend, Result):-
Addend < 0,
NewAddend is Addend + 1,
sum(Augend, NewAddend, NewResult),
Result is NewResult - 1.
Здесь первое предложение отвечает за конец рекурсии, второе и третье за сам расчет суммы в зависимости от знака второго слагаемого. Правда для корректной работы данного предиката переменные Augend
и Addend
должны быть конкретизированы.
not(A+B = F) -> add(A, B, F)
?