/usr/lib/swipl/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
 find_chr_constraint(-Constraint) is nondet
True when Constraint is a currently known constraint in any known CHR module.
deprecated
- current_chr_constraint/1 handles modules.