Answer and Explanation:
The Prolog rule expresses that logical implication (:-) describes the relationship between facts.
Prolog expressions are containing truth-functional symbols, which have the same intervention as in predicate calculus.
For example:
English Predicate calculus prolog
and ^ ,
or v ;
By using information, given in the question,
We can make prolog:
Grandfather(X, Y) :-mother(M,Y), father(X,M); father (F, Y), father(X,F)
Prolog (:- ) means define,
Prolog (,) represents a conjunction
And
Prolog (;) represent a disjunction