[ 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

Fail Conditions

Trigger is not a current trigger.

See Also

trigger / 1