Struct LogicPolicy 

pub struct LogicPolicy { /* private fields */ }

Eval policy that treats each evaluated expression as a logic query goal.

The policy delegates resolution to the crate’s existing query resolver and returns the first answer as a symbol-keyed table of captured bindings.

Implementations

impl LogicPolicy

pub fn new(db: LogicDb, config: LogicConfig) -> Self

Creates a policy over db with the supplied query configuration.

pub fn from_shared(db: Arc<Mutex<LogicDb>>, config: LogicConfig) -> Self

Creates a policy over an existing shared database handle.

pub fn db(&self) -> Arc<Mutex<LogicDb>>

Returns the shared database handle used by this policy.

Trait Implementations

impl EvalPolicy for LogicPolicy

fn name(&self) -> &'static str

A stable, human-readable name for this policy.

fn prepare_call_args( &self, cx: &mut Cx, raw: RawArgs, demands: &[Demand], ) -> Result<PreparedArgs>

Prepares raw call arguments into PreparedArgs per the demands.

fn force(&self, cx: &mut Cx, value: Value, demand: Demand) -> Result<Value>

Forces value far enough to satisfy demand.

fn eval_expr(&self, cx: &mut Cx, expr: Expr) -> Result<Value>

Evaluates a bare expression to a value under this policy.

fn allow_macro_expansion(&self, _phase: Phase) -> bool

Whether macro expansion is permitted in the given Phase.

fn resolve_unbound_symbol( &self, cx: &mut Cx, symbol: Symbol, ) -> Result<Value, Error>

Resolve a symbol that bound to nothing in value position.

fn resolve_unbound_call( &self, cx: &mut Cx, operator: Symbol, args: Vec<Expr>, ) -> Result<Value, Error>

Resolve a call whose operator bound to nothing.