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