1:-[parseProblem, parseDomain]. 2
4parse_file(F):-
5 (
6 parseDomain(F, L, _) ; parseProblem(F, L, _)
7 ), writeq(L), !.
8parse_file(F):-
9 write('Parsing file failed. '), write('('), write(F), write(')'), nl.
10
11test:-
12 cd('ipc2008-no-cybersec/seq-opt/elevators-strips/'),
13 write('Testing problem set elevators'), nl,
14 test_colection,
15 cd('../../../'),
16 cd('ipc2008-no-cybersec/seq-opt/openstacks-strips/'),
17 write('Testing problem set openstacks'), nl,
18 test_colection,
19 cd('../../../'),
20 cd('ipc2008-no-cybersec/seq-opt/parcprinter-strips/'),
21 write('Testing problem set parcprinter'), nl,
22 test_colection,
23 cd('../../../'),
24 cd('ipc2008-no-cybersec/seq-opt/pegsol-strips/'),
25 write('Testing problem set pegsol'), nl,
26 test_colection,
27 cd('../../../'),
28 cd('ipc2008-no-cybersec/seq-opt/scanalyzer-strips/'),
29 write('Testing problem set scanalyzer'), nl,
30 test_colection,
31 cd('../../../'),
32 cd('ipc2008-no-cybersec/seq-opt/sokoban-strips/'),
33 write('Testing problem set sokoban'), nl,
34 test_colection,
35 cd('../../../'),
36 cd('ipc2008-no-cybersec/seq-opt/transport-strips/'),
37 write('Testing problem set transport'), nl,
38 test_colection,
39 cd('../../../'),
40 cd('ipc2008-no-cybersec/seq-opt/woodworking-strips/'),
41 write('Testing problem set woodworking'), nl,
42 test_colection,
43 cd('../../../').
44
45
46test_colection:-
47 parse_file('p01.pddl'),
48 parse_file('p01-domain.pddl'),
49 parse_file('p02.pddl'),
50 parse_file('p02-domain.pddl'),
51 parse_file('p03.pddl'),
52 parse_file('p03-domain.pddl'),
53 parse_file('p04.pddl'),
54 parse_file('p04-domain.pddl'),
55 parse_file('p05.pddl'),
56 parse_file('p05-domain.pddl'),
57 parse_file('p06.pddl'),
58 parse_file('p06-domain.pddl'),
59 parse_file('p07.pddl'),
60 parse_file('p07-domain.pddl'),
61 parse_file('p08.pddl'),
62 parse_file('p08-domain.pddl'),
63 parse_file('p09.pddl'),
64 parse_file('p09-domain.pddl'),
65 parse_file('p10.pddl'),
66 parse_file('p10-domain.pddl'),
67 parse_file('p11.pddl'),
68 parse_file('p11-domain.pddl'),
69 parse_file('p12.pddl'),
70 parse_file('p12-domain.pddl'),
71 parse_file('p13.pddl'),
72 parse_file('p13-domain.pddl'),
73 parse_file('p14.pddl'),
74 parse_file('p14-domain.pddl'),
75 parse_file('p15.pddl'),
76 parse_file('p15-domain.pddl'),
77 parse_file('p16.pddl'),
78 parse_file('p16-domain.pddl'),
79 parse_file('p17.pddl'),
80 parse_file('p17-domain.pddl'),
81 parse_file('p18.pddl'),
82 parse_file('p18-domain.pddl'),
83 parse_file('p19.pddl'),
84 parse_file('p19-domain.pddl'),
85 parse_file('p20.pddl'),
86 parse_file('p20-domain.pddl'),
87 parse_file('p21.pddl'),
88 parse_file('p21-domain.pddl'),
89 parse_file('p22.pddl'),
90 parse_file('p22-domain.pddl'),
91 parse_file('p23.pddl'),
92 parse_file('p23-domain.pddl'),
93 parse_file('p24.pddl'),
94 parse_file('p24-domain.pddl'),
95 parse_file('p25.pddl'),
96 parse_file('p25-domain.pddl'),
97 parse_file('p26.pddl'),
98 parse_file('p26-domain.pddl'),
99 parse_file('p27.pddl'),
100 parse_file('p27-domain.pddl'),
101 parse_file('p28.pddl'),
102 parse_file('p28-domain.pddl'),
103 parse_file('p29.pddl'),
104 parse_file('p29-domain.pddl'),
105 parse_file('p30.pddl'),
106 parse_file('p30-domain.pddl')