object

pddl

Simple parser of PDDL 3.0 files.

Availability:
logtalk_load(pddl_parser(loader))
Author: Robert Sasak, Charles University in Prague. Adapted to Logtalk by Paulo Moura.
Version: 1:2:2
Date: 2024-03-14
Compilation flags:
static, context_switching_calls
Imports:
public read_file
Uses:
user
Remarks:
(none)
Inherited public predicates:
 read_file/2

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:
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 predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)