4. Consider the same clingo program below that you have seen in question 3. How many stable models are there when m equals to 1? 1 2 3 boolean(t;f). plf, T+1) :- a(T), T=0..m-1. 1{p(8,0): boolean(B))1. :- T=1..m, not 1{p(B, T): boolean(B)}1. {a(T)} :- T=0..m-1. {p(B, T+1)} :- P(B, T), T=0..m-1. 4 5 6 8 2 4 6