report/src/instancetask1.pl

   1 % ------------------------- Problem Instance --------------------------
   2 % --- Load domain definitions from an external file -------------------
   3 :- [domaintask1].
   4
   5 % --- Definition of the initial state ---------------------------------
   6 % north and east
   7 connected(loc11, loc21, east).
   8 connected(loc11, loc12, north).
   9 connected(loc12, loc22, east).
  10 connected(loc12, loc13, north).
  11 connected(loc13, loc23, east).
  12 connected(loc13, loc14, north).
  13 connected(loc14, loc24, east).
  14
  15 connected(loc21, loc31, east).
  16 connected(loc21, loc22, north).
  17 connected(loc22, loc32, east).
  18 connected(loc22, loc23, north).
  19 connected(loc23, loc33, east).
  20 connected(loc23, loc24, north).
  21
  22 connected(loc31, loc32, north).
  23 connected(loc32, loc33, north).
  24
  25 % The other way around, west and south
  26 connected(loc21, loc11, west).
  27 connected(loc12, loc11, south).
  28 connected(loc22, loc12, west).
  29 connected(loc13, loc12, south).
  30 connected(loc23, loc13, west).
  31 connected(loc14, loc13, south).
  32 connected(loc24, loc14, west).
  33
  34 connected(loc31, loc21, west).
  35 connected(loc22, loc21, south).
  36 connected(loc32, loc22, west).
  37 connected(loc23, loc22, south).
  38 connected(loc33, loc23, west).
  39 connected(loc24, loc23, south).
  40
  41 connected(loc32, loc31, south).
  42 connected(loc33, loc32, south).
  43
  44 crate(cratec, loc21, s0).
  45 crate(crateb, loc22, s0).
  46 crate(cratea, loc23, s0).
  47
  48 target(cratea, loc12).
  49 target(crateb, loc13).
  50 target(cratec, loc11).
  51
  52 agent(loc32, s0).
  53
  54 % --- Goal condition that the planner will try to reach ---------------
  55 goal(S) :- crate(cratea, Targeta, S), target(cratea, Targeta),
  56         crate(crateb, Targetb, S), target(crateb, Targetb).
  57         crate(cratec, Targetc, S), target(cratec, Targetc).