Macro holmes::fact

macro_rules! fact {
    ($holmes:ident, $pred_name:ident($($a:expr),*)) => { ... };
    ($pred_name:ident($($a:expr),*)) => { ... };
}

Stores a fact with the Holmes context.

fact!(holmes, foo("bar", 3))

will store a true instance of the predicate foo with "bar" in the first slot and 3 in the second.

If the holmes parameter is omitted, it will generate a function taking a holmes parameter in its stead.