:- use_module(contestlib,[for/3]). triplets([X,Y,Z]) :- digit(X), digit(Y), digit(Z), Z > 0, X \== Y, X \== Z, Y \== Z, (10*X + Y)*Z =:= (10*Y + Z)*X. digit(Digit) :- for(Digit,0,9).