Local view for "https://cliopatria.swi-prolog.org/prolog/library/occurs.pl"
Predicate | Value (sorted: none) |
---|---|
rdf:type | |
cpack:path |
"library/occurs.pl"
|
cpack:name |
"occurs.pl"
|
cpack:base | |
cpack:last modified | |
cpack:Prolog module | |
cpack:exported predicate |
"contains_term/2"
|
cpack:exported predicate |
"contains_var/2"
|
cpack:exported predicate |
"free_of_term/2"
|
cpack:exported predicate |
"free_of_var/2"
|
cpack:exported predicate |
"occurrences_of_term/3"
|
cpack:exported predicate |
"occurrences_of_var/3"
|
cpack:exported predicate | |
cpack:exported predicate |
"sub_var/2"
|
cpack:resolves |
All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog
The resource does not appear as an object