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
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

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

#[test]
pub fn new_predicate_named_field() {
    single(&|holmes: &mut Engine, _| {
        holmes_exec!(holmes, {
            predicate!(test_pred([first string], bytes, uint64))
        })
    })
}

#[test]
pub fn new_predicate_doc_field() {
    single(&|holmes: &mut Engine, _| {
        holmes_exec!(holmes, {
            predicate!(test_pred([first string "This is the first element"], bytes, uint64))
        })
    })
}

#[test]
pub fn new_predicate_doc_all() {
    single(&|holmes: &mut Engine, _| {
        holmes_exec!(holmes, {
            predicate!(test_pred([first string "This is the first element"],
                                  bytes, uint64)
                       : "This is a test predicate")
        })
    })
}

#[test]
pub fn predicate_roundtrip() {
    single(&|holmes: &mut Engine, _| {
        holmes_exec!(holmes, {
            predicate!(test_pred([first string "This is the first element"],
                                 bytes, uint64)
                       : "This is a test predicate")
        })?;
        let pred = holmes.get_predicate("test_pred")?.unwrap();
        assert_eq!(pred.description.as_ref().unwrap(), "This is a test predicate");
        assert_eq!(pred.fields[0].name.as_ref().unwrap(), "first");
        assert_eq!(pred.fields[0].description.as_ref().unwrap(), "This is the first element");
        Ok(())
    })
}

#[test]
pub fn named_field_rule() {
    single(&|holmes: &mut Engine, core: &mut Core| {
        holmes_exec!(holmes, {
            predicate!(test_pred([foo string],
                                 uint64,
                                 [bar string]));
            predicate!(out_pred(string));
            rule!(out_pred(x) <= test_pred {bar = x, foo = ("woo")});
            fact!(test_pred("woo", 3, "Right"));
            fact!(test_pred("wow", 4, "Wrong"))
        })?;

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

        let ans = query!(holmes, out_pred(x))?;
        assert_eq!(ans, vec![["Right".to_value()]]);

        Ok(())
    })
}