Macro holmes::fact
[−]
[src]
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.