epilog 0.1.0

A collection of Prolog-like tools for inference logic.
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

use crate::{prelude::*, tests::strats::ast::*};
use proptest::prelude::*;

proptest! {
    #[test]
    fn sub_ast_list(
        term in term(30),
        vec in prop::collection::vec(ast(8, 30, 10), 0..30),
        sub in sub(8, 30, 10),
    ) {
        prop_assert_eq!(
            Ast::List(term, vec.clone()).sub(&sub),
            term.sub(&sub)
                .and_then(|t| vec.sub(&sub).map(|v| Ast::List(t, v)))
        );
    }

    #[test]
    fn sub_ast_dict(
        term in term(30),
        map in prop::collection::hash_map((0..30u32).prop_map(L), ast(8, 30, 10), 0..30),
        sub in sub(8, 30, 10),
    ) {
        prop_assert_eq!(
            Ast::Dict(term, map.clone()).sub(&sub),
            term.sub(&sub)
                .and_then(|t| map.sub(&sub).map(|d| Ast::Dict(t, d)))
        )
    }

    #[test]
    fn unify_ast_list(
        terml in term(30),
        termr in term(30),
        vecl in prop::collection::vec(ast(8, 30, 10), 0..30),
        vecr in prop::collection::vec(ast(8, 30, 10), 0..30),
    ) {
        let l = Ast::List(terml.clone(), vecl.clone());
        let r = Ast::List(termr.clone(), vecr.clone());

        prop_assert_eq!(l.unify(&r), terml.unify(&termr).and_then(|s| vecl.unify_with(s, &vecr)));
    }

    #[test]
    fn unify_ast_dict(
        terml in term(30),
        termr in term(30),
        mapl in prop::collection::hash_map((0..30u32).prop_map(L), ast(8, 30, 10), 0..30),
        mapr in prop::collection::hash_map((0..30u32).prop_map(L), ast(8, 30, 10), 0..30),
    ) {
        let l = Ast::Dict(terml.clone(), mapl.clone());
        let r = Ast::Dict(termr.clone(), mapr.clone());

        prop_assert_eq!(l.unify(&r), terml.unify(&termr).and_then(|s| mapl.unify_with(s, &mapr)));
    }
}