/*FILE1.

PRO
father("Bill","John").
father("Pam","Bill").
*/
father(person("Bill","male"),person("John","male")).
father(person("Pam","female"),person("Bill","male")).
grandFather(Person,GrandFather):father(Person,Father),
father(Father,GrandFather).

/*goal
grandFather(Person,GrandFather).
*/