/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
 current_chr_constraint(:Constraint) is nondet
True if Constraint is a constraint associated with the qualified module.