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: none)
rdf:type	cpack:Prolog system file
cpack:path	"library/clp/clpb.pl"
cpack:name	"clpb.pl"
cpack:base	"clpb"
cpack:last modified	"2018-10-26T14:16:35+00:00"^^xsd:dateTime
cpack:Prolog module	"clpb"
cpack:exported predicate	"op(300,fy,~)"
cpack:exported predicate	"op(500,yfx,#)"
cpack:exported predicate	"sat/1"
cpack:exported predicate	"taut/2"
cpack:exported predicate	"labeling/1"
cpack:exported predicate	"sat_count/2"
cpack:exported predicate	"weighted_maximum/3"
cpack:exported predicate	"random_labeling/2"
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