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/clp/clpfd.pl
All
Application
Manual
Name
Summary
Help
library
clp
clpfd.pl -- CLP(FD): Constraint Logic Programming over Finite Domains
in/2
ins/2
indomain/1
label/1
labeling/2
all_different/1
all_distinct/1
sum/3
scalar_product/4
#>=/2
#=</2
#=/2
#\=/2
#>/2
#</2
#\/1
#<==>/2
#==>/2
#<==/2
#/\/2
#\//2
#\/2
lex_chain/1
tuples_in/2
serialized/2
element/3
global_cardinality/2
global_cardinality/3
circuit/1
cumulative/1
cumulative/2
disjoint2/1
automaton/3
automaton/8
transpose/2
zcompare/3
chain/2
fd_var/1
fd_inf/2
fd_sup/2
fd_size/2
fd_dom/2
clpb.pl -- CLP(B): Constraint Logic Programming over Boolean Variables
The arithmetic expressions X and Y evaluate to distinct integers. When reasoning over integers, replace
(=\=)/2
by
#\=/2
to obtain more general relations. See
declarative integer arithmetic
.