#const moves = 15.

%   instance
peg(a ; b ; c).
disk(1 .. 4).
init_on(1 .. 4, a).
goal_on(1 .. 4, c).