sim-lib-lang-prolog 0.1.0

Prolog surface profile for the SIM runtime.
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

use sim_kernel::Result;

use crate::conformance::{
    assert_clause, binding_expr, expr_label, fact, goal, list, local, prolog_case_cx, query_all,
    symbol,
};

pub(crate) fn run_findall_duplicates_case() -> Result<String> {
    let mut cx = prolog_case_cx()?;
    let answers = query_all(
        &mut cx,
        goal(
            "findall",
            vec![
                local("x"),
                goal(
                    "member",
                    vec![
                        local("x"),
                        list(vec![symbol("a"), symbol("b"), symbol("a")]),
                    ],
                ),
                local("xs"),
            ],
        ),
        4,
    )?;
    let xs = answers
        .first()
        .and_then(|answer| binding_expr(answer, "xs"))
        .map(|expr| expr_label(&expr))
        .unwrap_or_else(|| "none".to_owned());
    Ok(format!(
        "prolog:findall organ=sequence answers={} xs={xs}",
        answers.len()
    ))
}

pub(crate) fn run_bagof_groups_case() -> Result<String> {
    let mut cx = prolog_case_cx()?;
    for (parent, child) in [("alice", "bob"), ("alice", "bea"), ("cara", "drew")] {
        assert_clause(&mut cx, fact("parent", vec![symbol(parent), symbol(child)]))?;
    }
    let answers = query_all(
        &mut cx,
        goal(
            "bagof",
            vec![
                local("child"),
                goal("parent", vec![local("parent"), local("child")]),
                local("children"),
            ],
        ),
        4,
    )?;
    let groups = answers
        .iter()
        .map(|answer| {
            let parent = binding_expr(answer, "parent")
                .map(|expr| expr_label(&expr))
                .unwrap_or_else(|| "none".to_owned());
            let children = binding_expr(answer, "children")
                .map(|expr| expr_label(&expr))
                .unwrap_or_else(|| "none".to_owned());
            format!("{parent}:{children}")
        })
        .collect::<Vec<_>>()
        .join(";");
    Ok(format!(
        "prolog:bagof organ=sequence answers={} groups={groups}",
        answers.len()
    ))
}

pub(crate) fn run_setof_sorted_case() -> Result<String> {
    let mut cx = prolog_case_cx()?;
    let answers = query_all(
        &mut cx,
        goal(
            "setof",
            vec![
                local("x"),
                goal(
                    "member",
                    vec![
                        local("x"),
                        list(vec![symbol("c"), symbol("a"), symbol("b"), symbol("a")]),
                    ],
                ),
                local("xs"),
            ],
        ),
        4,
    )?;
    let xs = answers
        .first()
        .and_then(|answer| binding_expr(answer, "xs"))
        .map(|expr| expr_label(&expr))
        .unwrap_or_else(|| "none".to_owned());
    Ok(format!(
        "prolog:setof organ=sequence answers={} xs={xs}",
        answers.len()
    ))
}

pub(crate) fn run_bagof_empty_case() -> Result<String> {
    let mut cx = prolog_case_cx()?;
    let answers = query_all(
        &mut cx,
        goal(
            "bagof",
            vec![
                local("x"),
                goal("member", vec![local("x"), list(Vec::new())]),
                local("xs"),
            ],
        ),
        4,
    )?;
    Ok(format!(
        "prolog:bagof-empty organ=sequence answers={}",
        answers.len()
    ))
}