Prolog查找father_in_law

Question

m([ himu, eric, shawn, wasim, steve,
    korim, mark, romiz,  yash, ben, mathew,protik,
  labib, tim, sam, richard, sultan,liton,sazid]).
f([ soma, sarah, priti, anika, rokeya, marry,
    lucy, rimi, kani, buni, sanjida, raidah, maria, hema,
   cathrin, pauly,lili]).

%third generation
family([wasim, priti, [soma]]).
family([korim, anika, [eric, marry]]).
family([yash,lili,[protik]]).
%second generation
family([mark, lucy, [wasim, rimi]]).
family([ben, sanjida, [priti, mathew]]).
family([romiz, kani, [anika, yash]]).
family([sazid, raidah, [korim]]).
%first generation
family([tim, maria, [lucy]]).
family([sam, hema, [ben]]).
family([richard, cathrin, [romiz]]).
family([sultan, pauly, [sazid,liton]]).


parent(tim,lucy).
parent(maria,lucy).
parent(sam,ben).
parent(hema,ben).
parent(richard,romiz).
parent(cathrin,romiz).
parent(sultan,sazid).
parent(pauly,sazid).
parent(pauly,liton).
parent(sultan,liton).
parent(sam,korim).
parent(raidah,korim).
parent(romiz,anika).
parent(romiz,yash).
parent(kani,anika).
parent(kani,yash).
parent(ben,priti).
parent(ben,mathew).
parent(sanjida,priti).
parent(sanjida,mathew).
parent(mark,wasim).
parent(mark,rimi).
parent(lucy,wasim).
parent(lucy,rimi).

parent(korim,eric).
parent(korim,marry).
parent(anika,eric).
parent(anika,marry).
parent(wasim,soma).
parent( priti, soma).
parent(yash,protik).
parent(lili,protik).

father_in_law(X, Y) :-
    male(X) ,family([Z,Y|[_]]),parent(X, Z).

对于father_in_law，我只得到妻子的father_in_law。但我也要丈夫的father_in_law在这里面。不明白怎么做的。这个是可能的吗？

Answer 1

你需要改为：

male([ himu, eric, shawn, wasim, steve,
    korim, mark, romiz,  yash, ben, mathew,protik,
  labib, tim, sam, richard, sultan,liton,sazid]).
female([ soma, sarah, priti, anika, rokeya, marry,
    lucy, rimi, kani, buni, sanjida, raidah, maria, hema,
   cathrin, pauly,lili]).

father_in_law(X, Y) :-
    male(XM) ,member(X,XM),family([Z,Y,[_|_]]),parent(X, Z).
father_in_law(X, Y) :-
    male(XM) ,member(X,XM),family([Y,Z,[_|_]]),parent(X, Z).

这是丈夫的father_in_law。