Лифп / LIFPLAB2

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

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

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

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

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

Отчет

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

Бишкек 2020

15. Найти всех семейных студентов, которые учатся на факультете, с заданным количеством задолжников по дисциплинам.

Код:

domains Name,Marital,Group,Facl,Adr=string. Debt,Contract,AveScore,Kolvozadl,KolvoST=integer. predicates nondeterm students(Name,Group,Facl,Debt,AveScore). nondeterm personal(Name,Marital,Adr). nondeterm faculty(Facl,Kolvozadl,KolvoST). nondeterm prav(Name,Marital,Facl).

clauses students("Apazbekov","IB","Fit",2,90). students("Narynov","IB","Fit",0,95). students("Ashirbaev","IB","Fit",5,85). students("Shaimkulov","IB","Fit",4,70). students("Apazbekov","IB","Fit",2,90). personal("Shaimkulov","yes","vostok5"). personal("Apazbekov","non","djal"). personal("Ashirbaev","yes","vostok5"). faculty("Fit",4,5).

prav(N,M,F):-faculty(F,4,5),students(N,_,F,_,_),personal(N,M,_),M=yes. goal prav(N,M,F).

Результат: