List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
/usr/lib/swipl/library/chr/chr_runtime.pl
All
Application
Manual
Name
Summary
Help
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.