Crate sim_lib_lang_prolog 

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.

Structs

PrologGeneratedCoverage

Published generated expression coverage for the Prolog row.

PrologLib

The loadable Prolog surface organ.

Functions

install_prolog_lib

Installs the Prolog surface into cx and makes its logic policy active.

install_prolog_profile

Installs the Prolog profile into a ProfileRegistry.

prolog_conformance_case_symbol

Stable symbol identifying a Prolog matrix source case.

prolog_conformance_cases

Minimal source cases for the Prolog surface matrix row.

prolog_conformance_test_symbol

Stable symbol identifying the Prolog conformance test.

prolog_exports

Returns the Prolog surface export records as declared manifest metadata.

prolog_language_card

Builds the Prolog profile Card with browseable conformance fields.

prolog_logic_organ_symbol

Stable symbol identifying the logic organ used by the Prolog surface.

prolog_lowering_symbol

Stable symbol identifying the Prolog surface lowering path.

prolog_matrix_row

Builds the Prolog surface matrix row.

prolog_profile

Describes the Prolog surface profile as standard-distribution data.

prolog_profile_symbol

Stable symbol identifying the Prolog surface language profile.

prolog_reader_symbol

Stable symbol identifying the expression reader used by this surface.

prolog_surface_fidelity_symbol

Stable symbol for the Prolog surface fidelity badge.

run_prolog_conformance_case

Runs one Prolog source conformance case through the installed Prolog surface.

run_prolog_generated_coverage

Runs the Prolog row through the shared generated expression conformance path.

run_prolog_matrix_row

Runs the Prolog matrix row and publishes claim-backed cells.