Then we need the rules that will allow for the queries that will answer the following: Find the Father of any of the man. Find the Sons of any man Find the Grandfather of any of the man Find the Mother of any man. Display a list of all the pairs of siblings. Display a list of all the men. in my program the findson and list_siblings predicates care not working find son should look like findson(jacob). and then list all of jacobs sons list_siblings should look like perez and zerah are siblings. judah and reuban are siblings, etc.... please use this code to modify and include it in your answer :) i dont want to make too much of a drastic change unless necessary. gender(male,[abraham, isaac, jacob,judah, reuben, simeon, levi, dan, naphtali, gad, asher, issachar, zebulun, joseph, benjamin, perez, zerah, hezron, ram,amminadab,nahshon, salmon, boaz, obed, jesse, david, solomon, rehoboam, abijah, asa, jehoshaphat, jehoram, uzziah,jotham,ahaz, hezehiah, manasseh, amon, josiah,jeconiah,shealtiel,zerubbabel,abihud,eliakim,azor,zadok,akim, elihud, eleazar,matthan,jacob,joseph,jesus]). gender(female,[dinah,tamar,rahab,ruth,bathsheeba,mary]). %father facts father(abraham, isaac). father(isaac, jacob). father(jacob, judah). father(jacob, reuben). father(jacob, simeon). father(jacob, levi). father(jacob, dan). father(jacob, naphtali). father(jacob, gad). father(jacob, asher). father(jacob, issachar). father(jacob, zebulun). father(jacob, dinah). father(jacob, joseph). father(jacob, benjamin). father(judah, perez). father(judah, zerah). father(perez, hezron). father(herzon, ram). father(ram, amminadab). father(amminadab, nahshon). father(nahshon, salmon). father(salmon, boaz). father(boaz, obed). father(obed, jesse). father(jesse, david). father(david, solomon). father(solomon, rehoboam). father(rehoboam, abijah). father(abijah, asa). father(asa, jehoshaphat). father(jehoshaphat, jehoram). father(jehoram, uzziah). father(uzziah, jotham). father(jotham, ahaz). father(ahaz, hezekiah). father(hezekiah, manasseh). father(manasseh, amon). father(amon, josiah). father(josiah, jeconiah). father(jeconiah, shealtiel). father(shealtiel, zerubbabel). father(zerubbabel, abihud). father(abihud, eliakim). father(eliakim, azor). father(azor, zadok). father(zadok, akim). father(akim, elihud). father(elihud, eleazar). father(eleazar, matthan). father(matthan, jacobNew).%New for new Testement - fixes duplicates father(jacobNew, josephNew). father(josephNew, jesus). %mother facts mother(tamar, zerah). mother(tamar, perez). mother(rahab, boaz). mother(ruth, obed). mother(bathsheeba, solomon). mother(mary, jesus). sibling(X, Y) :- father(Z, X), father(Z, Y), X = Y. sibling(X, Y) :- mother(Z, X), mother(Z, Y), X = Y. grandfather(X, Y) :- father(X, Z), father(Z, Y). grandfather(X, Y) :- father(X, Z), mother(Z, Y). son(X, Y) :- father(Y, X). son(X, Y) :- mother(Y, X). findson(X):-father(X,Y), siblings(Y,Z), format("~w are the sons of ~w",[Z,X]). %find multiple sons findfather(X) :- .

1. Then we need the rules that will allow for the queries that will answer the following:
Find the Father of any of the man.
Find the Sons of any man
Find the Grandfather of any of the man
Find the Mother of any man.
Display a list of all the pairs of siblings.
Display a list of all the men.
in my program the
findson and list_siblings predicates care not working
find son should look like
findson(jacob).
and then list all of jacobs sons
list_siblings should look like
perez and zerah are siblings. judah and reuban are siblings, etc....
please use this code to modify and include it in your answer :) i dont want to make too much of a
drastic change unless necessary.
gender(male,[abraham, isaac, jacob,judah, reuben, simeon, levi, dan, naphtali, gad, asher,
issachar, zebulun, joseph, benjamin, perez, zerah, hezron, ram,amminadab,nahshon,
salmon,
boaz, obed, jesse, david, solomon, rehoboam, abijah, asa, jehoshaphat, jehoram,
uzziah,jotham,ahaz,
hezehiah, manasseh, amon,
josiah,jeconiah,shealtiel,zerubbabel,abihud,eliakim,azor,zadok,akim,
elihud, eleazar,matthan,jacob,joseph,jesus]).
gender(female,[dinah,tamar,rahab,ruth,bathsheeba,mary]).
%father facts
father(abraham, isaac).
father(isaac, jacob).
father(jacob, judah).
father(jacob, reuben).
father(jacob, simeon).
father(jacob, levi).
father(jacob, dan).
father(jacob, naphtali).

2. father(jacob, gad).
father(jacob, asher).
father(jacob, issachar).
father(jacob, zebulun).
father(jacob, dinah).
father(jacob, joseph).
father(jacob, benjamin).
father(judah, perez).
father(judah, zerah).
father(perez, hezron).
father(herzon, ram).
father(ram, amminadab).
father(amminadab, nahshon).
father(nahshon, salmon).
father(salmon, boaz).
father(boaz, obed).
father(obed, jesse).
father(jesse, david).
father(david, solomon).
father(solomon, rehoboam).
father(rehoboam, abijah).
father(abijah, asa).
father(asa, jehoshaphat).
father(jehoshaphat, jehoram).
father(jehoram, uzziah).
father(uzziah, jotham).
father(jotham, ahaz).
father(ahaz, hezekiah).
father(hezekiah, manasseh).
father(manasseh, amon).
father(amon, josiah).
father(josiah, jeconiah).
father(jeconiah, shealtiel).
father(shealtiel, zerubbabel).
father(zerubbabel, abihud).
father(abihud, eliakim).

3. father(eliakim, azor).
father(azor, zadok).
father(zadok, akim).
father(akim, elihud).
father(elihud, eleazar).
father(eleazar, matthan).
father(matthan, jacobNew).%New for new Testement - fixes duplicates
father(jacobNew, josephNew).
father(josephNew, jesus).
%mother facts
mother(tamar, zerah).
mother(tamar, perez).
mother(rahab, boaz).
mother(ruth, obed).
mother(bathsheeba, solomon).
mother(mary, jesus).
sibling(X, Y) :- father(Z, X), father(Z, Y), X = Y.
sibling(X, Y) :- mother(Z, X), mother(Z, Y), X = Y.
grandfather(X, Y) :- father(X, Z), father(Z, Y).
grandfather(X, Y) :- father(X, Z), mother(Z, Y).
son(X, Y) :- father(Y, X).
son(X, Y) :- mother(Y, X).
findson(X):-father(X,Y), siblings(Y,Z), format("~w are the sons of ~w",[Z,X]). %find multiple
sons
findfather(X) :- father(Y, X), write(Y), write(' is the father of '), write(X), nl.
findsons(X) :- son(Y, X), write(Y), write(' is a son of '), write(X), nl.
findgrandfather(X) :- grandfather(Y, X), write(Y), write(' is the grandfather of '), write(X), nl.
findmother(X) :- mother(Y, X), write(Y), write(' is the mother of '), write(X), nl.
list_siblings :- sibling(X, Y), write(X), write(' and '), write(Y), write(' are siblings.'), nl.
displaymales:- X = male,format("The males are:n"),forall(gender(X,Y),writeln(Y)).%displays
all males.
displayfemales:- Y = female,format("The females
are:n"),forall(gender(Y,X),writeln(X)).%displays all females.