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

use sim_kernel::Symbol;

/// Stable symbol identifying the Prolog surface language profile.
pub fn prolog_profile_symbol() -> Symbol {
    Symbol::qualified("lang", "prolog/v1")
}

/// Stable symbol identifying the expression reader used by this surface.
pub fn prolog_reader_symbol() -> Symbol {
    Symbol::qualified("codec", "lisp")
}

/// Stable symbol identifying the Prolog surface lowering path.
pub fn prolog_lowering_symbol() -> Symbol {
    Symbol::qualified("prolog", "surface-expr")
}

/// Stable symbol identifying the Prolog conformance test.
pub fn prolog_conformance_test_symbol() -> Symbol {
    Symbol::qualified("test", "prolog-surface-core")
}

/// Stable symbol for the Prolog surface fidelity badge.
pub fn prolog_surface_fidelity_symbol() -> Symbol {
    Symbol::qualified("standard/fidelity", "prolog-surface-partial")
}

/// Stable symbol identifying the logic organ used by the Prolog surface.
pub fn prolog_logic_organ_symbol() -> Symbol {
    Symbol::qualified("organ", "logic")
}

/// Stable symbol identifying a Prolog matrix source case.
pub fn prolog_conformance_case_symbol(name: &str) -> Symbol {
    Symbol::qualified("test/prolog", name.to_owned())
}