ctrlcclean (library)
Usage and interface
- Library usage:
:- use_module(library(ctrlcclean)). - Exports:
- Predicates:
ctrlc_clean/1, delete_on_ctrlc/2, ctrlcclean/0.
- Predicates:
- Imports:
- System library modules:
system. - Packages:
prelude, nonpure, assertions.
- System library modules:
Documentation on exports
PREDICATE
No further documentation available for this predicate.
Meta-predicate with arguments: ctrlc_clean(goal).
