Лифп / 2 лаба по лифп (1)

ЛИФП

2 Лабораторная работа(8-вариант) :

Найти всех студентов заданного курса, оплачивающих контракт больше

18000, которые проживают в г.Бишкек.

domains

fio,fac,family_status,nationality=string.

kurs,kolvo_subjects,kolvo_money,kolvo_student,kolvo_kaf=integer.

average_score=symbol.

adress,date,group=symbol.

kontract=integer.

oplatil=integer.

predicates

student(fio,kurs,fac,group,average_score,kontract,oplatil).

personal(fio,adress,date,nationality,family_status).

facultet(fac,kolvo_kaf,kolvo_student,kolvo_money,kolvo_subjects).

prav(fio).

clauses

student(ivanov,1,fit,ib_17,"3,5",30000,12000).

student(arsenov,3,ivm,iv_15,"4,5",16000,16000).

student(usenov,1,fit,ib_17,"4,5",30000,15000).

personal(ivanov,bishkek,"12.03.1998",russia,alone).

personal(arsenov,bishkek,"13.04.1996",kyrgyz,alone).

personal(usenov,bishkek,"26.06.1998",kyrgyz,alone).

facultet(fit,2,150,50,100).

facultet(ivm,3,250,100,100).

prav(F):-student(F,C,_,_,_,K,_),K>18000,C=1,personal(F,A,_,_,_),A=bishkek.

goal

prav(F).