planner_current_program(?Program) is nondet

Gets each Program contained in the Workspace.

(PDDL's :PROGRAM directive)

 planner_add_program(+Program) is det

Adds one Program into the Workspace.

(PDDL's :PROGRAM directive)

 planner_remove_program(+Program) is det

Removes one Program from the Workspace.

(PDDL's :PROGRAM directive)

 planner_current_workspace(?Workspace) is nondet

Gets each Workspace contained in the Workspace.

(PDDL's :WORKSPACE directive)

 planner_add_workspace(+Workspace) is det

Adds one Workspace into the Workspace.

(PDDL's :WORKSPACE directive)

 planner_remove_workspace(+Workspace) is det

Removes one Workspace from the Workspace.

(PDDL's :WORKSPACE directive)

 planner_current_workspace_program(+Workspace, ?Workspace_Program) is nondet

Gets each Workspace_Program contained in the Workspace.

(PDDL's :WORKSPACE_PROGRAM directive)

 planner_add_workspace_program(+Workspace, +Workspace_Program) is det

Adds one Workspace_Program into the Workspace.

(PDDL's :WORKSPACE_PROGRAM directive)

 planner_remove_workspace_program(+Workspace, +Workspace_Program) is det

Removes one Workspace_Program from the Workspace.

(PDDL's :WORKSPACE_PROGRAM directive)

 planner_current_requirement(+Workspace, ?Requirement) is nondet

Gets each Requirement contained in the Workspace.

(PDDL's :REQUIREMENT directive)

 planner_add_requirement(+Workspace, +Requirement) is det

Adds one Requirement into the Workspace.

(PDDL's :REQUIREMENT directive)

 planner_remove_requirement(+Workspace, +Requirement) is det

Removes one Requirement from the Workspace.

(PDDL's :REQUIREMENT directive)

 planner_current_init(+Workspace, ?Init) is nondet

Gets each Init contained in the Workspace.

(PDDL's :INIT directive)

 planner_add_init(+Workspace, +Init) is det

Adds one Init into the Workspace.

(PDDL's :INIT directive)

 planner_remove_init(+Workspace, +Init) is det

Removes one Init from the Workspace.

(PDDL's :INIT directive)

 planner_current_predicate(+Workspace, ?Predicate) is nondet

Gets each Predicate contained in the Workspace.

(PDDL's :PREDICATE directive)

 planner_add_predicate(+Workspace, +Predicate) is det

Adds one Predicate into the Workspace.

(PDDL's :PREDICATE directive)

 planner_remove_predicate(+Workspace, +Predicate) is det

Removes one Predicate from the Workspace.

(PDDL's :PREDICATE directive)

 planner_current_function(+Workspace, ?Function) is nondet

Gets each Function contained in the Workspace.

(PDDL's :FUNCTION directive)

 planner_add_function(+Workspace, +Function) is det

Adds one Function into the Workspace.

(PDDL's :FUNCTION directive)

 planner_remove_function(+Workspace, +Function) is det

Removes one Function from the Workspace.

(PDDL's :FUNCTION directive)

 planner_current_type(+Workspace, ?Type) is nondet

Gets each Type contained in the Workspace.

(PDDL's :TYPE directive)

 planner_add_type(+Workspace, +Type) is det

Adds one Type into the Workspace.

(PDDL's :TYPE directive)

 planner_remove_type(+Workspace, +Type) is det

Removes one Type from the Workspace.

(PDDL's :TYPE directive)

 planner_current_object(+Workspace, ?Object) is nondet

Gets each Object contained in the Workspace.

(PDDL's :OBJECT directive)

 planner_add_object(+Workspace, +Object) is det

Adds one Object into the Workspace.

(PDDL's :OBJECT directive)

 planner_remove_object(+Workspace, +Object) is det

Removes one Object from the Workspace.

(PDDL's :OBJECT directive)

 planner_current_derived(+Workspace, ?Derived, ?Conds) is nondet

Gets each Derived contained in the Workspace.

(PDDL's :DERIVED directive)

 planner_add_derived(+Workspace, +Derived, +Conds) is det

Adds one Derived into the Workspace.

(PDDL's :DERIVED directive)

 planner_remove_derived(+Workspace, +Derived, +Conds) is det

Removes one Derived from the Workspace.

(PDDL's :DERIVED directive)

 planner_current_axiom(+Workspace, ?Axiom) is nondet

Gets each Axiom contained in the Workspace.

(PDDL's :AXIOM directive)

 planner_add_axiom(+Workspace, +Axiom) is det

Adds one Axiom into the Workspace.

(PDDL's :AXIOM directive)

 planner_remove_axiom(+Workspace, +Axiom) is det

Removes one Axiom from the Workspace.

(PDDL's :AXIOM directive)

 planner_current_action(+Workspace, ?Action, ?Conds) is nondet

Gets each Action contained in the Workspace.

(PDDL's :ACTION directive)

 planner_add_action(+Workspace, +Action, +Conds) is det

Adds one Action into the Workspace.

(PDDL's :ACTION directive)

 planner_remove_action(+Workspace, +Action, +Conds) is det

Removes one Action from the Workspace.

(PDDL's :ACTION directive)

 planner_get_plan(+W, +Goal, -Plan) is nondet

 planner_get_plan(+Planner, +W, +Goal, -Plan) is nondet

 planner_apply_step(+W, +Step, -NewWorkspace) is det

 planner_apply_step(+Planner, +W, +Step, -NewWorkspace) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 planner_program(Arg1, Arg2)

 planner_workspace(Arg1, Arg2)

 planner_workspace_program(Arg1, Arg2, Arg3)

 planner_requirement(Arg1, Arg2, Arg3)

 planner_init(Arg1, Arg2, Arg3)

 planner_predicate(Arg1, Arg2, Arg3)

 planner_function(Arg1, Arg2, Arg3)

 planner_type(Arg1, Arg2, Arg3)

 planner_object(Arg1, Arg2, Arg3)

 planner_derived(Arg1, Arg2, Arg3, Arg4)

 planner_axiom(Arg1, Arg2, Arg3)

 planner_action(Arg1, Arg2, Arg3, Arg4)

 planner_copy_workspace(Arg1, Arg2)

 planner_load_file(Arg1, Arg2)

 ensure_external_planners

 planner_debug(Arg1)

 make_api