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

No prefix for https://cliopatria.swi-prolog.org/prolog/library/.

Predicate	Value (sorted: none)
rdf:type	cpack:Prolog system file
cpack:path	"library/occurs.pl"
cpack:name	"occurs.pl"
cpack:base	"occurs"
cpack:last modified	"2017-01-06T09:35:09+00:00"^^xsd:dateTime
cpack:Prolog module	"occurs"
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	"sub_term/2"
cpack:exported predicate	"sub_var/2"
cpack:resolves	?:library(occurs)

All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog

The resource does not appear as an object

Context graph