[ 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