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)