Лифп / Лабораторная работа#2 ЛиФп

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

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

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

ОТЧЕТ

На тему: «Ознакомление с прологом»

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

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

Бишкек 2020

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

Вариант №6

Вывести фамилии и группы всех студентов бюджетников, которые имеют задолжнности по предметам и их средний балл.

Решение

domains

FIO,Faculty,Group,Mesto,Grazh,Name_f=string.

Kurs,Avg_mark,Zadol,Sem_p,Kol_k,Kol_s,Kol_z_k,Kol_z_d=integer.

Dat=dat(integer,integer,integer).

Op=opl(integer,integer).

predicates

nondeterm student(FIO,Kurs,Faculty,Group,Avg_mark,Zadol,Op).

lich_info(FIO,Mesto,Dat,Grazh,Sem_p).

faculties(Faculty,Kol_k,Kol_s,Kol_z_k,Kol_z_d).

nondeterm pr(FIO,Group,Avg_mark).

clauses

student("Aibek",2,"FIT","IB-1",75,1,opl(0,0)).

student("Rahat",3,"ISOP","TIB-1",67,0,opl(0,0)).

student("Kanat",4,"FIT","IVT-2",94,3,opl(44000,44000)).

student("Musa",1,"KGTI","BST-2",85,0,opl(44000,20000)).

student("Ali",4,"ISOP","INB-3",95,2,opl(0,0)).

student("Murat",1,"FIT","IB-1",75,3,opl(44000,25000)).

lich_info("Aibek","Bishkek",dat(12,01,2001),"KR",0).

lich_info("Rahat","Osh",dat(24,07,2000),"RF",1).

lich_info("Kanat","Naryn",dat(02,11,1999),"TJ",1).

lich_info("Musa","Bishkek",dat(16,07,2002),"KR",0).

lich_info("Ali","Naryn",dat(07,10,1999),"FR",1).

lich_info("Murat","Batken",dat(30,01,2002),"KR",0).

faculties("FIT",8,700,54,110).

faculties("ISOP",5,600,43,90).

faculties("KGTI",6,700,47,87).

faculties("FTM",5,500,32,34).

pr(FIO,Group,Avg_mark):-student(FIO,_,_,Group,Avg_mark,Z,opl(0,_)),Z>0.

goal

pr(FIO,Group,Avg_mark).