4
5domain(domain(A,B,C,D,E,F),A).
6
7requirements(domain(A,B,C,D,E,F),Requirement) :-
8 member(Requirement,B).
9
10types(domain(A,B,C,D,E,F),Type) :-
11 member(Type,C).
12
13predicates(domain(A,B,C,D,E,F),Predicate) :-
14 member(Predicate,D).
15
16functions(domain(A,B,C,D,E,F),Function) :-
17 member(Function,E).
22actions(domain(A,B,C,D,E,F),Action) :-
23 member(Action,F).
24
26
27problem(problem(Problem,B,C,D,E,F),Problem).
28
29problemDomain(problem(A,B,C,D,E,F),B).
30
31objects(problem(A,B,C,D,E,F),Object) :-
32 member(Object,C).
33
34init(problem(A,B,C,D,E,F),Assertion) :-
35 member(Assertion,D).
36
37goal(problem(A,B,C,D,E,F),Goals) :-
38 member(Goals,E).
39
40pddlGoals(problem(A,B,C,D,E,F),E).
41