% (No) debug module. Defines a predicate debugging/1 which can be used to % wrap goals which should only be executed when debugging is enabled. % Importing this module disables debugging (the goals are *not* executed); % see module `debug' for an implementation which does call them (so you can % turn debugging on and off by switching which module you import). :- module(nodebug). :- export debugging/1. % Inline the (non-)debugging code where possible. :- inline(debugging/1, tr_debug/2). tr_debug(debugging(_Goal), true). % Default implementation in case inlining not possible. debugging(_Goal).