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

No prefix for https://cliopatria.swi-prolog.org/prolog/library/clp/.

Predicate	Value (sorted: default)
rdf:type	cpack:Prolog system file
cpack:Prolog module	"clpb"
cpack:base	"clpb"
cpack:exported predicate	"labeling/1" "op(300,fy,~)" "op(500,yfx,#)" "random_labeling/2" "sat/1" "sat_count/2" "taut/2" "weighted_maximum/3"
cpack:last modified	"2018-10-26T14:16:35+00:00"^^xsd:dateTime
cpack:name	"clpb.pl"
cpack:path	"library/clp/clpb.pl"
cpack:resolves	?:library(clpb)

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

The resource does not appear as an object

Context graph