Module reasoning 

Distributed reasoning and inference engine

Implements backward chaining inference with unification for TensorLogic. Features:

• Backward chaining with SLD-resolution
• Cycle detection to prevent infinite loops
• Memoization for query caching
• Goal decomposition tracking
• Distributed reasoning support

Structs

CycleDetector

Cycle detection context for recursive queries

DistributedReasoner

Distributed reasoning engine with caching support

GoalDecomposition

Goal decomposition tracking for distributed reasoning

InferenceEngine

Local inference engine with backward chaining

MemoizedInferenceEngine

Memoized inference engine with query caching

Proof

Proof tree representing the derivation of a goal

ProofRule

Rule used in a proof

Functions

apply_subst_predicate

Apply substitution to a predicate

apply_subst_term

Apply substitution to a term

unify

Unify two terms with a substitution

unify_predicates

Unify two predicates

Type Aliases

Substitution

Variable substitution (bindings)