2019980098 2019980098 26-12-2022 Engineering contestada Consider the following FOL KB: x Horse(x) Animal(x) Use FOL resolution to prove that: x,h Horse(x) HeadOf(h, x) y Animal(y) HeadOf(h, y)