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

use sim_kernel::{Export, ExportRecord, Symbol};

/// Returns the Prolog surface export records as declared manifest metadata.
pub fn prolog_exports() -> Vec<ExportRecord> {
    prolog_export_declarations()
        .into_iter()
        .map(|export| export.declared_record())
        .collect()
}

pub(crate) fn prolog_export_declarations() -> Vec<Export> {
    let mut exports = vec![
        Export::Value {
            symbol: Symbol::qualified("prolog", "db"),
        },
        Export::Value {
            symbol: Symbol::qualified("prolog", "config-state"),
        },
    ];
    for symbol in [
        Symbol::qualified("prolog", "assert!"),
        Symbol::qualified("prolog", "retract!"),
        Symbol::qualified("prolog", "query"),
        Symbol::qualified("prolog", "query/all"),
        Symbol::qualified("prolog", "query-seq"),
        Symbol::qualified("prolog", "consult"),
    ] {
        exports.push(Export::Function {
            symbol,
            function_id: None,
        });
    }
    exports
}