prolog-read-predicate

prolog-read-predicate is a compiled Lisp function in `prolog.el'.

(prolog-read-predicate)

Read a PredSpec from the user.
Returned value is a string "FUNCTOR/ARITY".
Interaction supports completion.