Can anyone check if my prolog solutions are correct?

[webdev]

I just want to confirm my answers for prolog problems. i)Every animal is mortal ?X. (Animal(X)-> Mortal(X)) ii)If nobody is both a child and a dog then if Fido is a dog then Fido cannot be a child. ¬?X. ((Child(X)^ Dog(X))-> (Dog(Fido)-> ¬Child(Fido))) Let friend(X,Y) denote 'x is a friend of...