see

A tiny expression evaluator in N3

Insight

The derivation produced 1 new fact(s) from 17 stated fact(s).
Main conclusion: :Root :result 12.

Selected conclusions:

• :Root :result 12 .

Explanation

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

A compact derivation path is:

• Rule 5: if :Root :expr ?E; ?E :value ?V, then :Root :result ?V. This produced :Root :result 12 .
  • Premises used:
    • :Root :expr :eAdd . (source fact)

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.

:Root :result 12 .