The shop3 Reference Manual

shop3.asd.

shop3 (system).

• shop3.
• shop3/common.
• shop3/unifier.
• shop3/theorem-prover.

shop-asd.

operation-done-p (method).

• shop-fiveam-tester (class).
• shop-tester-mixin (class).
• tester-cl-source-file (class).

shop3.asd.

shop3 (system).

• shop3-user.
• plan-tree.
• prepare-return-values.
• shop3.

package.lisp (file).

shop3.asd.

shop3 (system).

• *which* (special variable).
• apply-operator (generic function).
• call (macro).
• copy-shop-problem (generic function).
• delete-problem (generic function).
• domain (class).
• domain-methods (generic function).
• domain-name (method).
• domain-name (reader method).
• domain-operators (generic function).
• find-problem (function).
• get-state (generic function).
• get-tasks (generic function).
• handle-domain-options (generic function).
• make-load-form (method).
• methods (generic function).
• name (reader method).
• no-method-for-task (condition).
• parse-domain-items (generic function).
• print-object (method).
• print-object (method).
• problem (class).
• problem-name (reader method).
• process-method (generic function).
• process-op (generic function).
• process-operator (generic function).
• pure-logic-domain-mixin (class).
• seek-plans-null (generic function).
• seek-plans-primitive (generic function).
• singleton-variable (condition).
• sort-methods (generic function).
• sort-results (generic function).
• sort-tasks (generic function).
• state-atoms (reader method).
• task-arity-mismatch (condition).
• task-sorter (generic function).

• *all-problems* (special variable).
• *analogical-replay* (special variable).
• *back-quote-name* (special variable).
• *before-extract-trees-hook* (special variable).
• *break-on-backtrack* (special variable).
• *collect-state* (special variable).
• *current-plan* (special variable).
• *current-tasks* (special variable).
• *depth-cutoff* (special variable).
• *expansions* (special variable).
• *explanation* (special variable).
• *gc* (special variable).
• *hand-steer* (special variable).
• *internal-time-limit* (special variable).
• *internal-time-tag* (special variable).
• *leashed* (special variable).
• *make-analogy-table* (special variable).
• *more-tasks-p* (special variable).
• *old-depth* (special variable).
• *operator-tasks* (special variable).
• *optimal-cost* (special variable).
• *optimal-plan* (special variable).
• *optimize-cost* (special variable).
• *plan-num-limit* (special variable).
• *plan-tree* (special variable).
• *plans-found* (special variable).
• *pp* (special variable).
• *print-plans* (special variable).
• *print-stats* (special variable).
• *problem* (special variable).
• *protections* (special variable).
• *pshort* (special variable).
• *shop-pprint-table* (special variable).
• *shop-version* (special variable).
• *states-found* (special variable).
• *subtask-parents* (special variable).
• *task-operator* (special variable).
• *tasklist* (special variable).
• *time-limit* (special variable).
• *unifiers-found* (special variable).
• *unique-method-names* (special variable).
• *verbose* (special variable).
• +method-definition-keywords+ (special variable).
• actions-domain-mixin (class).
• apply-method (generic function).
• assign-domain-method-id (generic function).
• branch-number (reader method).
• catch-internal-time (macro).
• construct (reader method).
• construct-name (reader method).
• construct-type (reader method).
• defconstant (macro).
• domain-id-for-method-lookup (generic function).
• domain-item-parse-warning (condition).
• domain-items (generic function).
• domain-method-id-lookup (generic function).
• domain-method-to-name-table (reader method).
• domain-name-to-method-table (reader method).
• domain-parse-error (condition).
• domain-parse-warning (condition).
• domain-style-warning (condition).
• implicit-conjunction-warning (condition).
• initialize-problem (generic function).
• install-domain (generic function).
• make-operator (function).
• method-definition-keywords (generic function).
• method-head (generic function).
• method-name (generic function).
• method-p (generic function).
• method-preconditions (generic function).
• method-task (generic function).
• method-task-net (generic function).
• non-unique-method-name-error (condition).
• non-unique-method-name-mixin (condition).
• non-unique-method-name-warning (condition).
• nshuffle-array (function).
• nshuffle-list (function).
• old-name (reader method).
• operator (generic function).
• operator (type).
• operator-additions (function).
• (setf operator-additions) (function).
• operator-cost-fun (function).
• (setf operator-cost-fun) (function).
• operator-deletions (function).
• (setf operator-deletions) (function).
• operator-head (function).
• (setf operator-head) (function).
• operator-name (function).
• operator-p (function).
• operator-preconditions (function).
• (setf operator-preconditions) (function).
• operators-dont-fail (reader method).
• parse-domain-item (generic function).
• pddl-action (type).
• pddl-plan (generic function).
• plan-cost (generic function).
• primitivep (function).
• problem->state (generic function).
• problem-state (generic function).
• problem-tasks (generic function).
• process-add-or-delete (generic function).
• process-method-pre (generic function).
• process-pre (generic function).
• push-last (macro).
• quotify (function).
• randomize-list (function).
• regularize-axiom (generic function).
• report-no-method (function).
• report-task-arity-mismatch (function).
• seek-plans (generic function).
• seek-plans-nonprimitive (generic function).
• seek-plans-task (generic function).
• shop-condition (condition).
• shop-error (condition).
• simple-backquote (macro).
• task (reader method).
• task-arity-mismatch-library-entry (reader method).
• task-arity-mismatch-library-task (reader method).
• task-arity-mismatch-task (reader method).
• tasks (reader method).
• values! (type).
• variable-names (reader method).

shop3.asd.

io (module).

• *defdomain-verbose* (special variable).
• *define-silently* (special variable).
• def-problem-set (macro).
• defdomain (macro).
• defproblem (macro).
• delete-domain (generic function).
• do-problems (function).
• find-domain (function).
• get-problems (function).
• handle-domain-options (method).
• make-problem (function).
• make-problem-set (function).
• parse-domain-items (method).
• process-axiom (function).
• process-method (method).
• process-method (method).
• process-op (method).
• process-operator (method).
• query (method).
• set-domain (function).

• %new-method-id (function).
• *all-method-names* (special variable).
• *defdomain-pathname* (special variable).
• *ignore-singleton-variables* (special variable).
• check-for-singletons (function).
• count-method-branches (function).
• domain-include-parse (generic function).
• domain-include-search (function).
• expand-include (function).
• expand-includes (function).
• extract-method-id (function).
• filter-singletons (function).
• get-method-name (function).
• harvest-variables (function).
• index-method-on-domain (function).
• initialize-problem (method).
• install-domain (method).
• make-domain (function).
• method-expression-body (generic function).
• method-expression-task (generic function).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• problem->state (method).
• process-add-or-delete (method).
• process-method-pre (method).
• process-pre (method).
• process-task-list (function).
• regularize-axiom (method).
• rest-shop2-axiom-p (function).
• search-tree (function).
• shop2-axiom-p (function).
• translate-include (function).
• with-method-name-table (macro).

shop3.asd.

io (module).

print-current-state (function).

• backtrack (function).
• determine-verbosity (function).
• indented-format (function).
• plan-cost (method).
• print-current-plan (function).
• print-current-tasks (function).
• print-output-file (function).
• print-stats (function).
• print-stats-header (function).
• print1 (function).
• query-current-state (function).
• to-string (function).

shop3.asd.

io (module).

• print-methods (function).
• print-operators (function).
• shop-trace (macro).
• shop-trace-info (function).
• shop-untrace (macro).
• trigger-trace (method).
• trigger-trace (method).
• trigger-trace (method).
• trigger-trace (method).

• *start-real-time* (special variable).
• *start-run-time* (special variable).
• *traced-axioms* (special variable).
• *traced-goals* (special variable).
• *traced-methods* (special variable).
• *traced-tasks* (special variable).
• +shop-trace-items+ (constant).
• print-operator (function).
• shop-trace-1 (function).
• shop-untrace-1 (function).
• shop-untrace-all (function).

shop3.asd.

io (module).

shop3-pprint.

• axiom-sexp-p (function).
• method-printer (function).
• method-sexp-p (function).
• op-sexp-p (function).
• operator-printer (function).
• operator-sexp-p (function).
• pprint-preconds (function).
• pprint-task-net (function).
• print-list-on-lines (function).
• print-list-suffix-lines (function).

shop3.asd.

pddl (module).

+pddl-requirements-keywords+ (special variable).

decls.lisp (file).

shop3.asd.

pddl (module).

• +binary-numerical-operators+ (special variable).
• +numerical-comparisons+ (special variable).
• fluent-comparison-p (generic function).
• fluent-expr-p (generic function).
• fluent-function-p (generic function).
• fluent-functions (reader method).
• fluents-mixin (class).

fluents.lisp (file).

shop3.asd.

pddl (module).

• adl-domain (class).
• adl-mixin (class).
• conditional-effects-mixin (class).
• costs-mixin (class).
• disjunctive-preconditions-mixin (class).
• equality-mixin (class).
• existential-preconditions-mixin (class).
• make-initial-state (method).
• negative-preconditions-mixin (class).
• parse-domain-items (method).
• parse-domain-items (method).
• parse-domain-items (method).
• pddl-domain (class).
• pddl-typing-mixin (class).
• quantified-preconditions-mixin (class).
• simple-pddl-domain (class).
• source-pddl-domain (reader method).
• universal-preconditions-mixin (class).
• validate-plan (function).
• validator-export (generic function).
• write-pddl-plan (function).

• *validator-progname* (special variable).
• +fluent-updates+ (special variable).
• apply-action (function).
• compute-fluent-updates (function).
• domain-include-parse (method).
• extract-adds-and-deletes (function).
• make-pddl-action (function).
• method-name (method).
• method-p (method).
• of-type-exprs (function).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-domain-item (method).
• parse-pddl-method (function).
• parse-typed-list (function).
• pddl-action-cost-fun (function).
• (setf pddl-action-cost-fun) (function).
• pddl-action-effect (function).
• (setf pddl-action-effect) (function).
• pddl-action-head (function).
• (setf pddl-action-head) (function).
• pddl-action-name (function).
• pddl-action-p (function).
• pddl-action-precondition (function).
• (setf pddl-action-precondition) (function).
• pddl-method-p (generic function).
• pddl-plan (method).
• pddl-types (reader method).
• (setf pddl-types) (writer method).
• process-action (generic function).
• process-method-pre (method).
• process-pddl-method-pre (function).
• translate-effect (generic function).
• translate-fluent-precond (function).
• translate-metric-updates (function).
• translate-pddl-quantifier (function).
• translate-precondition (generic function).
• typed-list-vars (function).

pddl.lisp (file).

shop3.asd.

pddl (module).

• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• pddl-satisfiers-for-exists (function).
• pddl-satisfiers-for-f-exp (function).
• pddl-satisfiers-for-forall (function).
• pddl-satisfiers-for-imply (function).
• pddl-satisfiers-for-not (function).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• vars-boundp (function).

shop3.asd.

search (module).

• add-protection (function).
• delete-protection (function).
• protection-ok (function).

shop3.asd.

search (module).

• apply-operator (method).
• internal-operator-p (function).

• already-immediate-p (function).
• apply-method (method).
• copy-task-tree (function).
• delete-protections (function).
• delete-task-main-list (function).
• delete-task-top-list (function).
• find-next-main-list (function).
• force-immediate (function).
• force-immediate-reduction (function).
• force-immediate-unordered (function).
• get-task-body (function).
• get-task-name (function).
• get-top-tasks (function).
• process-add-list (function).
• process-delete-list (function).
• replace-task-main-list (function).
• replace-task-top-list (function).
• strip-nops (function).
• well-formed-listp (function).

shop3.asd.

search (module).

• remove-costs (function).
• seek-plans-null (method).
• seek-plans-primitive (method).
• shorter-plan (function).

• acceptable-cost-p (function).
• apply-method-bindings (function).
• choose-immediate-task (function).
• dump-higher-cost-plans! (function).
• dump-previous-plans! (function).
• get-immediate-list (function).
• optimize-continue-p (function).
• seek-plans (method).
• seek-plans-nonprimitive (method).
• seek-plans-primitive-1 (function).
• seek-plans-task (method).
• store-plan! (generic function).
• time-expired-p (function).
• user-choose-task (function).
• when-done (macro).

shop3.asd.

search (module).

• plan-final-state (function).
• plan-states (function).

shop3.asd.

explicit-stack-search (module).

• complex-tree-node (structure).
• complex-tree-node-children (reader).
• (setf complex-tree-node-children) (writer).
• complex-tree-node-method-name (reader).
• (setf complex-tree-node-method-name) (writer).
• consumer (reader).
• (setf consumer) (writer).
• copy-plan-tree (function).
• dependency (structure).
• establisher (reader).
• (setf establisher) (writer).
• find-plan-step (function).
• find-task-in-tree (function).
• find-tree-node-if (function).
• make-complex-tree-node (function).
• make-dependency (function).
• make-load-form (method).
• make-ordered-tree-node (function).
• make-primitive-tree-node (function).
• make-top-node (function).
• make-unordered-tree-node (function).
• ordered-tree-node (structure).
• plan-tree->sexp (generic function).
• primitive-tree-node (structure).
• print-object (method).
• print-object (method).
• print-object (method).
• print-object (method).
• print-object (method).
• print-object (method).
• prop (reader).
• (setf prop) (writer).
• pseudo-node (structure).
• top-node (structure).
• tree-node (structure).
• tree-node-dependencies (reader).
• (setf tree-node-dependencies) (writer).
• tree-node-expanded-task (reader).
• (setf tree-node-expanded-task) (writer).
• tree-node-parent (reader).
• (setf tree-node-parent) (writer).
• tree-node-task (reader).
• (setf tree-node-task) (writer).
• unordered-tree-node (structure).

• *node-list* (special variable).
• *table-for-load-form* (special variable).
• complex-tree-node-dependencies (function).
• (setf complex-tree-node-dependencies) (function).
• complex-tree-node-expanded-task (function).
• (setf complex-tree-node-expanded-task) (function).
• complex-tree-node-p (function).
• complex-tree-node-parent (function).
• (setf complex-tree-node-parent) (function).
• complex-tree-node-task (function).
• (setf complex-tree-node-task) (function).
• copy-complex-tree-node (function).
• copy-dependency (function).
• copy-ordered-tree-node (function).
• copy-plan-tree-node (generic function).
• copy-primitive-tree-node (function).
• copy-pseudo-node (function).
• copy-top-node (function).
• copy-tree-node (function).
• copy-unordered-tree-node (function).
• cross-links-for (generic function).
• dependency-p (function).
• insert-if-necessary (function).
• make-cross-links (function).
• make-instantiator (generic function).
• make-pseudo-node (function).
• make-table-entries (generic function).
• make-tree-node (function).
• obj-bindings (function).
• ordered-tree-node-children (function).
• (setf ordered-tree-node-children) (function).
• ordered-tree-node-dependencies (function).
• (setf ordered-tree-node-dependencies) (function).
• ordered-tree-node-expanded-task (function).
• (setf ordered-tree-node-expanded-task) (function).
• ordered-tree-node-method-name (function).
• (setf ordered-tree-node-method-name) (function).
• ordered-tree-node-p (function).
• ordered-tree-node-parent (function).
• (setf ordered-tree-node-parent) (function).
• ordered-tree-node-task (function).
• (setf ordered-tree-node-task) (function).
• primitive-tree-node-dependencies (function).
• (setf primitive-tree-node-dependencies) (function).
• primitive-tree-node-expanded-task (function).
• (setf primitive-tree-node-expanded-task) (function).
• primitive-tree-node-p (function).
• primitive-tree-node-parent (function).
• (setf primitive-tree-node-parent) (function).
• primitive-tree-node-task (function).
• (setf primitive-tree-node-task) (function).
• print-unreadably (macro).
• pseudo-node-children (function).
• (setf pseudo-node-children) (function).
• pseudo-node-dependencies (function).
• (setf pseudo-node-dependencies) (function).
• pseudo-node-expanded-task (function).
• (setf pseudo-node-expanded-task) (function).
• pseudo-node-method-name (function).
• (setf pseudo-node-method-name) (function).
• pseudo-node-p (function).
• pseudo-node-parent (function).
• (setf pseudo-node-parent) (function).
• pseudo-node-task (function).
• (setf pseudo-node-task) (function).
• slot-fillers (generic function).
• slot-value-translator (function).
• top-node-children (function).
• (setf top-node-children) (function).
• top-node-dependencies (function).
• (setf top-node-dependencies) (function).
• top-node-expanded-task (function).
• (setf top-node-expanded-task) (function).
• top-node-lookup-table (reader).
• (setf top-node-lookup-table) (writer).
• top-node-method-name (function).
• (setf top-node-method-name) (function).
• top-node-p (function).
• top-node-parent (function).
• (setf top-node-parent) (function).
• top-node-task (function).
• (setf top-node-task) (function).
• tree-node-p (function).
• unordered-tree-node-children (function).
• (setf unordered-tree-node-children) (function).
• unordered-tree-node-dependencies (function).
• (setf unordered-tree-node-dependencies) (function).
• unordered-tree-node-expanded-task (function).
• (setf unordered-tree-node-expanded-task) (function).
• unordered-tree-node-method-name (function).
• (setf unordered-tree-node-method-name) (function).
• unordered-tree-node-p (function).
• unordered-tree-node-parent (function).
• (setf unordered-tree-node-parent) (function).
• unordered-tree-node-task (function).
• (setf unordered-tree-node-task) (function).

plan-tree.lisp (file).

shop3.asd.

explicit-stack-search (module).

• state (reader method).
• (setf state) (writer method).

• alternatives (reader method).
• (setf alternatives) (writer method).
• appendf (macro).
• backtrack-stack (reader method).
• (setf backtrack-stack) (writer method).
• cost (reader method).
• (setf cost) (writer method).
• current-task (reader method).
• (setf current-task) (writer method).
• depth (reader method).
• (setf depth) (writer method).
• lookup-table (reader method).
• mode (reader method).
• (setf mode) (writer method).
• partial-plan (reader method).
• (setf partial-plan) (writer method).
• plan (reader method).
• plan-cost (method).
• plan-return (class).
• plan-tree (reader method).
• plan-tree-lookup (reader method).
• plans-found (reader method).
• (setf plans-found) (writer method).
• protections (reader method).
• (setf protections) (writer method).
• replay-table (reader method).
• search-failed (condition).
• search-state (reader method).
• search-state (class).
• tasks (reader method).
• (setf tasks) (writer method).
• top-tasks (reader method).
• (setf top-tasks) (writer method).
• tree (reader method).
• unifier (reader method).
• (setf unifier) (writer method).
• verbose-format (macro).
• world-state (reader method).
• world-state (reader method).
• (setf world-state) (writer method).

decls.lisp (file).

shop3.asd.

explicit-stack-search (module).

prepare-return-values (function).

• phase-one (function).
• translate-child-links (function).
• translate-dependency-links (function).
• translate-lookup-table (function).

prepare-return-values.lisp (file).

shop3.asd.

explicit-stack-search (module).

print-object (method).

• add-child-to-tree (class).
• add-dependencies (class).
• alternatives (reader method).
• bottom-of-stack (class).
• child (reader method).
• choice-entry (class).
• current-task (reader method).
• dependencies (reader method).
• do-backtrack (generic function).
• make-add-child-to-tree (function).
• make-add-dependencies (function).
• make-cs-state (function).
• make-method-instantiation (function).
• make-prim-state-expand (function).
• make-record-expansion (function).
• make-record-expansion-for-replay (function).
• make-world-state-tag (function).
• method-id (reader method).
• method-instantiation (class).
• mode (reader method).
• parent (reader method).
• partial-plan (reader method).
• partial-plan-cost (reader method).
• prim-state-expand (class).
• protections (reader method).
• record-expansion (class).
• record-expansion-for-replay (class).
• stack-constructor (macro).
• stack-entry (class).
• state-tag (class).
• tag (reader method).
• task (reader method).
• tasks (reader method).
• tasks (reader method).
• top-tasks (reader method).
• top-tasks (reader method).
• tree-node (reader method).
• unifier (reader method).
• unifier (reader method).

backtrack-stack.lisp (file).

shop3.asd.

explicit-stack-search (module).

• %delete-a-decomposition (generic function).
• %record-a-decomposition (generic function).
• %update-singleton (generic function).
• *analogical-replay-table* (special variable).
• clear-replay-table (generic function).
• copy-replay-table-entry (function).
• find-decompositions (generic function).
• guidance (generic function).
• make-replay-table-entry (function).
• record-decomposition (generic function).
• replay-table-entry (structure).
• replay-table-entry-alist (reader).
• (setf replay-table-entry-alist) (writer).
• replay-table-entry-p (function).
• replay-table-entry-singleton (reader).
• (setf replay-table-entry-singleton) (writer).

analogical-replay.lisp (file).

shop3.asd.

explicit-stack-search (module).

• find-plans-stack (function).
• sort-methods (method).

• *enhanced-plan-tree* (special variable).
• *include-rationale* (special variable).
• *no-dependencies* (special variable).
• apply-substitution-to-tree (function).
• choose-immediate-task-state (function).
• choose-method-bindings-state (function).
• choose-method-state (function).
• choose-toplevel-task (function).
• empty-p (function).
• expand-primitive-state (generic function).
• immediate-tasks (function).
• make-dependencies (function).
• make-plan-copy (function).
• make-plan-return (generic function).
• make-plan-tree-for-task-net (function).
• plan-returns (function).
• populate-plan-return (function).
• prepare-choose-immediate-task-state (function).
• record-node-expansion (function).
• remove-subtree-from-table (function).
• seek-plans-stack (function).
• stack-backjump (function).
• stack-backtrack (function).
• strip-task-sexp (function).
• test-plan-found (function).
• unfold-loop-task (generic function).

shop3.asd.

looping-tasks (module).

• do-backtrack (method).
• expand-loop (method).
• expand-loop (method).
• expand-loop-body (method).
• expand-loop-body (method).
• expand-loop-body (method).
• generate-reductions (function).
• loop-body-item (function).
• loop-body-item-inner (function).
• loop-item (function).
• loop-state-expand (class).
• looping-domain (class).
• looping-p (function).
• make-loop-state-expand (function).
• new-symbol (function).
• rename-sym (function).
• resymbol-task (function).
• seek-plans-loop (method).
• seek-plans-task (method).
• tasks (reader method).
• top-tasks (reader method).
• unfold-loop-task (method).
• unifier (reader method).

shop3.asd.

tree (module).

• all-primitive-nodes (function).
• complex-node-children (function).
• (setf complex-node-children) (function).
• complex-node-p (function).
• complex-node-task (function).
• (setf complex-node-task) (function).
• copy-plan-tree (function).
• find-all-complex-node-for-task (function).
• find-all-complex-node-if (function).
• find-all-primitive-nodes-if (function).
• find-complex-node-for-task (function).
• find-complex-node-if (function).
• find-primitive-node-for-task (function).
• find-primitive-node-if (function).
• make-complex-node (function).
• node-parent (function).
• primitive-node-cost (function).
• (setf primitive-node-cost) (function).
• primitive-node-p (function).
• primitive-node-position (function).
• (setf primitive-node-position) (function).
• primitive-node-task (function).
• (setf primitive-node-task) (function).
• remove-internal-operators (function).
• task-name (function).
• (setf tree-node-task) (setf expander).
• tree-node-task (function).
• tree-node-task-name (function).

• canonically-order (function).
• complex-node (type).
• make-primitive-node (function).
• min-start (function).
• primitive-node (type).
• task-args (function).
• tree-compare (function).
• tree-node (type).

tree-accessors.lisp (file).

shop3.asd.

tree (module).

• *node-children-table* (special variable).
• all-roots (function).
• create-node-children-table (function).
• decode-task (function).
• extend-plan-tree-nodes (function).
• extract-subtasks (function).
• extract-subtree (function).
• extract-tree (function).
• make-operator-task-table (function).
• make-subtask-parents-table (function).
• node-children (function).
• operator-task (function).
• plan-operator-nodes (function).
• plan-tree-nodes (function).
• record-operator (function).
• record-reduction (function).
• strip-tree-tags (function).

shop3.asd.

minimal-subtree (module).

shop3-minimal-subtree.

package.lisp (file).

shop3.asd.

minimal-subtree (module).

find-failed-task (generic function).

decls.lisp (file).

shop3.asd.

minimal-subtree (module).

• find-failed-task (method).
• find-failed-task (method).
• find-failed-task (method).

• clobbered-p (function).
• find-adder (function).
• find-checking-path (function).
• find-deleter (function).
• find-plan-suffix (function).
• leftmost-p (function).

• tree (module).
• explicit-stack-search (module).
• minimal-subtree (module).

shop3.asd.

shop3 (system).

repair-plan (function).

• divergence-list (type).
• divergence-list-p (function).
• divergence-op-p (function).
• extract-suffix (function).
• find-failed-choice-entry (generic function).
• find-failed-stack-entry (generic function).
• freeze-state (function).
• no-failed-task (condition).
• replan-from-failure (function).

plan-repair.lisp (file).

shop3.asd.

shop3 (system).

find-plans (function).

• +shopyright+ (constant).
• extract-trees (function).
• find-plans-1 (function).
• id-search (function).

• package.lisp (file).
• decls.lisp (file).
• shop3.lisp (file).

shop3.asd.

shop3 (system).

pprint-plan (function).

pprint-step (function).

shop3.asd.

shop3/common (system).

• %shop3-common-private%.
• shop3.common.

package-common.lisp (file).

shop3.asd.

shop3/common (system).

• *attribution-list* (special variable).
• *current-state* (special variable).
• *external-access* (special variable).
• *inferences* (special variable).
• *state-encoding* (special variable).
• shop-fail (macro).

common.lisp (file).

shop3.asd.

shop3/common (system).

• add-atom-to-state (generic function).
• copy-state (generic function).
• delete-atom-from-state (generic function).
• last-establisher (generic function).
• make-initial-state (generic function).
• replay-state-changes (generic function).
• retract-state-changes (generic function).
• state (structure).
• state->state-type (generic function).
• state-all-atoms-for-predicate (generic function).
• state-atoms (generic function).
• state-candidate-atoms-for-goal (generic function).
• state-trajectory (generic function).
• tag-state (generic function).
• tagged-state (structure).

• %make-bit-state (function).
• *action-to-tag-map* (special variable).
• *state-tag-map* (special variable).
• action-type (type).
• atom-in-state-p (generic function).
• bit-state (structure).
• bit-state-block-at (function).
• (setf bit-state-block-at) (function).
• bit-state-body (function).
• (setf bit-state-body) (function).
• bit-state-p (function).
• bit-state-tags-info (function).
• (setf bit-state-tags-info) (function).
• copy-state-update (function).
• domain-core (class).
• doubly-hashed-state (structure).
• doubly-hashed-state-block-at (function).
• (setf doubly-hashed-state-block-at) (function).
• doubly-hashed-state-body (function).
• (setf doubly-hashed-state-body) (function).
• doubly-hashed-state-p (function).
• doubly-hashed-state-tags-info (function).
• (setf doubly-hashed-state-tags-info) (function).
• hash-state (structure).
• hash-state-block-at (function).
• (setf hash-state-block-at) (function).
• hash-state-body (function).
• (setf hash-state-body) (function).
• hash-state-p (function).
• hash-state-tags-info (function).
• (setf hash-state-tags-info) (function).
• include-in-tag (generic function).
• insert-atom (generic function).
• list-state (structure).
• list-state-block-at (function).
• (setf list-state-block-at) (function).
• list-state-body (function).
• (setf list-state-body) (function).
• list-state-p (function).
• list-state-tags-info (function).
• (setf list-state-tags-info) (function).
• make-state-update (function).
• makedoubly-hashedstate (function).
• makehashstate (function).
• makeliststate (function).
• makemixedstate (function).
• mixed-state (structure).
• mixed-state-block-at (function).
• (setf mixed-state-block-at) (function).
• mixed-state-body (function).
• (setf mixed-state-body) (function).
• mixed-state-p (function).
• mixed-state-tags-info (function).
• (setf mixed-state-tags-info) (function).
• redo-state-update (generic function).
• remove-atom (generic function).
• state-body (reader).
• (setf state-body) (writer).
• state-p (function).
• state-update (structure).
• state-update-action (reader).
• (setf state-update-action) (writer).
• state-update-literal (reader).
• (setf state-update-literal) (writer).
• state-update-p (function).
• tagged-state-block-at (reader).
• (setf tagged-state-block-at) (writer).
• tagged-state-body (function).
• (setf tagged-state-body) (function).
• tagged-state-p (function).
• tagged-state-tags-info (reader).
• (setf tagged-state-tags-info) (writer).
• undo-state-update (generic function).

state-decls.lisp (file).

shop3.asd.

shop3/common (system).

• copy-state (method).
• copy-state (method).
• copy-state (method).
• copy-state (method).
• copy-state (method).
• make-initial-state (method).
• make-initial-state (method).
• make-initial-state (method).
• make-initial-state (method).
• make-initial-state (method).
• print-object (method).
• prop-sorter (function).
• state->state-type (method).
• state->state-type (method).
• state->state-type (method).
• state->state-type (method).
• state->state-type (method).
• state-all-atoms-for-predicate (method).
• state-all-atoms-for-predicate (method).
• state-all-atoms-for-predicate (method).
• state-all-atoms-for-predicate (method).
• state-all-atoms-for-predicate (method).
• state-atoms (method).
• state-atoms (method).
• state-atoms (method).
• state-atoms (method).
• state-atoms (method).
• state-candidate-atoms-for-goal (method).
• state-candidate-atoms-for-goal (method).
• state-candidate-atoms-for-goal (method).
• state-candidate-atoms-for-goal (method).
• state-candidate-atoms-for-goal (method).
• state-trajectory (method).

• +singleton-term+ (constant).
• +variable-term+ (constant).
• atom-in-state-p (method).
• atom-in-state-p (method).
• atom-in-state-p (method).
• atom-in-state-p (method).
• atom-in-state-p (method).
• bit-statebody-increment-position (function).
• bit-statebody-search-array (function).
• copy-hash-table (function).
• insert-atom (method).
• insert-atom (method).
• insert-atom (method).
• insert-atom (method).
• insert-atom (method).
• list-insert-atom-into-statebody (function).
• list-remove-atom-from-statebody (function).
• make-bit-state (function).
• make-doubly-hashed-state (function).
• make-hash-state (function).
• make-list-state (function).
• make-mixed-state (function).
• remove-atom (method).
• remove-atom (method).
• remove-atom (method).
• remove-atom (method).
• remove-atom (method).

state-utils.lisp (file).

shop3.asd.

shop3/common (system).

• add-atom-to-state (method).
• decode-tag (function).
• delete-atom-from-state (method).
• delete-state-tag-decoder (function).
• delete-tag-map (function).
• last-establisher (method).
• make-tag-map (function).
• prepare-state-tag-decoder (function).
• replay-state-changes (method).
• retract-state-changes (method).
• tag-for-action (function).
• tag-state (method).

• include-in-tag (method).
• pull-tag-info (function).
• redo-state-update (method).
• redo-state-update (method).
• redo-state-update (method).
• redo-state-update (method).
• tagged-state-tags-info-tag (function).
• undo-state-update (method).
• undo-state-update (method).
• undo-state-update (method).
• undo-state-update (method).

shop3.asd.

shop3/unifier (system).

shop3.unifier.

package-unifier.lisp (file).

shop3.asd.

shop3/unifier (system).

• *shop-trace* (special variable).
• *shop-trace-stream* (special variable).
• *trace-query* (special variable).
• trace-print (macro).
• trigger-trace (generic function).

tracer.lisp (file).

shop3.asd.

shop3/unifier (system).

• anonymous-var-p (function).
• apply-substitution (macro).
• binding-list (type).
• binding-list-value (function).
• binding-val (reader).
• (setf binding-val) (writer).
• binding-var (reader).
• (setf binding-var) (writer).
• compose-substitutions (function).
• fix-uninterned-bindings (function).
• get-alist (function).
• groundp (function).
• make-binding (function).
• make-binding-list (function).
• make-load-form (method).
• set-variable-property (generic function).
• shop-union (function).
• shop-variable (type).
• standardize (function).
• unify (function).
• unify-fail (macro).
• unify-fail-p (macro).
• unify-p (macro).
• uniquify-anonymous-variables (function).
• variable-gensym (function).
• variable-p (macro).
• variablep (function).

• +anonymous-property-name+ (constant).
• +primitive-property-name+ (constant).
• +variable-property-name+ (constant).
• all-elements-bindings (function).
• anonymous-var-symbol-p (function).
• binding (structure).
• binding-p (function).
• check-constraints (function).
• copy-binding (function).
• find-binding (function).
• occurs (function).
• primitive-symbol-p (function).
• real-apply-substitution (function).
• unify1 (function).
• variable-name (function).
• variable-symbol-p (function).

shop3.asd.

shop3/theorem-prover (system).

shop3.theorem-prover.

package-thpr.lisp (file).

shop3.asd.

shop3/theorem-prover (system).

• *domain* (special variable).
• *establishers* (special variable).
• *literals* (special variable).
• *record-dependencies-p* (special variable).
• *state* (special variable).
• axioms (generic function).
• bad-argument (condition).
• default-state-type (reader method).
• domain-axioms (reader method).
• domain-name (reader method).
• has-static-preds-p (generic function).
• incomplete-dependency-error (condition).
• instantiation-error (condition).
• non-ground-error (condition).
• static-predicates-mixin (class).
• static-preds (generic reader).
• theorem-prover-condition (condition).
• thpr-domain (class).

• *optimize-first-retrieval* (special variable).
• all-raw-depends-lists-p (function).
• all-raw-depends-p (function).
• argno (reader method).
• argno (reader method).
• comment (reader method).
• copy-raw-depend (function).
• correct-arity (reader method).
• cut-commit (condition).
• expression (reader method).
• expression (reader method).
• expression (reader method).
• has-axioms-mixin (class).
• incorrect-arity-error (condition).
• list-raw-depend-lists (type).
• logical-keywordp (generic function).
• logical-op (reader method).
• make-raw-depend (function).
• op (reader method).
• predicate (reader method).
• predicate (reader method).
• raw-depend (structure).
• raw-depend-list (type).
• raw-depend-p (function).
• rd-est (reader).
• (setf rd-est) (writer).
• rd-prop (reader).
• (setf rd-prop) (writer).
• real-seek-satisfiers-for (generic function).
• var (reader method).

decls.lisp (file).

shop3.asd.

shop3/theorem-prover (system).

• def-logical-keyword (macro).
• explain-satisfier (function).
• extract-variables (function).
• find-satisfiers (function).
• print-axioms (function).
• print-belief-state-readably (function).
• query (generic function).

• *negation-deps-ok* (special variable).
• add-source (function).
• answer-set-union (function).
• dependency-for-negation (function).
• do-conjunct (function).
• do-conjunct-from-atoms (function).
• do-conjunct-from-axiom (function).
• do-conjunct-from-axioms (function).
• dummy-external-access-hook (function).
• external-find-satisfiers (function).
• external-query (function).
• find-variable (function).
• first-word-equal (function).
• fully-instantiated-goal (function).
• get-attribution (function).
• goal-equalp (function).
• incorporate-unifiers (function).
• invoke-external-query (function).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• logical-keywordp (method).
• merge-binding-set-lists (function).
• merge-binding-sets (function).
• rd-union (function).
• real-seek-satisfiers (function).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• real-seek-satisfiers-for (method).
• seek-satisfiers (macro).
• setof-bagof-helper (function).
• standard-satisfiers-for-and (function).
• standard-satisfiers-for-assign (function).
• standard-satisfiers-for-assign* (function).
• standard-satisfiers-for-bagof (function).
• standard-satisfiers-for-call (function).
• standard-satisfiers-for-enforce (function).
• standard-satisfiers-for-eval (function).
• standard-satisfiers-for-exists (function).
• standard-satisfiers-for-external (function).
• standard-satisfiers-for-forall (function).
• standard-satisfiers-for-imply (function).
• standard-satisfiers-for-not (function).
• standard-satisfiers-for-or (function).
• standard-satisfiers-for-setof (function).
• static-bounds-p (function).