Skip to main content

exec_builtin

patch_prolog_core::builtins

Function exec_builtin 

Source 
pub fn exec_builtin(
    goal: &Term,
    subst: &mut Substitution,
    interner: &StringInterner,
) -> Result<BuiltinResult, String>
Expand description

Execute a built-in predicate.