see

Good cobbler

Insight

The derivation produced 1 formula-valued conclusion(s).
Main conclusion: :test is { :joe :is (:good :Cobbler) }.

Selected conclusions:

• :test :is { :joe :is (:good :Cobbler) } .

Explanation

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

A compact derivation path is:

• Rule 1: if ?X :is (:good ?Y), then :test :is { ?X :is (:good ?Y) }. This produced :test :is { :joe :is (:good :Cobbler) } .
  • Premises used:
    • :joe :is (:good :Cobbler) . (source fact)

Evidence

These are the formula-valued facts produced by the derivation.

:test :is { :joe :is (:good :Cobbler) } .