planner_current_program(?Program) is nondet

 planner_add_program(+Program) is det

 planner_remove_program(+Program) is det

 planner_current_workspace(?Workspace) is nondet

 planner_add_workspace(+Workspace) is det

 planner_remove_workspace(+Workspace) is det

 planner_current_workspace_program(+Workspace, ?Workspace_Program) is nondet

 planner_add_workspace_program(+Workspace, +Workspace_Program) is det

 planner_remove_workspace_program(+Workspace, +Workspace_Program) is det

 planner_current_requirement(+Workspace, ?Requirement) is nondet

 planner_add_requirement(+Workspace, +Requirement) is det

 planner_remove_requirement(+Workspace, +Requirement) is det

 planner_current_init(+Workspace, ?Init) is nondet

 planner_add_init(+Workspace, +Init) is det

 planner_remove_init(+Workspace, +Init) is det

 planner_current_predicate(+Workspace, ?Predicate) is nondet

 planner_add_predicate(+Workspace, +Predicate) is det

 planner_remove_predicate(+Workspace, +Predicate) is det

 planner_current_function(+Workspace, ?Function) is nondet

 planner_add_function(+Workspace, +Function) is det

 planner_remove_function(+Workspace, +Function) is det

 planner_current_type(+Workspace, ?Type) is nondet

 planner_add_type(+Workspace, +Type) is det

 planner_remove_type(+Workspace, +Type) is det

 planner_current_object(+Workspace, ?Object) is nondet

 planner_add_object(+Workspace, +Object) is det

 planner_remove_object(+Workspace, +Object) is det

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

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

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

 planner_current_axiom(+Workspace, ?Axiom) is nondet

 planner_add_axiom(+Workspace, +Axiom) is det

 planner_remove_axiom(+Workspace, +Axiom) is det

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

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

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

 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