An agent solving problems in the blocksworld domain using simple backward chaining.