start(0,0).
goal(3,3).
cell(0,0,1).
cell(0,1,3).
cell(0,2,3).
cell(0,3,3).
cell(1,0,1).
cell(1,1,3).
cell(1,2,3).
cell(1,3,3).
cell(2,0,1).
cell(2,1,4).
cell(2,2,1).
cell(2,3,1).
cell(3,0,1).
cell(3,1,3).
cell(3,2,3).
cell(3,3,1).