Skip to main content

sim_lib_lang_prolog/
lib.rs

1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3//! Prolog surface profile for the SIM runtime.
4//!
5//! The kernel defines the expression and library contracts; this crate installs
6//! a Prolog-flavored logic policy and registers the `prolog/*` callable surface
7//! over the shared logic query engine.
8
9mod card;
10mod conformance;
11mod conformance_all_solutions;
12mod exports;
13mod generated_coverage;
14mod matrix_row;
15mod profile;
16mod surface;
17mod symbols;
18
19pub use card::prolog_language_card;
20pub use conformance::{run_prolog_conformance_case, run_prolog_matrix_row};
21pub use exports::prolog_exports;
22pub use generated_coverage::{PrologGeneratedCoverage, run_prolog_generated_coverage};
23pub use matrix_row::{prolog_conformance_cases, prolog_matrix_row};
24pub use profile::{install_prolog_profile, prolog_profile};
25pub use surface::{PrologLib, install_prolog_lib};
26pub use symbols::{
27    prolog_conformance_case_symbol, prolog_conformance_test_symbol, prolog_logic_organ_symbol,
28    prolog_lowering_symbol, prolog_profile_symbol, prolog_reader_symbol,
29    prolog_surface_fidelity_symbol,
30};
31
32#[cfg(test)]
33mod tests;