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