PROLOG PROGRAM:

--------------------------------------------------------------------

Given the following set of Prolog clauses"

father(X,Y):-parent(X,Y),male(X).

parent(sally,bob). parent(jim,bob). parent(alice,jane). parent(thomas,jane).

male(bob). male(jim). male(thomas).

female(sally). female(alice).

--------------------------------------------------------------------

(1) Add a rule that states parent bill had only sons (no daughters) and every such son became a parent of a child named frank, walkter, or george.

-provide screen shot of final results

-what is the rule you added for above?

--------------------------------------------------------------------