Лифп / LIFPLAB3

МИНИСТЕРСТВО ОБРАЗОВАНИЯ и НАУКИ

КЫРГЫЗСКОЙ РЕСПУБЛИКИ

КЫРГЫЗСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ им. И. РАЗЗАКОВА

ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

КАФЕДРА «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»

Отчет

Лабораторная работа 3

Бишкек 2020

Код:

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).

Результат: