Function call_goal 

pub fn call_goal(m: &mut Machine, goal: Word) -> i32

Dispatch a goal term: control constructs and deterministic builtins go through control::try_builtin; everything else is a registry lookup into compiled code. Also used by control continuations (and later by call/1 and findall/3).