quipu_reason
Runs Datalog rules to a fixed point and stores inferred facts in a graph's companion inferred graph. Use it to derive logical consequences without mixing them with asserted facts.
Instructions
Run stored or inline Datalog rules to fixpoint and persist derivations. Omitted graph means ROOT; pass graph to scope premises. Derivations persist in that graph's reserved companion inferred graph, not alongside asserted facts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| graph | No | ||
| rules | No | ||
| prefix | No | ||
| timestamp | No |