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) :- .