|
2
|
1 :-asserta(st_variables([a,b],[q])).
|
|
|
2
|
|
|
3 st(s0,((not(a);not(b)),q),s0).
|
|
|
4 st(s0, (a,b,not(p)),s1).
|
|
|
5 st(s0, empty,empty).
|
|
|
6 st(s1,(not(c),q),s1).
|
|
|
7 st(s1,(c,not(q)),s2).
|
|
|
8 st(s1, empty,empty).
|
|
|
9 st(s2,(a,not(b),q),s2).
|
|
|
10 st(s2,((not(a);b),not(q)),s3).
|
|
|
11 st(s2, empty,empty).
|
|
|
12 st(s3,(c,not(q)),s0).
|
|
|
13 st(s3,(not(c),not(q)),s3).
|
|
|
14 st(s3, empty,empty).
|
|
|
15
|
|
|
16 st(ns0,((not(a);not(b))),ns0).
|
|
|
17 st(ns0, (a,b,not(p)),ns1).
|
|
|
18 st(ns0, empty,empty).
|
|
|
19 st(ns1,(not(c)),ns1).
|
|
|
20 st(ns1,(c,not(q)),ns2).
|
|
|
21 st(ns1, empty,empty).
|
|
|
22 st(ns2,(a,not(b)),ns2).
|
|
|
23 st(ns2,((not(a);b)),ns3).
|
|
|
24 st(ns2, empty,empty).
|
|
|
25 st(ns3,(c,not(q)),ns0).
|
|
|
26 st(ns3,(not(c)),ns3).
|
|
|
27 st(ns3, empty,empty).
|
|
|
28
|
