sim-lib-logic 0.1.0

SIM workspace package for sim lib 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
57
58
59

use sim_kernel::{Expr, Symbol};

use crate::{ClauseId, parse_clause_expr};

#[test]
fn parse_fact_clause() {
    let clause = parse_clause_expr(
        ClauseId(1),
        Expr::List(vec![
            Expr::Symbol(Symbol::new("fact")),
            Expr::List(vec![
                Expr::Symbol(Symbol::new("parent")),
                Expr::Symbol(Symbol::new("alice")),
                Expr::Symbol(Symbol::new("bob")),
            ]),
        ]),
    )
    .unwrap();
    assert!(clause.body.is_empty());
}

#[test]
fn parse_rule_clause() {
    let clause = parse_clause_expr(
        ClauseId(1),
        Expr::List(vec![
            Expr::Symbol(Symbol::new("rule")),
            Expr::List(vec![
                Expr::Symbol(Symbol::new("grandparent")),
                Expr::Local(Symbol::new("x")),
                Expr::Local(Symbol::new("z")),
            ]),
            Expr::List(vec![
                Expr::List(vec![
                    Expr::Symbol(Symbol::new("parent")),
                    Expr::Local(Symbol::new("x")),
                    Expr::Local(Symbol::new("y")),
                ]),
                Expr::List(vec![
                    Expr::Symbol(Symbol::new("parent")),
                    Expr::Local(Symbol::new("y")),
                    Expr::Local(Symbol::new("z")),
                ]),
            ]),
        ]),
    )
    .unwrap();
    assert_eq!(clause.body.len(), 2);
}

#[test]
fn malformed_clause_returns_eval_error() {
    let err = parse_clause_expr(
        ClauseId(1),
        Expr::List(vec![Expr::Symbol(Symbol::new("fact"))]),
    )
    .unwrap_err();
    assert!(format!("{err}").contains("fact expects"));
}