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