`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 :ref:`read_file <read_file/0>` | Uses: | :ref:`user <user/0>`

| Remarks: | (none)

| Inherited public predicates: | Â :ref:read_file/0::read_file/2 Â

.. contents:: :local: :backlinks: top

Public predicates

.. index:: parse_domain/3 .. _pddl/0::parse_domain/3:

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

.. index:: parse_domain/2 .. _pddl/0::parse_domain/2:

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

.. index:: parse_problem/2 .. _pddl/0::parse_problem/2:

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

.. index:: parse_problem/3 .. _pddl/0::parse_problem/3:

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)