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

## See also

### (none)