holmes 0.1.0

Holmes Inference System
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#[macro_use]
extern crate holmes;
use holmes::simple::*;

// Ensures that rules will wake up both rules declared before and after them
#[test]
pub fn reorder() {
    single(&|holmes: &mut Engine, core: &mut Core| {
        holmes_exec!(holmes, {
            predicate!(foo(uint64));
            rule!(foo((2)) <= foo((1)));
            rule!(foo((1)) <= foo((0)));
            rule!(foo((3)) <= foo((2)));
            fact!(foo(0))
        })?;

        core.run(holmes.quiesce()).unwrap();

        assert_eq!(query!(holmes, foo((3)))?.len(), 1);
        Ok(())
    })
}