Лифп / Лабораторная работа#4(ЛиФП)

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

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

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

ОТЧЕТ

На тему: «Cписок»

По дисциплине: ЛиФП

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

Бишкек 2020

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

Вариант №6

Дана БД о сотрудниках в виде: ФИО, стаж, зарплата. Найти сотрудников

стаж которых выше средней.

Решение

domains

S=integer*.

FIO=string.

St,Zp,Sum,Kol=integer.

predicates

nondeterm sotr(FIO,St,Zp).

nondeterm pr(FIO).

nondeterm sumkol(S,Sum,Kol).

clauses

sotr("Asanyp",3,15000).

sotr("Abdugaparyp",3,11000).

sotr("Amanturup",5,13000).

sotr("Ashyryp",1,17000).

sotr("Baisalyp",4,12000).

sumkol([],0,0).

sumkol([H|T],Sum, Kol):-sumkol(T,Sum1,Kol1),Sum=Sum1+H,Kol=Kol1+1.

pr(Fio):- findall(St,sotr(_,St,_), LS), sumkol(LS,S,K), Sr=S/K,sotr(FIO,StS,_),StS>Sr.

goal

pr(Fio).