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
pengine://7ab629c0-437d-49ae-bd7b-877d9a35b8b9
pengine://e4635369-a7ad-4aba-acc1-aff40f74fc6a
/usr/lib/swipl/library/clp/clpb.pl
All
Application
Manual
Name
Summary
Help
library
clp
clpfd.pl -- CLP(FD): Constraint Logic Programming over Finite Domains
clpb.pl -- CLP(B): Constraint Logic Programming over Boolean Variables
sat/1
taut/2
labeling/1
sat_count/2
random_labeling/2
weighted_maximum/3
taut
(+Expr, -T)
is
semidet
Tautology check. Succeeds with
T
= 0 if the Boolean expression
Expr
cannot be satisfied, and with
T
= 1 if
Expr
is always true with respect to the current constraints. Fails otherwise.