[ Advanced Control and Suspensions | Reference Manual | Alphabetic Index ]
Succeeds if Trigger is a currently defined symbolic trigger.
- An atom or variable.
Succeeds if Trigger is a currently defined symbolic trigger for
suspensions (see trigger/1). If Trigger is a variable, the current
triggers will be enumerated one by one via backtracking.
Modes and Determinism
- current_trigger(-) is nondet
- current_trigger(+) is semidet
Trigger is not a current trigger.
trigger / 1