prolog-smie-backward-token
prolog-smie-backward-token
is a compiled Lisp function in `
prolog.el
'. (prolog-smie-backward-token) Not documented.