Local view for "https://cliopatria.swi-prolog.org/prolog/library/terms.pl"
Predicate | Value (sorted: default) |
---|---|
rdf:type | |
cpack:Prolog module | |
cpack:base | |
cpack:exported predicate |
"acyclic_term/1"
"cyclic_term/1"
"subsumes/2"
"subsumes_chk/2"
"term_factorized/3"
"term_hash/2"
"term_hash/4"
"term_size/2"
"term_subsumer/3"
"term_variables/2"
"term_variables/3"
|
cpack:last modified | |
cpack:name |
"terms.pl"
|
cpack:path |
"library/terms.pl"
|
cpack:resolves |
All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog
The resource does not appear as an object