RDFLists

header_sane:  ?- use_module(library(semweb/rdf11),[except([{}/1])]).
true.

header_sane:  ?- rdf_retractall(_,_,_),rdf_assert_list([a,b,c], List),forall(rdf(X,Y,Z),writeln(spo(X,Y,Z))).
spo(_:genid26,http://www.w3.org/1999/02/22-rdf-syntax-ns#type,http://www.w3.org/1999/02/22-rdf-syntax-ns#List)
spo(_:genid26,http://www.w3.org/1999/02/22-rdf-syntax-ns#first,a)
spo(_:genid26,http://www.w3.org/1999/02/22-rdf-syntax-ns#rest,_:genid27)
spo(_:genid27,http://www.w3.org/1999/02/22-rdf-syntax-ns#type,http://www.w3.org/1999/02/22-rdf-syntax-ns#List)
spo(_:genid27,http://www.w3.org/1999/02/22-rdf-syntax-ns#first,b)
spo(_:genid27,http://www.w3.org/1999/02/22-rdf-syntax-ns#rest,_:genid28)
spo(_:genid28,http://www.w3.org/1999/02/22-rdf-syntax-ns#type,http://www.w3.org/1999/02/22-rdf-syntax-ns#List)
spo(_:genid28,http://www.w3.org/1999/02/22-rdf-syntax-ns#first,c)
spo(_:genid28,http://www.w3.org/1999/02/22-rdf-syntax-ns#rest,http://www.w3.org/1999/02/22-rdf-syntax-ns#nil)
List = '_:genid26'.

header_sane:  ?- rdf_assert_list([a], RDFList).
RDFList = '_:genid29'.

header_sane:  ?- rdf_retractall(_,_,_),rdf_assert_list([a], List),forall(rdf(X,Y,Z),writeln(spo(X,Y,Z))).
spo(_:genid30,http://www.w3.org/1999/02/22-rdf-syntax-ns#type,http://www.w3.org/1999/02/22-rdf-syntax-ns#List)
spo(_:genid30,http://www.w3.org/1999/02/22-rdf-syntax-ns#first,a)
spo(_:genid30,http://www.w3.org/1999/02/22-rdf-syntax-ns#rest,http://www.w3.org/1999/02/22-rdf-syntax-ns#nil)
List = '_:genid30'.

header_sane:  ?- rdf_retractall(_,_,_),rdf_assert_list([], List),forall(rdf(X,Y,Z),writeln(spo(X,Y,Z))).
List = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#nil'.

header_sane:  ?-