A.16 library(error): Error generating support
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(error): Error generating support
          • type_error/2
          • domain_error/2
          • existence_error/2
          • existence_error/3
          • permission_error/3
          • instantiation_error/1
          • uninstantiation_error/1
          • representation_error/1
          • syntax_error/1
          • resource_error/1
          • must_be/2
          • is_of_type/2
          • has_type/2
          • current_encoding/1
          • current_type/3
    • Packages
Availability::- use_module(library(error)).(can be autoloaded)
Sourcerepresentation_error(+Flag)
A representation error indicates a limitation of the implementation. SWI-Prolog has no such limits that are not covered by other errors, but an example of a representation error in another Prolog implementation could be an attempt to create a term with an arity higher than supported by the system.