Skip to main content

prolog_profile

Function prolog_profile 

Source
pub fn prolog_profile() -> LanguageProfile
Expand 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.