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.
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.