Availability:
:- use_module(library(semweb/rdf11_containers)).
rdf(Container, P, Elem)
is true and P is a
container membership property.Availability:
:- use_module(library(semweb/rdfs)).
rdf:List
or rdfs:Container
.