% include(library(assertions)). %% load into prolog with "ensure_loaded(triangle7)." use_module(library(lists)). /* a0 a1 a2 a3 a4 a5 a6 b0 b1 b2 b3 b4 b5 c0 c1 c2 c3 c4 d0 d1 d2 d3 e0 e1 e2 f0 f1 g0 */ /* Legal jump list: */ /* a0 */ mv( 1, 1, 0, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a0a1|Rest]) :- mv( 0, 0, 1, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv( 1, A1, A2, A3, A4, A5, A6, 1, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a0b0|Rest]) :- mv( 0, A1, A2, A3, A4, A5, A6, 0, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a1 */ mv(A0, 1, 1, 0, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a1a2|Rest]) :- mv(A0, 0, 0, 1, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, 1, A2, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a1b1|Rest]) :- mv(A0, 0, A2, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a2 */ mv(A0, A1, 1, 1, 0, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a2a3|Rest]) :- mv(A0, A1, 0, 0, 1, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, 1, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a2b2|Rest]) :- mv(A0, A1, 0, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, 1, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, 0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a2b1|Rest]) :- mv(A0, A1, 0, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, 1, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv( 0, 1, 1, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a2a1|Rest]) :- mv( 1, 0, 0, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a3 */ mv(A0, A1, A2, 1, 1, 0, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a3a4|Rest]) :- mv(A0, A1, A2, 0, 0, 1, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, 1, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, C2, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a3b3|Rest]) :- mv(A0, A1, A2, 0, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, C2, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, 1, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, 0, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a3b2|Rest]) :- mv(A0, A1, A2, 0, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, 1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, 0, 1, 1, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a3a2|Rest]) :- mv(A0, 1, 0, 0, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a4 */ mv(A0, A1, A2, A3, 1, 1, 0, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a4a5|Rest]) :- mv(A0, A1, A2, A3, 0, 0, 1, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, 1, A5, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, C3, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a4b4|Rest]) :- mv(A0, A1, A2, A3, 0, A5, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, C3, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, 1, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a4b3|Rest]) :- mv(A0, A1, A2, A3, 0, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, 0, 1, 1, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a4a3|Rest]) :- mv(A0, A1, 1, 0, 0, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a5 */ mv(A0, A1, A2, A3, A4, 1, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a5b4|Rest]) :- mv(A0, A1, A2, A3, A4, 0, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, 0, 1, 1, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a5a4|Rest]) :- mv(A0, A1, A2, 1, 0, 0, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* a6 */ mv(A0, A1, A2, A3, A4, A5, 1, B0, B1, B2, B3, B4, 1, C0, C1, C2, C3, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a6b5|Rest]) :- mv(A0, A1, A2, A3, A4, A5, 0, B0, B1, B2, B3, B4, 0, C0, C1, C2, C3, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, 0, 1, 1, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [a6a5|Rest]) :- mv(A0, A1, A2, A3, 1, 0, 0, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b0 */ mv(A0, A1, A2, A3, A4, A5, A6, 1, 1, 0, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b0b1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, 0, 0, 1, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, 1, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, 0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b0c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, 0, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, 1, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b1 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, 1, 1, 0, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b1b2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, 0, 0, 1, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, 0, D2, D3, E0, E1, E2, F0, F1, G0, [b1c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, 1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b2 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, 1, 0, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b2b3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, 0, 1, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, 0, D3, E0, E1, E2, F0, F1, G0, [b2c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, 1, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, 1, C2, C3, C4, 0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b2c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, 0, C2, C3, C4, 1, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, 0, 1, 1, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b2b1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, 1, 0, 0, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b3 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, 1, 0, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b3b4|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, 0, 1, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, C2, 1, C4, D0, D1, D2, 0, E0, E1, E2, F0, F1, G0, [b3c3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, C2, 0, C4, D0, D1, D2, 1, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, 1, C3, C4, D0, 0, D2, D3, E0, E1, E2, F0, F1, G0, [b3c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, 0, C3, C4, D0, 1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, 0, 1, 1, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b3b2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, 1, 0, 0, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b4 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, 1, C4, D0, D1, 0, D3, E0, E1, E2, F0, F1, G0, [b4c3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, 0, C4, D0, D1, 1, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, 1, 1, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b4b3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, 0, 0, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* b5 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, 1, C0, C1, C2, C3, 1, D0, D1, D2, 0, E0, E1, E2, F0, F1, G0, [b5c4|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, 0, C0, C1, C2, C3, 0, D0, D1, D2, 1, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, 1, 1, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [b5b4|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, 0, 0, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* c0 */ mv(A0, A1, 0, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, 1, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c0b1|Rest]) :- mv(A0, A1, 1, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, 0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 1, 1, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c0c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 0, 0, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, 1, D1, D2, D3, 0, E1, E2, F0, F1, G0, [c0d0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, 0, D1, D2, D3, 1, E1, E2, F0, F1, G0, Rest). mv( 0, A1, A2, A3, A4, A5, A6, 1, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c0b0|Rest]) :- mv( 1, A1, A2, A3, A4, A5, A6, 0, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* c1 */ mv(A0, A1, A2, 0, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, 1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c1b2|Rest]) :- mv(A0, A1, A2, 1, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, 0, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 1, 1, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c1c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 0, 0, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, 1, D2, D3, E0, 0, E2, F0, F1, G0, [c1d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, 0, D2, D3, E0, 1, E2, F0, F1, G0, Rest). mv(A0, 0, A2, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c1b1|Rest]) :- mv(A0, 1, A2, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* c2 */ mv(A0, A1, A2, A3, 0, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c2b3|Rest]) :- mv(A0, A1, A2, A3, 1, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, 1, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c2c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, 0, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, 1, D3, E0, E1, 0, F0, F1, G0, [c2d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, 0, D3, E0, E1, 1, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, C3, C4, D0, 1, D2, D3, 0, E1, E2, F0, F1, G0, [c2d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, C3, C4, D0, 0, D2, D3, 1, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 0, 1, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c2c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 1, 0, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, 0, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c2b2|Rest]) :- mv(A0, A1, 1, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* c3 */ mv(A0, A1, A2, A3, A4, 0, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c3b4|Rest]) :- mv(A0, A1, A2, A3, A4, 1, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, 1, C4, D0, D1, 1, D3, E0, 0, E2, F0, F1, G0, [c3d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, 0, C4, D0, D1, 0, D3, E0, 1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 0, 1, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c3c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 1, 0, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, 0, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, C2, 1, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c3b3|Rest]) :- mv(A0, A1, A2, 1, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, C2, 0, C4, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* c4 */ mv(A0, A1, A2, A3, A4, A5, 0, B0, B1, B2, B3, B4, 1, C0, C1, C2, C3, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c4b5|Rest]) :- mv(A0, A1, A2, A3, A4, A5, 1, B0, B1, B2, B3, B4, 0, C0, C1, C2, C3, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, 1, D0, D1, D2, 1, E0, E1, 0, F0, F1, G0, [c4d3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, 0, D0, D1, D2, 0, E0, E1, 1, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, 1, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c4c3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, 0, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, 0, A5, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, C3, 1, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, [c4b4|Rest]) :- mv(A0, A1, A2, A3, 1, A5, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, C3, 0, D0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* d0 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, 1, C2, C3, C4, 1, D1, D2, D3, E0, E1, E2, F0, F1, G0, [d0c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, 0, C2, C3, C4, 0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 1, 1, 0, D3, E0, E1, E2, F0, F1, G0, [d0d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 0, 0, 1, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 1, D1, D2, D3, 1, E1, E2, 0, F1, G0, [d0e0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 0, D1, D2, D3, 0, E1, E2, 1, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, 0, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, 1, D1, D2, D3, E0, E1, E2, F0, F1, G0, [d0c0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, 1, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, 0, D1, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* d1 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, 1, C3, C4, D0, 1, D2, D3, E0, E1, E2, F0, F1, G0, [d1c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, 0, C3, C4, D0, 0, D2, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 1, 1, 0, E0, E1, E2, F0, F1, G0, [d1d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 0, 0, 1, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 1, D2, D3, E0, 1, E2, F0, 0, G0, [d1e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 0, D2, D3, E0, 0, E2, F0, 1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, 0, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, 1, D2, D3, E0, E1, E2, F0, F1, G0, [d1c1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, 1, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, 0, D2, D3, E0, E1, E2, F0, F1, G0, Rest). /* d2 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, 0, B5, C0, C1, C2, 1, C4, D0, D1, 1, D3, E0, E1, E2, F0, F1, G0, [d2c3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, 1, B5, C0, C1, C2, 0, C4, D0, D1, 0, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, 1, D3, E0, 1, E2, 0, F1, G0, [d2e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, 0, D3, E0, 0, E2, 1, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 0, 1, 1, D3, E0, E1, E2, F0, F1, G0, [d2d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 1, 0, 0, D3, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 0, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, 1, D3, E0, E1, E2, F0, F1, G0, [d2c2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, 1, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, 0, D3, E0, E1, E2, F0, F1, G0, Rest). /* d3 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, 0, C0, C1, C2, C3, 1, D0, D1, D2, 1, E0, E1, E2, F0, F1, G0, [d3c4|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, 1, C0, C1, C2, C3, 0, D0, D1, D2, 0, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, 1, E0, E1, 1, F0, 0, G0, [d3e2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, 0, E0, E1, 0, F0, 1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 0, 1, 1, E0, E1, E2, F0, F1, G0, [d3d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 1, 0, 0, E0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 0, B4, B5, C0, C1, C2, 1, C4, D0, D1, D2, 1, E0, E1, E2, F0, F1, G0, [d3c3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, 1, B4, B5, C0, C1, C2, 0, C4, D0, D1, D2, 0, E0, E1, E2, F0, F1, G0, Rest). /* e0 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, C3, C4, D0, 1, D2, D3, 1, E1, E2, F0, F1, G0, [e0d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, C3, C4, D0, 0, D2, D3, 0, E1, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 1, 1, 0, F0, F1, G0, [e0e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 0, 0, 1, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 1, E1, E2, 1, F1, 0, [e0f0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 0, E1, E2, 0, F1, 1, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 0, C1, C2, C3, C4, 1, D1, D2, D3, 1, E1, E2, F0, F1, G0, [e0d0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, 1, C1, C2, C3, C4, 0, D1, D2, D3, 0, E1, E2, F0, F1, G0, Rest). /* e1 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, 0, C4, D0, D1, 1, D3, E0, 1, E2, F0, F1, G0, [e1d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, 1, C4, D0, D1, 0, D3, E0, 0, E2, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 0, C2, C3, C4, D0, 1, D2, D3, E0, 1, E2, F0, F1, G0, [e1d1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, 1, C2, C3, C4, D0, 0, D2, D3, E0, 0, E2, F0, F1, G0, Rest). /* e2 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, 0, D0, D1, D2, 1, E0, E1, 1, F0, F1, G0, [e2d3|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, 1, D0, D1, D2, 0, E0, E1, 0, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, 1, F0, 1, 0, [e2f1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, 0, F0, 0, 1, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 0, 1, 1, F0, F1, G0, [e2e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 1, 0, 0, F0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 0, C3, C4, D0, D1, 1, D3, E0, E1, 1, F0, F1, G0, [e2d2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, 1, C3, C4, D0, D1, 0, D3, E0, E1, 0, F0, F1, G0, Rest). /* f0 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, 0, D3, E0, 1, E2, 1, F1, G0, [f0e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, 1, D3, E0, 0, E2, 0, F1, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 0, D1, D2, D3, 1, E1, E2, 1, F1, G0, [f0e0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, 1, D1, D2, D3, 0, E1, E2, 0, F1, G0, Rest). /* f1 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, 0, E0, E1, 1, F0, 1, G0, [f1e2|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, 1, E0, E1, 0, F0, 0, G0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 0, D2, D3, E0, 1, E2, F0, 1, G0, [f1e1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, 1, D2, D3, E0, 0, E2, F0, 0, G0, Rest). /* g0 */ mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, 0, F0, 1, 1, [g0f1|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, E0, E1, 1, F0, 0, 0, Rest). mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 0, E1, E2, 1, F1, 1, [g0f0|Rest]) :- mv(A0, A1, A2, A3, A4, A5, A6, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, D0, D1, D2, D3, 1, E1, E2, 0, F1, 0, Rest). mv( 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a0_remains]). mv( 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a1_remains]). mv( 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a2_remains]). mv( 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a3_remains]). mv( 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a4_remains]). mv( 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a5_remains]). mv( 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [a6_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b0_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b1_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b2_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b3_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b4_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [b5_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [c0_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [c1_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [c2_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [c3_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, [c4_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, [d0_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, [d1_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, [d2_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, [d3_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, [e0_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, [e1_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, [e2_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, [f0_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, [f1_remains]). mv( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, [g0_remains]). success_a0([start_with_a0_empty|Rest]) :- mv( 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_a1([start_with_a1_empty|Rest]) :- mv( 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_a2([start_with_a2_empty|Rest]) :- mv( 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_a3([start_with_a3_empty|Rest]) :- mv( 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_b1([start_with_b1_empty|Rest]) :- mv( 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_b2([start_with_b2_empty|Rest]) :- mv( 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success_c2([start_with_c2_empty|Rest]) :- mv( 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, Rest). success(Ans) :- success_a0(Ans). success(Ans) :- success_a1(Ans). success(Ans) :- success_a2(Ans). success(Ans) :- success_a3(Ans). success(Ans) :- success_b1(Ans). success(Ans) :- success_b2(Ans). success(Ans) :- success_c2(Ans). % :- comment(version_maintenance,on). %% Note that the "assertions" library needs to be included in order %% to support ":- comment(...,...)." declarations such as these. %% These version comment(s) can be moved elsewhere in the file. %% Subsequent version comments will be placed above the last one %% inserted. % :- comment(version(0*1+0,2000/07/14,19:16*05+'EDT'), "Adjust for ciao % prolog. (Stephen P. Schaefer)").