world2.lp
No OneTemporary

File Metadata

Created
Thu, Jul 9, 4:43 AM

world2.lp

% P2
%
block(b0).
block(b1).
block(b2).
block(b3).
block(b4).
%
% initial state:
%
% 0
% 1 3
% 4 2
% -------
%
init(on(b4,table)).
init(on(b2,table)).
init(on(b3,b2)).
init(on(b0,b3)).
init(on(b1,b4)).
%
% goal state:
%
% 4
% 3
% 2
% 1
% 0
% -------
%
goal(on(b0,table)).
goal(on(b1,b0)).
goal(on(b2,b1)).
goal(on(b3,b2)).
goal(on(b4,b3)).

Event Timeline