• 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
    • SWISH Prolog shell
  • 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
 current_chr_constraint(:Constraint) is nondet
True if Constraint is a constraint associated with the qualified module.
ClioPatria (version V3.1.1-21-gb8003bb)