1exportVerbDomain :-
    2	verbExport(Arguments),
    3	argl(Arguments,domain,Domain),
    4	argl(Arguments,problem,Problem),
    5	argl(Arguments,solution,Solution),
    6	flp_convert_pl_to_pddl([domain(Domain),problem(Problem),solution(Solution),results(Results)]),
    7	view([results333,Results]),
    8	saveFiles(Results).
    9
   10exportPDDLDomainAndSave([templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule)]) :-
   11	exportPDDLDomain([templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule),parsed(Parsed2),results(Results)]),
   12	viewIf([results,Results]),
   13	view([results334,Results]),
   14	saveFiles([worldDir(WorldDir),capsule(Capsule),parsed(Parsed2),results(Results)]).
   15
   16exportPDDLDomain([templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule),parsed(Parsed2),results(Results)]) :-
   17	loadDomain([templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule),parsed(Parsed),extension('verb')]),
   18	argt(Parsed,[domainFile(DomainFile),domain(Domain),problemFile(Tmp1ProblemFile),problem(Tmp1Problem),solutionFile(SolutionFile),solution(Solution),verbFile(VerbFile),verb(Verb)]),
   19	Parsed2 = [domainFile(DomainFile),domain(Domain),problemFile(Tmp2ProblemFile),problem(Tmp2Problem),solutionFile(SolutionFile),solution(Solution),verbFile(VerbFile),verb(Verb)],
   20	pddlExport(Parsed2),
   21	view([parsed2,Parsed2]),
   22	argt(Parsed2,[problem(Problem)]),
   23	flp_convert_pl_to_pddl([domain(Domain),problem(Problem),solution(Solution),results(Results)]).
   24
   25loadDomain(Arguments) :-
   26	argt(Arguments,[templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule),parsed(Parsed),extension(Extension)]),

   28	parseCapsule([templateDir(DomainDir),capsule(Capsule),parsed(Parsed),extension(Extension)]),
   29	Arguments = [templateDir(DomainDir),worldDir(WorldDir),capsule(Capsule),parsed(Parsed),extension(Extension)],

   31	true

   31.
   32
   33invokePlanner(verber,Domain,Problem) :-
   34	true.
   35
   36invokePlanner(lpg,Domain,Problem) :-
   37	true.
   38
   39saveFiles([worldDir(WorldDir),capsule(Capsule),parsed(Parsed),results(Results)]) :-
   40	Parsed = [domainFile(DomainFile),domain(Domain),problemFile(ProblemFile),problem(Problem),solutionFile(SolutionFile),solution(Solution),verbFile(VerbFile),verb(Verb)],
   41	Results = [domainResults(DomainResults),problemResults(ProblemResults),solution(Solution,SolutionResults)],
   42	atomic_list_concat([WorldDir,Capsule],'',Prefix),
   43	atomic_list_concat([Prefix,'.d.pddl'],'',WorldDomainFile),	
   44	atomic_list_concat([Prefix,'.p.pddl'],'',WorldProblemFile),

   46	

   47	view([worldDomainFile1,WorldDomainFile,worldProblemFile1,WorldProblemFile]),
   48	write_data_to_file(DomainResults,WorldDomainFile),
   49	write_data_to_file(ProblemResults,WorldProblemFile),
   50	true

   50.
   51