letter(a).
letter(b).
letter(c).
letter(d).
letter(e).
letter(f).
letter(g).
letter(h).
letter(i).
letter(j).
letter(k).
letter(l).
letter(m).
letter(n).
letter(o).
letter(p).
letter(q).
letter(r).
letter(s).
letter(t).
letter(u).
letter(v).
letter(w).
letter(x).
letter(y).
letter(z).

winner(p,r,o,l,o,g).

win(A,B,C,D,E,F) :- 
	letter(A),
	letter(B),
	letter(C),
	letter(D),
	letter(E),
	letter(F),
	winner(A,B,C,D,E,F).