• 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

A.7 library(check): Consistency checking
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(check): Consistency checking
          • check/0
          • list_undefined/0
          • list_undefined/1
          • list_autoload/0
          • list_redefined/0
          • list_cross_module_calls/0
          • list_void_declarations/0
          • list_trivial_fails/0
          • list_trivial_fails/1
          • trivial_fail_goal/1
          • list_strings/0
          • list_strings/1
          • list_rationals/0
          • list_rationals/1
          • list_format_errors/0
          • list_format_errors/1
          • string_predicate/1
          • valid_string_goal/1
          • checker/2
    • Packages
dt class="multidef">[semidet,multifile]
ClioPatria (version V3.1.1-42-gd6a756b-DIRTY)