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

%  ----- Informatics 2D - 2011/12 - Second Assignment - Planning -----

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

%

% Write here you matriculation number (only - your name is not needed)

% Matriculation Number: s0932205

%

%

% ------------------------- Problem Instance --------------------------

% This file is a template for a problem instance: the definition of an

% initial state and of a goal.



% debug(on).    % need additional debug information at runtime?







% --- Load domain definitions from an external file -------------------



:- [domain-task2].      % Replace with the domain for this problem









% --- Definition of the initial state ---------------------------------



at(a,loc3-2,s0). % initial locations of blocks and agent

at(cA,loc2-3,s0).

at(cB,loc2-2,s0).

at(cC,loc2-1,s0).

agent(a). % a is an agent
crate(cA). % cA, cB, cC are crates
crate(cB).
crate(cC).



path(loc1-1,loc1-2,up). % paths

path(loc1-1,loc2-1,right).

path(loc1-2,loc1-1,down).

path(loc1-2,loc1-3,up).

path(loc1-2,loc2-2,right).

path(loc1-3,loc1-2,down).

path(loc1-3,loc1-4,up).

path(loc1-3,loc2-3,right).

path(loc1-4,loc1-3,down).

path(loc1-4,loc2-4,right).

path(loc2-1,loc1-1,left).

path(loc2-1,loc3-1,right).

path(loc2-1,loc2-2,up).

path(loc2-2,loc2-1,down).

path(loc2-2,loc1-2,left).

path(loc2-2,loc2-3,up).

path(loc2-2,loc3-2,right).

path(loc2-3,loc2-2,down).

path(loc2-3,loc1-3,left).

path(loc2-3,loc2-4,up).

path(loc2-3,loc3-3,right).

path(loc2-4,loc2-3,down).

path(loc2-4,loc1-4,left).

path(loc3-1,loc2-1,left).

path(loc3-1,loc3-2,up).

path(loc3-2,loc3-1,down).

path(loc3-2,loc2-2,left).

path(loc3-2,loc3-3,up).

path(loc3-3,loc3-2,down).

path(loc3-3,loc2-3,left).





% --- Goal condition that the planner will try to reach ---------------



goal(S) :-                  % fill in the goal definition

    at(cA,loc1-2,S),

    at(cB,loc1-3,S),

    at(cC,loc1-1,S).







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

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