Подчеркивание в выводе

domains
name = string
 
predicates
nondeterm grandson(name)
nondeterm second_grandson(name)
nondeterm second_cousin_uncle(name)
nondeterm any_cousin_uncle(name)
nondeterm husbands_mother(name)
 
nondeterm male(name)
nondeterm female(name)
 
nondeterm aunt(name, name)
nondeterm father(name, name)
nondeterm great_grandfather(name, name)
nondeterm any_great_grandfather(name, name)
nondeterm any_great_grandmother(name, name)
nondeterm great_grandmother(name, name)
 
clauses
male("Alex").
male("Arthur").
male("Ben").
male("Bob").
female("Elise").
 
grandson("Alex").
second_grandson("Arthur").
second_cousin_uncle("Ben").
any_cousin_uncle("Bob").
husbands_mother("Elise").
 
aunt(X, Y):-female(X), husbands_mother(X), second_cousin_uncle(Y) or any_cousin_uncle(Y).
father(X, Y):-male(X),grandson(X) , second_grandson(Y).
great_grandfather(X, Y):-male(X), second_cousin_uncle(X), grandson(Y).
any_great_grandfather(X, Y):-male(X), second_cousin_uncle(X) or any_cousin_uncle(X), grandson(Y) or second_grandson(Y).
any_great_grandmother(X, Y):-female(X), husbands_mother(X), second_grandson(Y).
great_grandmother(X, Y):-female(X), husbands_mother(X), grandson(Y).
 
goal
any_great_grandfather(X, Y).

any_great_grandfather(X, _):-male(X), second_cousin_uncle(X).
any_great_grandfather(X, Y):-any_cousin_uncle(X), grandson(Y).
any_great_grandfather(_, Y):- second_grandson(Y).