Executando a primeira query obtive a seguinte resposta:
?- pai(jurandir,willian).
false.
?- pai(willian,jurandir).
true .
?- pai(willian,Y).
Y = jurandir .
Vamos entender o que está acontecendo antes de abordamos o problema propriamente dito vendo o trace:
Talvez seja necessário apenas que tu organizes tuas regras.
Eu faria: pai(X,Y) :- homem(X), progenitor(X,Y)
.
Lê-se: "X é pai de Y caso X seja homem E X seja progenitor de Y"
Para encontrar o irmão, tua regra precisa apenas de um complemento:
irmao(X,Y):-homem(X), pai(Z,X), pai(Z,Y),X\=Y.
irmao(X,Y):-homem(X), mae(Z,X), mae(Z,Y),X\=Y.
Realizando as consultas:
?- irmao(helio,jurandir).
true .
?- irmao(henrique,livia).
true .
Acrescentando o segunte fato para testar meio irmão:
progenitor(gislaine, mateus).
?- irmao(mateus,isabela).
true .
Sugiro que faças esse tipo de composição de regras para encontrar tios, primos etcétera.
Antes de prosseguirmos, considere o seguinte exemplo:
digerindo(X,Y) :- comeu(X,Y).
digerindo(X,Y) :- comeu(X,Z), digerindo(Z,Y).
comeu(mosquito,sangue(joão)).
comeu(sapo,mosquito).
comeu(cegonha,sapo).
Bastante ordinárion, não? Uma base de conhecimento contendo dois fatos e duas regras, mas a definição de digeringo/2 é recursiva e ocorre em ambos os lados da segunda regra. Crucialmente, contudo, há uma ponto de parada (um caso base) para o número de chamadas. Este ponto é dado pela regra comeu/1, que ocorre am ambos os lados das duas regras
A primeira regra (que não é recursiva, ou como normalmente a chamamos, a cláusula base), simplesmente diz que: se X acabou de comer Y, então X não está digerindo Y.
Então, e a segunda regra, a regra recursiva? esta diz que: se X tiver comido Z e Z está digerindo Y, então X está digerindo Y também. Logo, Prolog conclui por inferência que a consulta é verdadeira.
Finalmente, voltando ao seu problema, vamos encontra um ascendente(antepassado).
?- ascendente(jose,helio).
true .
?- ascendente(jose,fabiano).
true .
Caso tu queiras um bom material em português, procure por Eloi Favero
Fonte: BLACKBURN, Patrick; BOS, Johannes; STRIEGNITZ, Kristina. Learn prolog now!. Londres: College Publications, 2006.