existence_error/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(error): Error generating support
- Packages

Availability::- use_module(library(error)).(can be autoloaded)

existence_error(+ObjectType, +Culprit, +Set)

Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it in the provided set. The thrown exception term carries a formal term structured as follows: existence_error(ObjectType, Culprit, Set)

Compatibility: This error is outside the ISO Standard.