Miscellaneous Facilities

history

  Print last 50 command line goals.

bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-2floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphackbsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-3floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack

history +N

  Print last N command line goals. bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-4floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack

h

  Short for history/0.

N

Run the command line goal at position N in the history list. This may only be used as toplevel command.

new_constant(+A, +N)

    bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-2floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphackbsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-3floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack Sets the numeric symbolic constant A to the value N. The constant name is specified without a ``#'', e.g. ?- new_constant(my_constant, 5). A warning is printed if the value of a known constant is changed and the warning can be turned off with warning(warning_off). bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-4floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack

srand(+X)

  Set random number seed to the real number X.

rand(-X)

  Generate uniformly distributed random number 0 and 1 inclusive and bind it to X. The quality of the routine used is not guaranteed.

ztime

   Zero the CPU time counter.

ctime(-T)

   Binds T to the elapsed CPU time since the counter was last zeroed. T should have been uninstantiated.

bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-2floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphackbsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-3floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack

style_check(+A)

          Style checking warns about possible program errors. It is to be used with A being one of single_var, discontiguous, name_overload and all. A warning is given when the style check rule is violated. The option all turns on both the checks. The special option reset_all clears all previous pending warnings which may have accumulated if style checking was off and turns on full style checking. See Section 4.5 for details.

no_style_check(+A)

           The reverse of style_check/1 and turns off the corresponding options single_var, discontiguous, name_overload and all.

$clear_style_check

  Clears any pending old style check warnings that may occur when style checking is turned from off to on. Usually it is reasonable not to need to use this and this is more meant for special uses.

warning(+A)

            The behavior when an error occurs can be modified with warning/1. By default, when an error occurs a warning error message is printed and execution is aborted back to the top level. The various options for warning change this behavior. The options for A must be one of abort, continue, warning_on, warning_off, redefine_on and redefine_off. The options continue or abort control whether or not execution is aborted back to the top level on an error. The printing of warning messages is controlled by warning_on and warning_off, while redefine_on and redefine_off control whether or not redefinitions of predicates during a reconsult issue a warning. The option abort overrides warning_on and warning messages are displayed when abort is active. Otherwise the paired options here behave indepently. bsphackfloatpenalty -Mii floatpenalty-Miii parmoderrfloatpenalty@ nextcurrboxfreelist currbox-4floatpenalty@ fltovf currboxtempboxa tempboxa @floatesphack