world0.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

Created: Mon, Dec 15, 6:07 AM

world0.lp
View Options

	% Sussman Anomaly
	%
	block(b0).
	block(b1).
	block(b2).
	%
	% initial state:
	%
	% 2
	% 0 1
	% -------
	%
	init(on(b1,table)).
	init(on(b2,b0)).
	init(on(b0,table)).
	%
	% goal state:
	%
	% 2
	% 1
	% 0
	% -------
	%
	goal(on(b1,b0)).
	goal(on(b2,b1)).
	goal(on(b0,table)).

Event Timeline