% Ice Cream Cones
scoop(vanilla). scoop(strawberry). scoop(chocolate).

cone(Top,Middle,Bottom):-scoop(Top), scoop(Middle), scoop(Bottom).

go:- setof(X+Y+Z, cone(X,Y,Z), List), length(List, N), write(N).
go2:- cone(X,Y,Z), write(X+Y+Z), nl, fail.
go3:- setof(X+Y+Z, (cone(X,Y,Z), X\=Y, Y\=Z, X\=Z), List), length(List, N), write(N),nl.