3%%%% DOMAIN
    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
   25%%%% PROBLEM
   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
   42%%%% HELPERS

 display