:- auto_table.
% :- table win/1.
pos(a). pos(b). pos(c). pos(d). pos(e). pos(f). pos(g).
pos(h). pos(i). pos(j). pos(k). pos(l). pos(m). pos(n).
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(b,g).   move(b,k).
move(c,d).   move(c,l).
move(d,e).
move(e,a).
move(g,i).   move(g,h).
move(h,m).
move(i,j).
move(l,d).
move(m,h).