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

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! Prolog surface profile for the SIM runtime.
//!
//! The kernel defines the expression and library contracts; this crate installs
//! a Prolog-flavored logic policy and registers the `prolog/*` callable surface
//! over the shared logic query engine.

mod card;
mod conformance;
mod conformance_all_solutions;
mod exports;
mod generated_coverage;
mod matrix_row;
mod profile;
mod surface;
mod symbols;

pub use card::prolog_language_card;
pub use conformance::{run_prolog_conformance_case, run_prolog_matrix_row};
pub use exports::prolog_exports;
pub use generated_coverage::{PrologGeneratedCoverage, run_prolog_generated_coverage};
pub use matrix_row::{prolog_conformance_cases, prolog_matrix_row};
pub use profile::{install_prolog_profile, prolog_profile};
pub use surface::{PrologLib, install_prolog_lib};
pub use symbols::{
    prolog_conformance_case_symbol, prolog_conformance_test_symbol, prolog_logic_organ_symbol,
    prolog_lowering_symbol, prolog_profile_symbol, prolog_reader_symbol,
    prolog_surface_fidelity_symbol,
};

#[cfg(test)]
mod tests;