# Functions
EvalProgram evaluates a given program on the given facts, modifying the fact store in the process.
EvalProgramNaive evaluates a given program on the given facts, modifying the fact store in the process.
EvalProgramWithStats evaluates a given program on the given facts, modifying the fact store in the process.
EvalStratifiedProgramWithStats evaluates a given stratified program on the given facts, modifying the fact store in the process.
EvalTransform evaluates a transform.
NewInclusionChecker returns a new InclusionChecker.
NewInclusionCheckerFromDesugared returns a new InclusionChecker.
WithCreatedFactLimit is an evaluation option that limits the maximum number of facts created during evaluation.
# Structs
EvalOptions are used to configure the evaluation.
InclusionChecker checks inclusion constraints.
QueryContext groups data needed for evaluating a query top-down (backward chaining).
Stats represents strata and their running times.
# Type aliases
EvalOption affects the way the evaluation is performed.