1 2 3 4 5 6 7
#const moves = 15. % instance peg(a ; b ; c). disk(1 .. 4). init_on(1 .. 4, a). goal_on(1 .. 4, c).
Main text adapted...
Main text adapted...