[ Control | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

abort

The current computation is aborted and control is returned to the top level.

Description

Used to abort the current computation and return control to the top level. This predicate is also executed when Ctrl-C is typed (unless the interrupt handler for this event has been redefined).

abort/0 is implemented using exit_block(abort) which is caught by the top level loop. If there is an active block/3 call whose tag matches the atom abort, the control does not return to the top level loop but is caught by this block. If there is no top level loop (eg the -e option has been used), abort/0 abandons the current computation and restarts ECLiPSe .

Fail Conditions

None.

Resatisfiable

No.

Examples

   [eclipse]: abort.
   Aborting execution....
   [eclipse]:

See Also

kill / 2, block / 3, exit_block / 1