Databáze intenzionálně

• Intenzionální databáze (IDB):

• M(x):- F(x,y) (4)

• S(y,w) :- F(x,y), F(x,w) (5)

• B(x,y) :- S(x,y),M(x) (6)

• Dotazy:

• D1: Má Pavel bratra?

• D2: Najdi všechny (x,y), kde x je bratrem y

• D3: Najdi všechny (x,y), kde x je sourozencem y