ON THIS PAGE
ctrlcclean (library)
Usage and interface
- Library usage:
:- use_module(library(ctrlcclean)). - Exports:
- Predicates:
ctrlc_clean/1, delete_on_ctrlc/2, ctrlcclean/0.
- Predicates:
Documentation on exports
PREDICATEctrlc_clean/1
No further documentation available for this predicate.
Meta-predicate with arguments: ctrlc_clean(goal).
PREDICATEdelete_on_ctrlc/2
No further documentation available for this predicate.
PREDICATEctrlcclean/0
No further documentation available for this predicate.