8. Consider the following clingo program discussed in the module "Expressive Possibilities. boolean(t;f). $ sorts and object declarations object(jack; car). location (home;work). 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 $ effect and precondition of go lockjack, L,T+1) :- go(L,T). {loc(car, L,T+1)} go(L,T), loc(car, L1,T), loc(jack, L1,1), T=0..m-1. :- go(L,T), loc(jack, L,T). % fluents are exogenous initially 1{loc(0, LL,O): location(LL)}1 :- object(0). uniqueness and existence of fluent values :- not 1{loc(O, LL,T)}1, object(o), T=1..m. 16 17 18 actions are exogenous {go(L,)} :- location(L), T=0..m-1. 19 20 21 22 23 $fluents are inertial {loc(0,L,T+1)} :- loc(0,L,T), T=0..m-1. Suppose Jack and his car are at home at time and he goes to work at time 0. How many stable models are there that following this condition when m equals to 1? 2. 0 1 4