Skip to main content
Commonmark migration
Fonte Link

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: inserir a descrição da imagem aqui

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.

inserir a descrição da imagem aqui

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.

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: inserir a descrição da imagem aqui

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.

inserir a descrição da imagem aqui

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.

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: inserir a descrição da imagem aqui

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.

inserir a descrição da imagem aqui

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.

Fonte Link

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: inserir a descrição da imagem aqui

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.

inserir a descrição da imagem aqui

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.