prolog-insert-next-clause

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


(prolog-insert-next-clause)

Insert newline and the name of the current clause.