11.3.65 discontiguous/1   declaration, ISO

Synopsis

:- discontiguous +PredSpecs

Declares the clauses of the predicates defined by PredSpecs to be discontiguous in the source file (suppresses compile-time warnings).

Arguments

:PredSpecs

pred_spec_forest, must be ground

A predicate specification, or a list of such, or a sequence of such separated by commas.

Comments

discontiguous is not an ISO predefined prefix operator.

Exceptions

Exceptions in the context of loading code are printed as error messages.

instantiation_error

PredSpecs not ground.

type_error

PredSpecs not a valid pred_spec_forest.

domain_error

Some arity is an integer < 0.

representation_error

Some arity is an integer > 255.

context_error

Declaration appeared in a goal.

permission_error

Declaration appeared as a clause.

See Also

Discontiguous Declarations.