% Facts: genealogy of Jesus father(abraham, isaac). father(isaac, jacob). father(jacob, judah). father(judah, perez). father(perez, hezron). father(hezron, 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, joram). father(joram, 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, achim). father(achim, eliud). father(eliud, eleazar). father(eleazar, matthan). father(matthan, jacob). father(jacob, joseph). father(joseph, jesus). % Rules: genealogical relations mother(X, Y) :- father(Z, Y), wife(X, Z). grandfather(X, Y) :- father(X, Z), father(Z, Y). son(X, Y) :- father(Y, X). sibling(X, Y) :- father(Z, X), father(Z, Y), X \= Y. male(X) :- father(X, _). female(X) :- mother(X, _). % Queries ?- father(X, jesus). % X = joseph ?- son(X, jesus). % X = ?- grandfather(X, jesus). % X = matthan ?- mother(X, jesus). % X = mary ?- sibling(X, Y). % lists all pairs of siblings ?- male(X). % lists all men ?- female(X). % lists all women can someone take this prolog code and make the output look like: joe is the father of bill instead of the X's and Y's? or let me know if it even is possible , thanks!.

1. % Facts: genealogy of Jesus
father(abraham, isaac).
father(isaac, jacob).
father(jacob, judah).
father(judah, perez).
father(perez, hezron).
father(hezron, 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, joram).
father(joram, 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, achim).
father(achim, eliud).
father(eliud, eleazar).
father(eleazar, matthan).
father(matthan, jacob).
father(jacob, joseph).
father(joseph, jesus).
% Rules: genealogical relations

2. mother(X, Y) :- father(Z, Y), wife(X, Z).
grandfather(X, Y) :- father(X, Z), father(Z, Y).
son(X, Y) :- father(Y, X).
sibling(X, Y) :- father(Z, X), father(Z, Y), X = Y.
male(X) :- father(X, _).
female(X) :- mother(X, _).
% Queries
?- father(X, jesus). % X = joseph
?- son(X, jesus). % X =
?- grandfather(X, jesus). % X = matthan
?- mother(X, jesus). % X = mary
?- sibling(X, Y). % lists all pairs of siblings
?- male(X). % lists all men
?- female(X). % lists all women
can someone take this prolog code and make the output look like: joe is the father of bill
instead of the X's and Y's?
or let me know if it even is possible , thanks!