pub fn prolog_profile() -> LanguageProfileExpand description
Describes the Prolog surface profile as standard-distribution data.
The profile uses Lisp-expression input for asserted clauses and goals, installs the logic eval policy, draws on the logic, sequence, and control organs, and reports level 1 surface fidelity for the current organ-backed builtin coverage.