musim vypnit hodnotu pre add rezolvent
inak ma nepusti
tu pridat este ze ta hrana niekedy nesie informaciu napr pri predikatovej logike informaciu o unifikatore
tiez pridat moznost vypnut tie mnozinove zatvorky pre kazdu klauzulu
na urovni node "a" by som niekedy chcel pridat dalsi node a robit rezoluciu dalej

musim vypnit hodnotu pre add rezolvent
inak ma nepusti
tu pridat este ze ta hrana niekedy nesie informaciu napr pri predikatovej logike informaciu o unifikatore
tiez pridat moznost vypnut tie mnozinove zatvorky pre kazdu klauzulu
na urovni node "a" by som niekedy chcel pridat dalsi node a robit rezoluciu dalej