Elpi Tracer

Navigation history:

({{ step.rt }}, {{ step.id }})

{{ step.goal_id }} - ({{step.rt}}|{{ step.id }})

Kind: {{ step.kind }}

Predicate: {{ step.goal_predicate }} Entry point

Next: {{entry[0]}}

Step

Runtime

Goal

Code snippet

Computing trace