object

pddl

Simple parser of PDDL 3.0 files.

author:
Robert Sasak, Charles University in Prague. Adapted to Logtalk by Paulo Moura.
version:
1.01
date:
2013/5/4
compilation flags:
static, context_switching_calls
imports:
public read_file

Public 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 – 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 – 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 – 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 – number of proofs:
parse_problem(+atom,-compound,-list(atom)) – one

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)