Решение вычислить функцию на прологе (Рекурсивныйалгоритм)

@HellsingOva · Регистрация: 27.11.2010

Студворк — интернет-сервис помощи студентам

помогите шешить на прологе
Вычислить: y= sin(1)+sin (1,1)+sin (1,2)+…+sin 2.

решил итеративным все работает
Рекурсивная программа вычисления факториалов.
(Итеративный алгоритм)

Prolog

predicates
 func(real, real)
 func(real, real, real, real)
 clauses
 
    func(N, FactN) :-
                  func(N, FactN, 0.8, 0.0).
            func(N, FactN, N, FactN) :- !.
            func(N, FactN, I, P) :- I <=2.0, /*условие выхода не срабатывает  поставил это условие для прекращения алгоритма*/
               NewI = I+0.2,
               NewP = P+sin(NewI),write(NewI, " ", N, " S= ", NewP),nl,
               func(N, FactN, NewI, NewP).
 goal
 N=2.0,
 func (N,FactN).

а вот рекурсивный не хочет работать и я не впиливаю почему:

Рекурсивная программа вычисления
факториаов..(Рекурсивныйалгоритм)

Prolog

predicates
 func(real, real)
 
 clauses
 
 func(0.0, 0.0) :- !.
 
              func(X, FactX) :-
                 Y = X-0.2,
                 func (Y, FactY),
                 FactX = sin(X)+FactY.
 goal
 X=2.0,
 func(X, FactX).

@Грымзик · 16.11.2012, 22:40

Для вещественных чисел опасно использовать проверку на равенство.
Поэтому просто замените первое правило на
func(X, 0.0) :- X<=0.0, !.

@HellsingOva · 17.11.2012, 16:09 **[ТС]**

спасибо вроде работает щас по тестирую

Добавлено через 23 минуты
спасибо вроде работает щас по тестирую

интересно почему они разные результаты показывают:

Javascript

 clauses
    func(N, FactN) :-
                  func(N, FactN, 1.0, 0.0).
            func(N, FactN, N, FactN) :- !.
            func(N, FactN, I, P) :- I <2.0, /*условие выхода не срабатывает  поставил это условие для прекращения алгоритма*/
               NewI = I+0.2,
               NewP = P+sin(NewI),write(NewI, " ", N, " S= ", NewP),nl,
               func(N, FactN, NewI, NewP).
 goal
 N=2.0,
 func (N,FactN).

на 2.2 2 S = 5.608703881 //2.2 соответствует вроде 2 так как там I++

Javascript

predicates
 func(real, real)
 clauses
 func(X, 0.0) :- X<=1.0, !.
              func(X, FactX) :-
                 Y = X-0.2,
                 func (Y, FactY),write(Y, " ", FactY ),nl,
                 FactX = sin(X)+FactY.
 goal
 X=2.0,
 func(X, FactX).

на X=2 S = 5.641678462

@Грымзик 2505 / 1480 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	16.11.2012, 22:40	2
	Для вещественных чисел опасно использовать проверку на равенство. Поэтому просто замените первое правило на func(X, 0.0) :- X<=0.0, !. 0

Опции темы