Originally posted by Wind Shear
I need some help on First Predicate Order Logic for my project. All I need is just to reverse it.

Would you like to translate to English statement? These are just examples.

1. male('Loony BoB').
2. parent('Loony BoB','Agent Proto').
3. mother(X,Y) :- parent(X,Y), female(Y).
4. sister(X,S) :- female(S), parent(S,P), parent(X,P), X \== S.

Thanks!
1. Loony BoB is male, maybe
2. Agent Proto is the parent of Loony BoB. (Probably )
3. Y is the mother of X if Y is a parent of X and Y is female.
4. S is a sister of X if S is female, P is a parent of S, P is also a parent of X, and X is not S (last clause is needed otherwise it'll match X as a sister to itself if the rest are true )