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

/usr/lib/swi-prolog/library/chr/chr_runtime.pl
AllApplicationManualNameSummaryHelp

  • library
    • chr
      • chr_translate.pl
      • chr_runtime.pl
        • find_chr_constraint/1
        • current_chr_constraint/1
        • chr module/1
      • pairlist.pl
      • a_star.pl
      • binomialheap.pl
      • find.pl
      • listmap.pl
      • clean_code.pl
      • builtins.pl
      • guard_entailment.pl
      • chr_compiler_errors.pl
      • chr_compiler_options.pl
      • chr_compiler_utility.pl
      • chr_hashtable_store.pl
      • chr_messages.pl
 chr module(?Module)
True when Module is a CHR module. The first clause deals with normal modules. The second with temporary modules, which are not allowed to generate clauses for chr:'$chr_module'/1.
ClioPatria (version V3.1.1-21-gb8003bb)