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(loc1-1, loc2-1, north).
   8 connected(loc1-1, loc1-2, east).
   9 connected(loc1-2, loc2-2, north).
  10 connected(loc1-2, loc1-3, east).
  11 connected(loc1-3, loc2-3, north).
  12 connected(loc1-3, loc1-4, east).
  13 connected(loc1-4, loc2-4, north).
  14
  15 connected(loc2-1, loc3-1, north).
  16 connected(loc2-1, loc2-2, east).
  17 connected(loc2-2, loc3-2, north).
  18 connected(loc2-2, loc2-3, east).
  19 connected(loc2-3, loc3-3, north).
  20 connected(loc2-3, loc2-4, east).
  21
  22 connected(loc3-1, loc3-2, north).
  23 connected(loc3-2, loc3-3, north).
  24
  25 % The other way around, west and south
  26 connected(loc2-1, loc1-1, south).
  27 connected(loc1-2, loc1-1, west).
  28 connected(loc2-2, loc1-2, south).
  29 connected(loc1-3, loc1-2, west).
  30 connected(loc2-3, loc1-3, south).
  31 connected(loc1-4, loc1-3, west).
  32 connected(loc2-4, loc1-4, south).
  33
  34 connected(loc3-1, loc2-1, south).
  35 connected(loc2-2, loc2-1, west).
  36 connected(loc3-2, loc2-2, south).
  37 connected(loc2-3, loc2-2, west).
  38 connected(loc3-3, loc2-3, south).
  39 connected(loc2-4, loc2-3, west).
  40
  41 connected(loc3-2, loc3-1, south).
  42 connected(loc3-3, loc3-2, south).
  43
  44 %connected(X, Y, east) :- connected(Y, X, west).
  45 %connected(X, Y, north) :- connected(Y, X, south).
  46
  47 crate(crate-c, loc2-1, s0).
  48 crate(crate-b, loc2-2, s0).
  49 crate(crate-a, loc2-3, s0).
  50
  51 target(crate-a, loc1-1).
  52 target(crate-b, loc1-3).
  53 target(crate-c, loc1-2).
  54
  55 agent(loc3-2, s0).
  56
  57 % --- Goal condition that the planner will try to reach ---------------
  58 goal(S) :- forall(crate(Crate, Loc, S), target(Crate, Loc)).