sim-lib-lang-prolog 0.1.0

Prolog surface profile for the SIM runtime.
Documentation

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.