Local view for "https://cliopatria.swi-prolog.org/prolog/library/clp/clpfd.pl"

No prefix for https://cliopatria.swi-prolog.org/prolog/library/clp/.
PredicateValue (sorted: none)
rdf:type
cpack:path
"library/clp/clpfd.pl"
cpack:name
"clpfd.pl"
cpack:base
cpack:last modified
cpack:Prolog module
cpack:exported predicate
"op(760,yfx,#<==>)"
cpack:exported predicate
"op(750,xfy,#==>)"
cpack:exported predicate
"op(750,yfx,#<==)"
cpack:exported predicate
"op(740,yfx,#\/)"
cpack:exported predicate
"op(730,yfx,#\)"
cpack:exported predicate
"op(720,yfx,#/\)"
cpack:exported predicate
"op(710,fy,#\)"
cpack:exported predicate
"op(700,xfx,#>)"
cpack:exported predicate
"op(700,xfx,#<)"
cpack:exported predicate
"op(700,xfx,#>=)"
cpack:exported predicate
"op(700,xfx,#=<)"
cpack:exported predicate
"op(700,xfx,#=)"
cpack:exported predicate
"op(700,xfx,#\=)"
cpack:exported predicate
"op(700,xfx,in)"
cpack:exported predicate
"op(700,xfx,ins)"
cpack:exported predicate
"op(450,xfx,..)"
cpack:exported predicate
"#> / 2"
cpack:exported predicate
"#< / 2"
cpack:exported predicate
"#>= / 2"
cpack:exported predicate
"#=< / 2"
cpack:exported predicate
cpack:exported predicate
cpack:exported predicate
"#\ / 1"
cpack:exported predicate
"#<==> / 2"
cpack:exported predicate
"#==> / 2"
cpack:exported predicate
"#<== / 2"
cpack:exported predicate
"#\/ / 2"
cpack:exported predicate
"#\ / 2"
cpack:exported predicate
"#/\ / 2"
cpack:exported predicate
"in/2"
cpack:exported predicate
cpack:exported predicate
"all_different/1"
cpack:exported predicate
cpack:exported predicate
"sum/3"
cpack:exported predicate
"scalar_product/4"
cpack:exported predicate
"tuples_in/2"
cpack:exported predicate
"labeling/2"
cpack:exported predicate
"label/1"
cpack:exported predicate
"indomain/1"
cpack:exported predicate
"lex_chain/1"
cpack:exported predicate
"serialized/2"
cpack:exported predicate
"global_cardinality/2"
cpack:exported predicate
"global_cardinality/3"
cpack:exported predicate
"circuit/1"
cpack:exported predicate
"cumulative/1"
cpack:exported predicate
"cumulative/2"
cpack:exported predicate
"disjoint2/1"
cpack:exported predicate
"element/3"
cpack:exported predicate
"automaton/3"
cpack:exported predicate
"automaton/8"
cpack:exported predicate
cpack:exported predicate
"zcompare/3"
cpack:exported predicate
"chain/2"
cpack:exported predicate
"fd_var/1"
cpack:exported predicate
"fd_inf/2"
cpack:exported predicate
"fd_sup/2"
cpack:exported predicate
"fd_size/2"
cpack:exported predicate
"fd_dom/2"
cpack:public predicate
"clpfd:clpfd_equal/2"
cpack:public predicate
"clpfd:clpfd_geq/2"
cpack:resolves

All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog

The resource does not appear as an object

Context graph