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

No prefix for https://cliopatria.swi-prolog.org/prolog/library/.
PredicateValue (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

Context graph