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

Predicate	Value (sorted: default)
rdf:type	cpack:Prolog system file
cpack:Prolog module	"clpfd"
cpack:base	"clpfd"
cpack:exported predicate	"#/\ / 2" "#< / 2" "#<== / 2" "#<==> / 2" "#= / 2" "#=< / 2" "#==> / 2" "#> / 2" "#>= / 2" "#\ / 1" "#\ / 2" "#\/ / 2" "#\= / 2" "all_different/1" "all_distinct/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" "ins/2" "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" "transpose/2" "tuples_in/2" "zcompare/3"
cpack:last modified	"2018-10-26T14:16:35+00:00"^^xsd:dateTime
cpack:name	"clpfd.pl"
cpack:path	"library/clp/clpfd.pl"
cpack:public predicate	"clpfd:clpfd_equal/2" "clpfd:clpfd_geq/2"
cpack:resolves	?:library(clpfd)

The resource does not appear as an object

Context graph