1:- include('../ec_test_incl'). 5
6
7do_test(test2) :-
8 testing_msg('Test 2'),
9 abdemo_special(easy,[holds_at(f2,t)], R).
10
11do_test(test4) :-
12 testing_msg('Test 4'),
13 abdemo_special(easy,[holds_at(f4,t)], R).
14
15do_test(test6) :-
16 testing_msg('Test 6'),
17 abdemo_special(easy,[holds_at(f6,t)], R).
18
19do_test(test8) :-
20 testing_msg('Test 8'),
21 abdemo_special(easy,[holds_at(f8,t)], R).
22
23do_test(test10) :-
24 testing_msg('Test 10'),
25 abdemo_special(easy,[holds_at(f10,t)], R).
26
27do_test(test12) :-
28 testing_msg('Test 12'),
29 abdemo_special(easy,[holds_at(f12,t)], R).
30
31do_test(test14) :-
32 testing_msg('Test 14'),
33 abdemo_special(easy,[holds_at(f14,t)], R).
34
35do_test(test16) :-
36 testing_msg('Test 16'),
37 abdemo_special(easy,[holds_at(f16,t)], R).
38
39
40
41
42
43
44axiom(initiates(a1,f1,T),[]).
45
46axiom(initiates(a2,f2,T),[holds_at(f1,T)]).
47
48axiom(initiates(a3,f3,T),[holds_at(f2,T)]).
49
50axiom(initiates(a4,f4,T),[holds_at(f3,T)]).
51
52axiom(initiates(a5,f5,T),[holds_at(f4,T)]).
53
54axiom(initiates(a6,f6,T),[holds_at(f5,T)]).
55
56axiom(initiates(a7,f7,T),[holds_at(f6,T)]).
57
58axiom(initiates(a8,f8,T),[holds_at(f7,T)]).
59
60axiom(initiates(a9,f9,T),[holds_at(f8,T)]).
61
62axiom(initiates(a10,f10,T),[holds_at(f9,T)]).
63
64axiom(initiates(a11,f11,T),[holds_at(f10,T)]).
65
66axiom(initiates(a12,f12,T),[holds_at(f11,T)]).
67
68axiom(initiates(a13,f13,T),[holds_at(f12,T)]).
69
70axiom(initiates(a14,f14,T),[holds_at(f13,T)]).
71
72axiom(initiates(a15,f15,T),[holds_at(f14,T)]).
73
74axiom(initiates(a16,f16,T),[holds_at(f15,T)]).
75
76
77
78
79
81
82abducible(dummy).
83
84executable(a1).
85
86executable(a2).
87
88executable(a3).
89
90executable(a4).
91
92executable(a5).
93
94executable(a6).
95
96executable(a7).
97
98executable(a8).
99
100executable(a9).
101
102executable(a10).
103
104executable(a11).
105
106executable(a12).
107
108executable(a13).
109
110executable(a14).
111
112executable(a15).
113
114executable(a16)