Function: prolog-view-predspec

prolog-view-predspec is an interactive and byte-compiled function defined in prolog.el.gz.

Signature

(prolog-view-predspec)

Documentation

Insert the predspec for the current predicate.

Key Bindings

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/prolog.el.gz
(defun prolog-view-predspec ()
  "Insert the predspec for the current predicate."
  (interactive)
  (let* ((pinfo (prolog-clause-info))
         (predname (nth 0 pinfo))
         (arity (nth 1 pinfo)))
    (message "%s/%d" predname arity)))