Добавил:
T0miesh
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лифп / рекурсия
.txt domains
N,X,Y=integer
predicates
nondeterm pow(integer,integer,integer)
nondeterm f(integer,integer)
nondeterm y(X,N,Y)
clauses
pow(C,0,1):-!.
pow(C,St,R):-St1=St-1, pow(C,St1,Rp),R=Rp*C.
y(X,1,1):-!.
y(X,N,Y):-N1=N-1,y(X,N1,Y1),pow(X,N1,CH),f(N1,Z),pow(-1,N1,C),Y=Y1+C*CH/Z.
f(0,1):-!.
f(X,N):-X1=X-1,f(X1,N1),N=N1*X.
goal
y(5,3,R).
N,X,Y=integer
predicates
nondeterm pow(integer,integer,integer)
nondeterm f(integer,integer)
nondeterm y(X,N,Y)
clauses
pow(C,0,1):-!.
pow(C,St,R):-St1=St-1, pow(C,St1,Rp),R=Rp*C.
y(X,1,1):-!.
y(X,N,Y):-N1=N-1,y(X,N1,Y1),pow(X,N1,CH),f(N1,Z),pow(-1,N1,C),Y=Y1+C*CH/Z.
f(0,1):-!.
f(X,N):-X1=X-1,f(X1,N1),N=N1*X.
goal
y(5,3,R).
Соседние файлы в папке Лифп