Řešení LP rezoluční metodou

• Př.: k EDB a IDB přidáme B(z,Pavel) (7)

• a spustíme rezoluční metodu:

• (8) S(Jaroslav,w) :- F(Oldřich,w) z (2),(3)

• (9) S(Jaroslav,Pavel) z (8),(1)

• (10) M(Jaroslav) z (3),(4)

• (11) B(Jaroslav,y) :- S(Jaroslav,y) z (10),(6)

• (12) B(Jaroslav,Pavel) z (11),(9)

• (13) NIL z (12),(7)