megaj?nlott(X,Y)<-bead(X,'N','elfogadva'),Y=5
megaj?nlott(X,Y)<-bead(X,'A','elfogadva'),Y=4
megaj?nlott(X,Y)<-bead(X,'K','elfogadva'),Y=3
levizsg?zott(X,Y)<-megaj?nlott(X,Y),gyakjegy(X,Z),Z>1
levizsg?zott(X,Y)<-sz?beli(X,Y,Z),Y>1,gyakjegy(X,U),U>1
jeles(X)<-levizsg?zott(X,Y),Y=5
uv_l?ny(X)<-sz?beli(X,Y,Z),l?ny(X),Y=1

bead(X,Y,Z)
'Andr?s','N','elfogadva'
'B?la','N','nincs elfogadva'
'Cecil','A','nincs elfogadva'
'D?nes','K','elfogadva'
'Emil','K','elfogadva'

l?ny(X)
'Cecil'

sz?beli(X,Y,Z)
'B?la',1,'20070104'
'B?la',1,'20070127'
'B?la',2,'20070131'
'Cecil',1,'20070116'
'Cecil',4,'20070124'
'Ferenc',1,'20070104'
'Ferenc',5,'20070130'
'G?za',1,'20070104'

gyakjegy(X,Y)
'Andr?s',4
'B?la',2
'Cecil',1
'D?nes',1
'Emil',2
'Ferenc',3
'G?za',3

megaj?nlott(X,Y)
'Andr?s',5
'D?nes',3
'Emil',3

levizsg?zott(X,Y)
'Andr?s',5
'Emil',3
'B?la',2
'Ferenc',5

jeles(X)
'Andr?s'
'Ferenc'

uv_l?ny(X)
'Cecil'