Struct PredicateEmbedder 

pub struct PredicateEmbedder { /* private fields */ }

Maps logic predicates to vector embeddings for similarity search

Implementations

impl PredicateEmbedder

pub fn new(dim: usize) -> Self

Create a new predicate embedder

pub fn embed_predicate(&self, pred: &Predicate) -> Vec<f32>

Generate embedding for a predicate

This uses a simple compositional approach:

• Predicate name contributes to the embedding
• Each term contributes based on its structure
• Ground terms have higher weight than variables

pub fn similarity(&self, pred1: &Predicate, pred2: &Predicate) -> f32

Compute similarity between two predicates (cosine similarity)