Prolog { previous(X,Y) :- integer(X),X>0,Y is X - 1. } Logical Predicate previous/2 { bounds = (212, 31, 70, 70) } Discrete Bayesian Predicate hiddenstate/1 { domain = (s1,s2,s3,s4,s5,s6,s7,s8) combining rule = id bounds = (96, 122, 70, 70) } Discrete Bayesian Predicate position/1 { domain = (left, right) combining rule = id } Potential (hiddenstate(0)) { bounds = (8, 137, 40, 40) clauseBounds = { (49,46,70,70) (0,0,40,40) } { 0.125 0.125 0.125 0.125 0.125 0.125 0.125 0.125 } } Potential (hiddenstate(NextTimeSlice)|previous(NextTimeSlice,TimeSlice),hiddenstate(TimeSlice)) { bounds = (204, 88, 40, 40) clauseBounds = { (156,56,70,70) (10,56,70,70) (28,8,55,30) (105,3,40,40) } { 0.7 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.4 0.3 0.0 0.0 0.0 0.0 0.0 0.0 0.3 0.7 } } Potential (position(TimeSlice)|hiddenstate(TimeSlice)) { { 1.0 0.0 0.85714 0.14286 0.71429 0.28571 0.57143 0.42857 0.42857 0.57143 0.28571 0.71429 0.14286 0.85714 0.0 1.0 } }