see

Towers of Hanoi

Insight

The derivation produced 1 new fact(s) from 0 stated fact(s).
Main conclusion: 3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)).

Selected conclusions:

• 3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .

Explanation

The generated JavaScript starts from 0 compiled source fact(s), applies 3 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 3: if (3 :left :right :center) :moves ?M, then 3 :answer ?M. This produced 3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .

Evidence

These are the derived non-input facts selected for the report. Source facts that support the explanation are shown inline with each derivation step.

3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)) .