Module conclusion_index 

Conclusion Index for efficient rule lookup in backward chaining

This module provides O(1) lookup for finding rules that can prove a goal, replacing the naive O(n) linear scan through all rules.

The index maps from conclusion patterns (facts that rules derive) to the set of rule names that can derive them.

Structs

ConclusionIndex

Index for fast lookup of rules by their conclusions

IndexStats

Statistics about the conclusion index