List extension packs
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/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/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/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
pengine://303e786a-7b7e-4273-a00f-465c4d74b8ff
pengine://4af17bba-c5b6-4938-bc29-c928c2cc083b
pengine://66dbe895-1518-4102-b280-7d41c5412f88
pengine://7859c056-09cf-49e3-845e-1ac2eadc29f8
pengine://845da23e-6420-481b-a21d-d4f559494e6b
pengine://8c46d013-bf84-451b-89e4-218477d6e802
pengine://afa47b6d-2851-4d9b-a8fe-20fc3f5038fc
/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
current_chr_constraint
(:Constraint)
is
nondet
True if
Constraint
is a constraint associated with the qualified module.