use robot as knowledge.
use robotActions.
%exit=nogoals.

module robotMain {
	if not(bel(state(traveling))), goal(in(Place)) 
		then goTo(Place).
	
	% Exercise 2.5a: insert code for action rules that allows an agent to systematically search for blocks.
	
	% Exercise 2.6a: insert code for action rules that makes the agent deliver a block when it 
	%   knows about a block that can be delivered.
	
}