[ Advanced Control and Suspensions | Reference Manual | Alphabetic Index ]
make_suspension(+Goal, +Prio, -Susp, +Module)
Make Goal a suspended goal
- Goal
- A Prolog Goal.
- Prio
- A small integer.
- Susp
- A variable.
- Module
- An atom.
Description
This is equivalent to
make_suspension(Goal, Prio, Susp)@Module
which should be preferred.
Modes and Determinism
- make_suspension(+, +, -, +) is det
Exceptions
- (4) instantiation fault
- Goal is not instantiated.
- (4) instantiation fault
- Module is not instantiated.
- (5) type error
- Goal is not a callable term.
- (5) type error
- Susp is not a variable.
- (5) type error
- Prio is not an integer.
- (5) type error
- Module is not an atom.
- (6) out of range
- Prio is not a valid priority.
- (60) referring to an undefined procedure
- Goal refers to an undefined precedure.
See Also
make_suspension / 3