prolog-find-term

prolog-find-term is a compiled Lisp function in `prolog.el'.

(prolog-find-term FUNCTOR ARITY &optional PREFIX)

Go to the position at the start of the next occurrence of a term.
The term is specified with FUNCTOR and ARITY. The optional argument
PREFIX is the prefix of the search regexp.