prolog-edit-menu-runtime
prolog-edit-menu-runtime
is a variable defined in `
prolog.el
'.
Its value is
menu-function-338
Documentation:
Runtime Prolog commands available from the editing buffer