1:- dynamic(fdet/1).    2:- dynamic(society_goal/0).    3
    4:- dynamic(begin/4).    5
    6:- dynamic(end/4).    7
    8:- dynamic(maxmove/1).    9
   10:- dynamic(ban/3).   11
   12:- dynamic(force/3).   13
   14:- dynamic(move_rules/3).   15
   16:- dynamic(left/4).   17
   18:- dynamic(prereq/2).   19
   20:- dynamic(cell/4).   21
   22society_goal.
   23
   24begin(1,1,_,_).
   25
   26end(_,_,_,home).
   27
   28maxmove(5.0).
   29
   30ban([_,_,_,paper],[_,_,_,treasure],2.0).
   31
   32force([_,_,COL,money],[_,_,COL,treasure],3.0).
   33
   34move_rules([_,_,_,paper],left,1.0).
   35
   36left(X1,Y1,X2,Y2) :- 
   37    X2#<X1.
   38
   39prereq([_,_,_,troll],[_,_,_,arm]).
   40
   41cell(0,0,yellow,troll).
   42
   43cell(0,1,default,empty).
   44
   45cell(0,2,default,empty).
   46
   47cell(0,3,default,empty).
   48
   49cell(0,4,default,empty).
   50
   51cell(0,5,default,empty).
   52
   53cell(0,6,blue,troll).
   54
   55cell(0,7,default,empty).
   56
   57cell(1,0,default,empty).
   58
   59cell(1,1,default,empty).
   60
   61cell(1,2,default,empty).
   62
   63cell(1,3,red,empty).
   64
   65cell(1,4,default,empty).
   66
   67cell(1,5,default,empty).
   68
   69cell(1,6,default,empty).
   70
   71cell(1,7,default,empty).
   72
   73cell(2,0,default,empty).
   74
   75cell(2,1,default,empty).
   76
   77cell(2,2,red,treasure).
   78
   79cell(2,3,default,empty).
   80
   81cell(2,4,default,empty).
   82
   83cell(2,5,default,empty).
   84
   85cell(2,6,default,empty).
   86
   87cell(2,7,default,empty).
   88
   89cell(3,0,red,paper).
   90
   91cell(3,1,default,empty).
   92
   93cell(3,2,default,empty).
   94
   95cell(3,3,default,empty).
   96
   97cell(3,4,default,empty).
   98
   99cell(3,5,default,empty).
  100
  101cell(3,6,yellow,money).
  102
  103cell(3,7,default,empty).
  104
  105cell(4,0,default,empty).
  106
  107cell(4,1,yellow,arm).
  108
  109cell(4,2,default,empty).
  110
  111cell(4,3,default,empty).
  112
  113cell(4,4,default,empty).
  114
  115cell(4,5,yellow,troll).
  116
  117cell(4,6,default,empty).
  118
  119cell(4,7,default,empty).
  120
  121cell(5,0,default,empty).
  122
  123cell(5,1,default,empty).
  124
  125cell(5,2,default,empty).
  126
  127cell(5,3,default,empty).
  128
  129cell(5,4,default,empty).
  130
  131cell(5,5,default,empty).
  132
  133cell(5,6,default,empty).
  134
  135cell(5,7,blue,arm).
  136
  137cell(6,0,red,arrow).
  138
  139cell(6,1,default,empty).
  140
  141cell(6,2,yellow,money).
  142
  143cell(6,3,default,empty).
  144
  145cell(6,4,default,empty).
  146
  147cell(6,5,default,empty).
  148
  149cell(6,6,default,empty).
  150
  151cell(6,7,default,empty).
  152
  153cell(7,0,default,empty).
  154
  155cell(7,1,default,empty).
  156
  157cell(7,2,default,empty).
  158
  159cell(7,3,default,empty).
  160
  161cell(7,4,default,empty).
  162
  163cell(7,5,default,empty).
  164
  165cell(7,6,yellow,treasure).
  166
  167cell(7,7,yellow,home)