pub fn install_prolog_lib(cx: &mut Cx) -> Result<()>Expand description
Installs the Prolog surface into cx and makes its logic policy active.
Repeated calls keep the installed database and reset the active eval policy
to the installed Prolog database, so direct expression evaluation and
prolog/* calls see the same asserted clauses.