call/1

Synopsis

call(+*P)

Proves(executes) P.

Arguments

P callable [MOD]

Description

If P is instantiated to an atom or compound term, then the goal call(P) is executed exactly as if that term appeared textually in its place, except that any cut (!) occurring in P only cuts alternatives in the execution of P.

Exceptions

instantiation_error

P is not instantiated enough.

type_error

A module prefix is not an atom, or a goal is not a callable.

context_error

A cut occurred in the if-part of an if-then-else.

existence_error

An undefined predicate was called.