suiron

Macro unify

Source 
macro_rules! unify {
    ($left:expr, $right:expr) => { ... };
}
Expand description

Creates a Unify goal.

Calling unify!($X, 7) in Rust is equivalent to $X = 7 in Suiron source code.

ยงUsage

use suiron::*;

let x = logic_var!(next_id(), "$X");
let number = SInteger(7);
let goal = unify!(x, number);   // Goal is: $X = 7