Module solver 

Logic solver for reasoning queries with semantic integration

This module provides integration between semantic search and logic reasoning:

• Predicate-to-embedding mapping for similarity-based matching
• Logic term similarity for fuzzy unification
• Proof tree search using vector indices
• Backward chaining with semantic relevance
• Subgoal decomposition and dependency tracking

Structs

LogicSolver

Logic solver with semantic integration

PredicateEmbedder

Maps logic predicates to vector embeddings for similarity search

ProofSearch

Proof search with semantic guidance

ProofTreeNode

Proof tree node for search

SolverConfig

Configuration for the logic solver

SolverStats

Statistics for the logic solver