Задача на прологе

[Fenixbo]

Добрый вечер!
Буду очень признателен, если поможете в написании кода к уравнению:
f(x,n)= 1+ 1/x + 1/x^2 +1/x^3 +…+1/x^n при известных x и n
к сожалению, как сделать это в прологе разобраться не могу
заранее спасибо

есть небольшое продвижение я написал как возводить в любую степень но как это привязать к уравнению пока не придумал, подсобите если можете...

predicates
%	func(integer, integer, real)
	step(integer, integer, integer)
clauses
	step(_,0,1).
	step(1,_,1).
	step(X,N,F) :- 	N> 0,
			N1=N-1,
			step(X,N1,F1),
			F=F1*X.

[Stilet]

Я в прологе не силен но что-то мне подсказывает что нуна вроде такого:

predicates
%	func(integer, integer, real)
	step(integer, integer, integer)
clauses
	step(_,0,1).
	step(1,_,1).
	step(X,N,F) :- 	N> 0,
			N1=N-1,x=x*x,
			step(X,N1,F1),
			F=1/F1*X.

[Fenixbo]

это немного не то, если убрать из кода х=х*х
и брать в пример задачу f(2,3)=1+0,5+0,25+0,125
то при исполнение кода с такими параметрами он выдаст первый шаг в вычислении
т.е. 0,5
хотя над строкой х=х*х надо подумать :\
блин сам в прологе не бум бум был бы паскаль за 2 минуты бы написал (

[Fenixbo]

Сейчас еще кое что набрасал

predicates
	func(integer, integer, integer, real)
	step(integer, integer, integer)
clauses
    func(X,N,F,Rez) :- N >=0,
			P=N,
			N1=N-1,   	
			step(_,0,1).
			step(1,_,1).
			step(X,P,F) :- 	P> 0,
					P1=P-1,
					step(X,P1,F1),
					F=F1*X.
			func(X,N1,F,Rez1),
			Rez1=Rez+F.

естественно не работает но интерессно почему? в прологе вообще есть, так сказать, глобальность переменных ? ну или может ктото подскажет где ошибка...
компилятор матерится на строчку

func(X,N1,F,Rez1),

цитирую Clauses for the same predicate shoud be grouped. что бы это могло значить ?

[Косюра]

просто напишу алгоритм.

Сумма = х, Temp = 1
а потом от 1 до N
{
Temp = temp/x
Сумма = сумма + temp
}

[Stilet]

а потом от 1 до N

Это пролог, тут рекурсия рулит. Я даже не помню чтоб в Прологе был циклический оператор... Жаль я его плоховато знаю.

Clauses for the same predicate shoud be grouped. что бы это могло значить ?

Опять таки из моих скудных познаний:
Ты написал

F=F1*X.
func(X,N1,F,Rez1),
Rez1=Rez+F.

Но точка после X закрывает выражение, и func у тебя вроде как ни к чему не прицеплено. Имхо тудыть запятую нужно...

[Fenixbo]

Прогу я таки дописал все оказалось проще чем я думал

domains
  s=real
  x,n = integer
predicates
  f(x,n,s)
clauses
  
  f(_,0,S) :- S=1.
  f(X,N,S) :- N>0, M=N-1, f(X,M,R), S=R*(1/X)+1.

мало ли кому поможет