cerca3
domains
 nome = symbol
predicates
 padre_di (nome,nome)
 fratelli (nome,nome)
clauses
 padre_di (mario,luigi).
 padre_di (mario,"Carlo").
 padre_di (mario,"Anna Lisa").
 padre_di (mario,"anna lisa").
 padre_di (alessandro,alice).
 padre_di (alessandro,luigi).
 fratelli (X,Y) if
   padre_di (P,X) and
   padre_di (P,Y) and
   X<>Y.
 
goal:fratelli(X,Y)   
X=Carlo, Y=luigi
X=Carlo, Y=Anna Lisa
X=Carlo, Y=anna lisa
X=Anna Lisa, Y=luigi
X=Anna Lisa, Y=Carlo
X=Anna Lisa, Y=anna lisa
X=anna lisa, Y=luigi
X=anna lisa, Y=Carlo
X=anna lisa, Y=Anna Lisa
X=alice, Y=luigi
X=luigi, Y=alice
14 Solutions

ritorna