pub unsafe fn get_atom<F, R>(term: &Term<'_>, func: F) -> PrologResult<R>where F: Fn(Option<&Atom>) -> R,
Get an atom out of a term.
This is unsafe because we don’t check if the term is part of the active engine.