see

Backward recursion coverage

Insight

The compiled query selected 2 fact(s) after the rule closure was computed.
Main conclusion: :a :reaches :c.

Selected conclusions:

• :a :reaches :c .
• :a :reaches :b .

Explanation

The generated JavaScript starts from 2 compiled source fact(s), applies 3 compiled rule(s), and stops only after a fixpoint is reached.
After saturation, the compiled log:query directive projects only the matching facts shown in the insight, rather than dumping the whole graph.

A compact derivation path is:

• Rule 3: if :a :ancestor ?who, then :a :reaches ?who. This produced :a :reaches :b .
• Rule 3: if :a :ancestor ?who, then :a :reaches ?who. This produced :a :reaches :c .

Evidence

These are the facts selected by the query projection.

:a :reaches :b .  
:a :reaches :c .