object
pddl¶
Simple parser of PDDL 3.0 files.
Author: Robert Sasak, Charles University in Prague. Adapted to Logtalk by Paulo Moura.
Version: 1.2
Date: 2019/3/8
Compilation flags:
static, context_switching_callsImports:
public read_fileRemarks:
(none)
Inherited public predicates:
Public predicates¶
parse_domain/3¶
Parses a PDDL 3.0 domain file, returning a compound term representing its contents and rest of the file. Useful when domain and problem are in one file.
Compilation flags:
staticTemplate:
parse_domain(File,Output,RestOfFile)Mode and number of proofs:
parse_domain(+atom,-compound,-list(atom)) - oneparse_domain/2¶
Parses a PDDL 3.0 domain file, returning a compound term representing its contents.
Compilation flags:
staticTemplate:
parse_domain(File,Output)Mode and number of proofs:
parse_domain(+atom,-compound) - oneparse_problem/2¶
Parses a PDDL 3.0 problem file, returning a compound term representing its contents.
Compilation flags:
staticTemplate:
parse_problem(File,Output)Mode and number of proofs:
parse_problem(+atom,-compound) - oneparse_problem/3¶
Parses a PDDL 3.0 problem file, returning a compound term representing its contents and rest of the file. Useful when domain and problem are in one file.
Compilation flags:
staticTemplate:
parse_problem(File,Output,RestOfFile)Mode and number of proofs:
parse_problem(+atom,-compound,-list(atom)) - oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)