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: default)
rdf:type
cpack:base
cpack:exported predicate
"#/\ / 2"
"#< / 2"
"#<== / 2"
"#<==> / 2"
"#=< / 2"
"#==> / 2"
"#> / 2"
"#>= / 2"
"#\ / 1"
"#\ / 2"
"#\/ / 2"
"all_different/1"
"automaton/3"
"automaton/8"
"chain/2"
"circuit/1"
"cumulative/1"
"cumulative/2"
"disjoint2/1"
"element/3"
"fd_dom/2"
"fd_inf/2"
"fd_size/2"
"fd_sup/2"
"fd_var/1"
"global_cardinality/2"
"global_cardinality/3"
"in/2"
"indomain/1"
"label/1"
"labeling/2"
"lex_chain/1"
"op(450,xfx,..)"
"op(700,xfx,#<)"
"op(700,xfx,#=)"
"op(700,xfx,#=<)"
"op(700,xfx,#>)"
"op(700,xfx,#>=)"
"op(700,xfx,#\=)"
"op(700,xfx,in)"
"op(700,xfx,ins)"
"op(710,fy,#\)"
"op(720,yfx,#/\)"
"op(730,yfx,#\)"
"op(740,yfx,#\/)"
"op(750,xfy,#==>)"
"op(750,yfx,#<==)"
"op(760,yfx,#<==>)"
"scalar_product/4"
"serialized/2"
"sum/3"
"tuples_in/2"
"zcompare/3"
cpack:last modified
cpack:name
"clpfd.pl"
cpack:path
"library/clp/clpfd.pl"
cpack:Prolog module
cpack:public predicate
"clpfd:clpfd_equal/2"
"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