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

No prefix for https://cliopatria.swi-prolog.org/prolog/library/.
PredicateValue (sorted: none)
rdf:type
cpack:path
"library/terms.pl"
cpack:name
"terms.pl"
cpack:base
cpack:last modified
cpack:Prolog module
cpack:exported predicate
"term_hash/2"
cpack:exported predicate
"term_hash/4"
cpack:exported predicate
"term_size/2"
cpack:exported predicate
"term_variables/2"
cpack:exported predicate
"term_variables/3"
cpack:exported predicate
cpack:exported predicate
"subsumes/2"
cpack:exported predicate
"subsumes_chk/2"
cpack:exported predicate
"cyclic_term/1"
cpack:exported predicate
"acyclic_term/1"
cpack:exported predicate
"term_subsumer/3"
cpack:exported predicate
"term_factorized/3"
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