Module g1_common::nameless

A nameless representation of queries, which are easier to execute, easier to validate, and easier to operate on.

This representation names predicates with indices, collects clauses for the same predicate together, sorts predicates to stratify them, and explicitly declare variables used in each clause.

Structs

NamelessClause	A nameless representation of clauses.
NamelessPredicate	A nameless representation of predicates.
NamelessQuery	A nameless representation of queries.

Enums

NamelessValue

A nameless representation of values.