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'