see

Annotation

Insight

The derivation produced 1 formula-valued conclusion(s).
Main conclusion: :t log:nameOf { :a :name “Alice” }.

Selected conclusions:

• :t log:nameOf { :a :name “Alice” } .

Explanation

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

Evidence

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

:t log:nameOf { :a :name "Alice" } .