Answer:
Explanation:
A, I may be wrong but here me out they both seem to agree that they had a common ancestor
You are Teresa's daughter
Answer:
Explanation:
mammal(X) :- legs(X,4), arms(X,0).
mammal(X) :- legs(X,2), arms(X,2).
mammal(horse).
arms(horse,0).
As far as I can tell, prolog cannot derive that a horse has four legs. Why so? You may ask. I'd say then, because there isn't any rule(s) for prolog to use in determining the legs. Inference rules can also not be used to determine that the fact that a horse is a mammal and it has 0 arms, it certainly must have 4 legs.
