Prolog Homework for Practice – Prolog Problems
1) Perform suitable substitutions of variables (by ‘people’) and then use resolution to prove from { ¬ parent(Y,X), child(X,Y) }, { gchild(X,Z), ¬ child(X,Y), ¬ child(Y,Z) }, and selected basic facts from the original family.pl program ( { parent(pat, jim) }, etc.) the goal G which says that tom has a gchild [ child(X,Y) means …