:- auto_table.
% :- table win/1.
pos(a). pos(b). pos(c). pos(d). pos(e). pos(f). pos(l).
win(X) :-  move(X,Y), tnot win(Y).
lose(X) :- pos(X), tnot win(X).
move(a,b).   move(a,f).
move(b,c).   
move(c,d).   move(c,l).
move(d,e).
move(e,a).
move(l,d).