8 lines
235 B
Plaintext
8 lines
235 B
Plaintext
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).
|
|
|