dom(a). dom(b). dom(c). %dom(d).
%tri(X,Y,Z) :- dom(X), dom(Y), dom(Z).
tri(a,a,a). tri(a,b,c). tri(a,c,b). tri(b,b,b).
tri(b,c,a). tri(c,a,b). tri(c,b,a). tri(c,c,c).
%dom(0). dom(1).
%tri(0,0,0). tri(0,1,0). tri(0,1,1). tri(1,1,0).