object
pddl
¶
Simple parser of PDDL 3.0 files.
Author: Robert Sasak, Charles University in Prague. Adapted to Logtalk by Paulo Moura.
Version: 1.1
Date: 2016/5/18
Compilation flags:
static, context_switching_calls
Imports:
public
read_filePublic interface¶
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:
static
Template:
parse_domain(File,Output,RestOfFile)
Mode and number of proofs:
parse_domain(+atom,-compound,-list(atom))
- one
parse_domain/2
¶
Parses a PDDL 3.0 domain file, returning a compound term representing its contents.
Compilation flags:
static
Template:
parse_domain(File,Output)
Mode and number of proofs:
parse_domain(+atom,-compound)
- one
parse_problem/2
¶
Parses a PDDL 3.0 problem file, returning a compound term representing its contents.
Compilation flags:
static
Template:
parse_problem(File,Output)
Mode and number of proofs:
parse_problem(+atom,-compound)
- one
parse_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:
static
Template:
parse_problem(File,Output,RestOfFile)
Mode and number of proofs:
parse_problem(+atom,-compound,-list(atom))
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)