prolog-insert-predspec

prolog-insert-predspec is an interactive compiled Lisp function in `prolog.el'.


(prolog-insert-predspec)

Insert the predspec for the current predicate.