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:1
Date: 2021-10-25
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`

  - `parse_domain/2`

  - `parse_problem/2`

  - `parse_problem/3`

- Protected predicates

- Private predicates

- Operators

## 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)