[Ap0C552]

I am creating rules that establish family relationships.

I have the rule...

brother(X,Y):-(parent(Z,X),parent(Z,Y)),X\==Y,male(X).

But the problem is that it returns duplicates.

So if john has a brother joe, it will say john has two brothers named joe.

because it checks that they share a father and returns joe, and checks that they have the same mother and returns joe.


But of course I want it to work if they only have one parent in common as well.

Can anyone suggest me in the right direction?

Thanks.

[#define]

You can use a cut ! to say that the current choice is the correct one, and to disallow backtracking.

	brother(X,Y):- parent(Z,X), parent(Z,Y), 
                       X\==Y, male(X) , !.

[sepp2k]

#define, on 06 October 2012 - 06:03 AM, said:

You can use a cut ! to say that the current choice is the correct one, and to disallow backtracking.

But that will only return one brother even if there really are multiple brothers.

[#define]

Thanks sepp2k that's right.

Another predicate may help something like :

parents(M, F, C) :-

that defines both parents of the child.