• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

F.2 Library predicates
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Summary
        • Library predicates
          • library(aggregate)
          • library(ansi_term)
          • library(apply)
          • library(assoc)
          • library(broadcast)
          • library(charsio)
          • library(check)
          • library(clpb)
          • library(clpfd)
          • library(clpqr)
          • library(csv)
          • library(dcgbasics)
          • library(dcghighorder)
          • library(debug)
          • library(dicts)
          • library(error)
          • library(fastrw)
          • library(explain)
          • library(help)
          • library(gensym)
          • library(heaps)
          • library(increval)
          • library(intercept)
          • library(iostream)
          • library(listing)
          • library(lists)
          • library(main)
          • library(occurs)
          • library(option)
          • library(optparse)
          • library(ordsets)
          • library(persistency)
          • library(portraytext)
          • library(predicate_options)
          • library(prologdebug)
          • library(prologjiti)
          • library(prologpack)
          • library(prologxref)
          • library(pairs)
          • library(pio)
          • library(random)
          • library(rbtrees)
          • library(readutil)
          • library(record)
          • library(registry)
          • library(settings)
          • library(simplex)
          • library(statistics)
          • library(terms)
          • library(ugraphs)
          • library(url)
          • library(www_browser)
          • library(solution_sequences)
          • library(thread)
          • library(thread_pool)
          • library(varnumbers)
          • library(yall)
    • Packages
gth and each element of Compounds is a compound term whose arguments represent the values associated with the corresponding keys in Keys. dicts_to_same_keys/3DictsOut is a copy of DictsIn, where each dict contains all keys appearing in all dicts of DictsIn.

F.2.16 library(error)

current_encoding/1True if Name is the name of a supported encoding.
current_type/3True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds.
domain_error/2The argument is of the proper type, but has a value that is outside the supported values.
existence_error/2Culprit is of the correct type and correct domain, but there is no existing (external) resource of type ObjectType that is represented by it.
existence_error/3Culprit 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.
has_type/2True if Term satisfies Type.
instantiation_error/1An argument is under-instantiated.
is_of_type/2True if Term satisfies Type.
must_be/2True if Term satisfies the type constraints for Type.
permission_error/3It is not allowed to perform Operation on (whatever is represented by) Culprit that is of the given PermissionType (in fact, the ISO Standard is confusing and vague about these terms' meaning).
representation_error/1A representation error indicates a limitation of the implementation.
resource_error/1A goal cannot be completed due to lack of resources.
syntax

ClioPatria (version V3.1.1-42-gd6a756b-DIRTY)