Мат. Задача

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ КЫРГЫЗСКОЙ РЕСПУБЛИКИ

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

УНИВЕРСИТЕТ ИМ. И. РАЗЗАКОВА

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

Бишкек 2021

Лабораторная работа №2

Вариант №7

Листинг кода:

domains

X, Y, N, St, Rst = real

predicates

nondeterm y(X, N, Y).

clauses

y(X,0,0):-!.

y(X, N, Y):-N1=N-1, y(X,N1,Yp), Str=(N*N), Y=Yp+(1/Str).

goal

y(5,9,M).

Фото результат: