[ Advanced Control and Suspensions | Reference Manual | Alphabetic Index ]
current_trigger(?Trigger)
Succeeds if Trigger is a currently defined symbolic trigger.
- Trigger
- An atom or variable.
Description
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
Fail Conditions
Trigger is not a current trigger.
See Also
trigger / 1