Module index 

Structs

PredicateEntry

Entry for a single predicate (functor/arity). Supports two-tier indexing: functor/arity lookup, then first-argument hash.

Functions

build_index

Build the predicate index from a list of clauses.

lookup_clauses

Look up candidate clause indices for a goal. Returns indices into the clauses Vec.

Type Aliases

PredicateIndex

Two-tier predicate index: (functor AtomId, arity) -> PredicateEntry