% plan([on(b4, p1), on(b1, b4), on(b3, b1), on(b2, p3), clear(b3), clear(b2), clear(p2), clear(p4)], [on(b3, b2), on(b1, b3) ], Plan, FinalState).
%
% | b3 |
% | b1 |
% | b4 |    | b2 |
% | p1 | p2 | p3 | p4 |
%
% GOALS
%
% | b1 |
% | b3 |
% | b2 |

% -----------------------------------------------------------------------------------

% plan([on(c, b), on(b, a), on(a, 1), clear(c), clear(2), clear(3)], [on(a, 2)], X, Y).
%
% | c |
% | b |
% | a |
% | 1 | 2 | 3 |
%
% GOALS
%
% | a |
% | 2 |
%
% WYNIK:
% X = [move(c, b, 2), move(b, a, c), move(b, c, a), move(c, 2, b), move(a, 1, 2)],
% Y = [on(c, b), on(b, a), clear(1), clear(c), on(a, 2), clear(3)] ;
%
% ---------- SYMULACJA ----------------------
%
% | c |
% | b |
% | a |
% | 1 | 2 | 3 |

%
% | b |
% | a | c |
% | 1 | 2 | 3 |

%
%     | b |
% | a | c |
% | 1 | 2 | 3 |

%
% | b |
% | a | c |
% | 1 | 2 | 3 |

% | c |
% | b |
% | a |
% | 1 | 2 | 3 |

%     | c |
%     | b |
%     | a |
% | 1 | 2 | 3 |