:- use_module('../VEOMEGAR', ['[[]]'/2]). show. program([ ''([], [exists_0], [It, 0, 2, true], true, [exists_1, exists_2]), ''([], [exists_1], [It, 10, 12, true], true, [exists_11, exists_12]), ''([], [exists_11], [It, 110, 112, true], true, []), % [true] in the body is encoded as an empty body ''([], [exists_12], [It, 120, 122, true], true, []), ''([], [exists_2], [It, 20, 22, true], true, [exists_21, exists_22]), ''([], [exists_21], [It, 210, 212, true], true, []), ''([], [exists_22], [It, 220, 222, true], true, []) ]). :- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration). %% conf([],[state([token(exists_0,0):1],[token(exists_0,0)],[],1)]) [Activate] %% conf([e],[state([(_1504,0,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e],[state([exists_1,exists_2],[],[],1),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e],[state([token(exists_1,1):1,exists_2],[token(exists_1,1)],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e],[state([(_2122,10,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e],[state([exists_11,exists_12],[],[],2),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_11,2):1,exists_12],[token(exists_11,2)],[],3),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_2752,110,112,true,[]),exists_12],[],[],3),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([],[],[],3),state([(_2752,111,112,true,[]),exists_12],[],[],3),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[success,state([(_2752,111,112,true,[]),exists_12],[],[],3),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e,e],[state([exists_12],[],[],3),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e,e],[state([token(exists_12,3):1],[token(exists_12,3)],[],4),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_3464,120,122,true,[])],[],[],4),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([],[],[],4),state([(_3464,121,122,true,[])],[],[],4),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[success,state([(_3464,121,122,true,[])],[],[],4),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e,e],[state([],[],[],4),state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e,e],[success,state([(_2122,11,12,true,[exists_11,exists_12]),exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e],[state([exists_2],[],[],2),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e],[state([token(exists_2,2):1],[token(exists_2,2)],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e],[state([(_4234,20,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e],[state([exists_21,exists_22],[],[],3),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_21,3):1,exists_22],[token(exists_21,3)],[],4),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_4864,210,212,true,[]),exists_22],[],[],4),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([],[],[],4),state([(_4864,211,212,true,[]),exists_22],[],[],4),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[success,state([(_4864,211,212,true,[]),exists_22],[],[],4),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e,e],[state([exists_22],[],[],4),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e,e],[state([token(exists_22,4):1],[token(exists_22,4)],[],5),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_5576,220,222,true,[])],[],[],5),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([],[],[],5),state([(_5576,221,222,true,[])],[],[],5),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[success,state([(_5576,221,222,true,[])],[],[],5),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e,e],[state([],[],[],5),state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e,e],[success,state([(_4234,21,22,true,[exists_21,exists_22])],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([e],[state([],[],[],3),state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [E SuccessPropagate] %% conf([e],[success,state([(_1504,1,2,true,[exists_1,exists_2])],[],[],1)]) [Success] %% conf([],[state([],[],[],1)]) [E SuccessPropagate] %% conf([],[success]) [Success] %% conf([],[success])