Local view for "https://cliopatria.swi-prolog.org/prolog/library/ordsets.pl"
Predicate | Value (sorted: none) |
---|---|
rdf:type | |
cpack:path |
"library/ordsets.pl"
|
cpack:name |
"ordsets.pl"
|
cpack:base | |
cpack:resolves | |
cpack:last modified |
"2022-06-09T09:08:01+00:00"^^xsd:dateTime
|
cpack:Prolog module | |
cpack:exported predicate |
"is_ordset/1"
|
cpack:exported predicate |
"list_to_ord_set/2"
|
cpack:exported predicate |
"ord_add_element/3"
|
cpack:exported predicate |
"ord_del_element/3"
|
cpack:exported predicate |
"ord_selectchk/3"
|
cpack:exported predicate | |
cpack:exported predicate | |
cpack:exported predicate | |
cpack:exported predicate | |
cpack:exported predicate |
"ord_disjoint/2"
|
cpack:exported predicate | |
cpack:exported predicate |
"ord_union/2"
|
cpack:exported predicate | |
cpack:exported predicate |
"ord_union/4"
|
cpack:exported predicate | |
cpack:exported predicate |
"ord_empty/1"
|
cpack:exported predicate |
"ord_memberchk/2"
|
cpack:exported predicate |
"ord_symdiff/3"
|
cpack:exported predicate |
"ord_seteq/2"
|
cpack:exported predicate |
"ord_intersection/2"
|
All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog
The resource does not appear as an object