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)
'Béla',2
'Ferenc',5
'András',5
'Emil',3

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

uv_lány(X)
'Cecil'