1/*  Part of SWI-Prolog
    2
    3    Author:        Jan Wielemaker
    4    E-mail:        J.Wielemaker@vu.nl
    5    WWW:           http://www.swi-prolog.org
    6    Copyright (c)  2010-2020, University of Amsterdam
    7                              CWI, Amsterdam
    8    All rights reserved.
    9
   10    Redistribution and use in source and binary forms, with or without
   11    modification, are permitted provided that the following conditions
   12    are met:
   13
   14    1. Redistributions of source code must retain the above copyright
   15       notice, this list of conditions and the following disclaimer.
   16
   17    2. Redistributions in binary form must reproduce the above copyright
   18       notice, this list of conditions and the following disclaimer in
   19       the documentation and/or other materials provided with the
   20       distribution.
   21
   22    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
   23    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
   24    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
   25    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
   26    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
   27    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
   28    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
   29    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
   30    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   31    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
   32    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
   33    POSSIBILITY OF SUCH DAMAGE.
   34*/
   35
   36:- module(rdf_write,
   37          [ rdf_write_xml/2             % +Stream, +Triples
   38          ]).   39:- autoload(library(assoc),
   40	    [empty_assoc/1,put_assoc/4,assoc_to_keys/2,get_assoc/3]).   41:- use_module(library(debug),[assertion/1]).   42:- autoload(library(lists),[member/2,append/3,select/3]).   43:- autoload(library(sgml),
   44	    [xml_quote_attribute/3, xml_name/1, xml_quote_cdata/3, xml_is_dom/1]).   45:- autoload(library(sgml_write),[xml_write/3]).   46:- use_module(library(semweb/rdf_prefixes),
   47              [rdf_global_id/2, rdf_register_ns/2, op(_,_,_)]).   48:- if(exists_source(library(semweb/rdf_db))).   49:- autoload(library(semweb/rdf_db),
   50	    [rdf_is_bnode/1, rdf_equal/2]).   51:- else.   52:- rdf_meta
   53    rdf_equal(o,o).   54
   55rdf_equal(X,X).
   56rdf_is_bnode(Node) :-
   57    atom(Node),
   58    sub_atom(Node, 0, _, _, '_:').
   59
   60lang_equal(X, Y) :-
   61    downcase_atom(X, L),
   62    downcase_atom(Y, L).
   63
   64
   65:- endif.   66
   67
   68/** <module> Write RDF/XML from a list of triples
   69
   70This module writes an RDF/XML document  from   a  list of triples of the
   71format rdf(Subject, Predicate, Object).  It   is  primarily intended for
   72communicating computed RDF model fragments   to  external programs using
   73RDF/XML.
   74
   75When used from the HTTP library, use the following code:
   76
   77==
   78reply_graph(RDF) :-
   79        format('Content-type: application/rdf+xml; charset=UTF-8~n~n'),
   80        rdf_write_xml(current_output, RDF).
   81==
   82
   83@author Jan Wielemaker
   84@see    library(semweb/rdf_db) offers saving a named graph directly from
   85        the RDF database.
   86*/
   87
   88
   89                 /*******************************
   90                 *           WRITE RDFXML       *
   91                 *******************************/
   92
   93%!  rdf_write_xml(+Out:stream, +Triples:list(rdf(S,P,O))) is det.
   94%
   95%   Write an RDF/XML serialization of Triples to Out.
   96
   97rdf_write_xml(Out, Triples) :-
   98    sort(Triples, Unique),
   99    rdf_write_header(Out, Unique),
  100    node_id_map(Unique, AnonIDs),
  101    rdf_write_triples(Unique, AnonIDs, Out),
  102    rdf_write_footer(Out).
  103
  104
  105                 /*******************************
  106                 *        HEADER/FOOTER         *
  107                 *******************************/
  108
  109%!  rdf_write_header(+Out, +Triples)
  110%
  111%   Save XML document header, doctype and open the RDF environment.
  112%   This predicate also sets up the namespace notation.
  113
  114rdf_write_header(Out, Triples) :-
  115    xml_encoding(Out, Enc, Encoding),
  116    format(Out, '<?xml version=\'1.0\' encoding=\'~w\'?>~n', [Encoding]),
  117    format(Out, '<!DOCTYPE rdf:RDF [', []),
  118    used_namespaces(Triples, NSList),
  119    (   member(Id, NSList),
  120        ns(Id, NS),
  121        xml_quote_attribute(NS, NSText0, Enc),
  122        xml_escape_parameter_entity(NSText0, NSText),
  123        format(Out, '~N    <!ENTITY ~w \'~w\'>', [Id, NSText]),
  124        fail
  125    ;   true
  126    ),
  127    format(Out, '~N]>~n~n', []),
  128    format(Out, '<rdf:RDF', []),
  129    (   member(Id, NSList),
  130        format(Out, '~N    xmlns:~w="&~w;"~n', [Id, Id]),
  131        fail
  132    ;   true
  133    ),
  134    format(Out, '>~n', []).
  135
  136
  137xml_encoding(Out, Enc, Encoding) :-
  138    stream_property(Out, encoding(Enc)),
  139    (   xml_encoding_name(Enc, Encoding)
  140    ->  true
  141    ;   throw(error(domain_error(rdf_encoding, Enc), _))
  142    ).
  143
  144xml_encoding_name(ascii,       'US-ASCII').
  145xml_encoding_name(iso_latin_1, 'ISO-8859-1').
  146xml_encoding_name(utf8,        'UTF-8').
  147
  148%!  xml_escape_parameter_entity(+In, -Out) is det.
  149%
  150%   Escape % as &#37; for entity declarations.
  151
  152xml_escape_parameter_entity(In, Out) :-
  153    sub_atom(In, _, _, _, '%'),
  154    !,
  155    atom_codes(In, Codes),
  156    phrase(escape_parent(Codes), OutCodes),
  157    atom_codes(Out, OutCodes).
  158xml_escape_parameter_entity(In, In).
  159
  160escape_parent([]) --> [].
  161escape_parent([H|T]) -->
  162    (   { H == 37 }
  163    ->  "&#37;"
  164    ;   [H]
  165    ),
  166    escape_parent(T).
  167
  168%!  used_namespaces(+Triples:list(rdf(S,P,O)), -List:atom) is det.
  169%
  170%   Return the list of namespace abbreviations used in a set of
  171%   triples.
  172
  173used_namespaces(Triples, NSList) :-
  174    decl_used_predicate_ns(Triples),
  175    resources(Triples, Resources),
  176    empty_assoc(A0),
  177    put_assoc(rdf, A0, *, A1),      % needed for rdf:RDF
  178    res_used_namespaces(Resources, _NoNS, A1, A),
  179    assoc_to_keys(A, NSList).
  180
  181
  182res_used_namespaces([], [], A, A).
  183res_used_namespaces([Resource|T], NoNS, A0, A) :-
  184    ns(NS, Full),
  185    Full \== '',
  186    atom_concat(Full, Local, Resource),
  187    xml_name(Local),
  188    !,
  189    put_assoc(NS, A0, *, A1),
  190    res_used_namespaces(T, NoNS, A1, A).
  191res_used_namespaces([R|T0], [R|T], A0, A) :-
  192    res_used_namespaces(T0, T, A0, A).
  193
  194%!  resources(+Triples:list(rdf(S,P,O)), -Resources:list(atom)) is det.
  195%
  196%   Resources is the set of resources referenced in Triples.
  197
  198resources(Triples, Resources) :-
  199    phrase(resources(Triples), Raw),
  200    sort(Raw, Resources).
  201
  202resources([]) -->
  203    [].
  204resources([rdf(S,P,O)|T]) -->
  205    [S,P],
  206    object_resources(O),
  207    resources(T).
  208
  209object_resources(Atom) -->
  210    { atom(Atom) },
  211    !,
  212    [ Atom ].
  213object_resources(literal(type(Type, _))) -->
  214    !,
  215    [ Type ].
  216object_resources(_) -->
  217    [].
  218
  219%!  decl_used_predicate_ns(+Triples:list(rdf(S,P,O)))
  220%
  221%   For every URL used as a predicate   we *MUST* define a namespace
  222%   as we cannot use names holding /, :, etc. as XML identifiers.
  223
  224:- thread_local
  225    predicate_ns/2.  226
  227decl_used_predicate_ns(Triples) :-
  228    retractall(predicate_ns(_,_)),
  229    (   member(rdf(_,P,_), Triples),
  230        decl_predicate_ns(P),
  231        fail
  232    ;   true
  233    ).
  234
  235decl_predicate_ns(Pred) :-
  236    predicate_ns(Pred, _),
  237    !.
  238decl_predicate_ns(Pred) :-
  239    rdf_global_id(NS:Local, Pred),
  240    xml_name(Local),
  241    !,
  242    assert(predicate_ns(Pred, NS)).
  243decl_predicate_ns(Pred) :-
  244    is_bag_li_predicate(Pred),
  245    !.
  246decl_predicate_ns(Pred) :-
  247    atom_codes(Pred, Codes),
  248    append(NSCodes, LocalCodes, Codes),
  249    xml_codes(LocalCodes),
  250    !,
  251    (   NSCodes \== []
  252    ->  atom_codes(NS, NSCodes),
  253        (   ns(Id, NS)
  254        ->  assert(predicate_ns(Pred, Id))
  255        ;   between(1, infinite, N),
  256            atom_concat(ns, N, Id),
  257            \+ ns(Id, _)
  258        ->  rdf_register_ns(Id, NS),
  259            print_message(informational,
  260                          rdf(using_namespace(Id, NS)))
  261        ),
  262        assert(predicate_ns(Pred, Id))
  263    ;   assert(predicate_ns(Pred, -)) % no namespace used
  264    ).
  265
  266xml_codes([]).
  267xml_codes([H|T]) :-
  268    xml_code(H),
  269    xml_codes(T).
  270
  271xml_code(X) :-
  272    code_type(X, csym),
  273    !.
  274xml_code(0'-).                          % '
  275
  276
  277rdf_write_footer(Out) :-
  278    format(Out, '</rdf:RDF>~n', []).
  279
  280
  281                 /*******************************
  282                 *          ANONYMOUS IDS       *
  283                 *******************************/
  284
  285%!  node_id_map(+Triples, -IdMap) is det.
  286%
  287%   Create an assoc Resource -> NodeID for those anonymous resources
  288%   in Triples that need  a  NodeID.   This  implies  all  anonymous
  289%   resources that are used multiple times as object value.
  290
  291node_id_map(Triples, IdMap) :-
  292    anonymous_objects(Triples, Objs),
  293    msort(Objs, Sorted),
  294    empty_assoc(IdMap0),
  295    nodeid_map(Sorted, 0, IdMap0, IdMap).
  296
  297anonymous_objects([], []).
  298anonymous_objects([rdf(_,_,O)|T0], Anon) :-
  299    rdf_is_bnode(O),
  300    !,
  301    Anon = [O|T],
  302    anonymous_objects(T0, T).
  303anonymous_objects([_|T0], T) :-
  304    anonymous_objects(T0, T).
  305
  306nodeid_map([], _, Map, Map).
  307nodeid_map([H,H|T0], Id, Map0, Map) :-
  308    !,
  309    remove_leading(H, T0, T),
  310    atom_concat(bn, Id, NodeId),
  311    put_assoc(H, Map0, NodeId, Map1),
  312    Id2 is Id + 1,
  313    nodeid_map(T, Id2, Map1, Map).
  314nodeid_map([_|T], Id, Map0, Map) :-
  315    nodeid_map(T, Id, Map0, Map).
  316
  317remove_leading(H, [H|T0], T) :-
  318    !,
  319    remove_leading(H, T0, T).
  320remove_leading(_, T, T).
  321
  322
  323                 /*******************************
  324                 *            TRIPLES           *
  325                 *******************************/
  326
  327rdf_write_triples(Triples, NodeIDs, Out) :-
  328    rdf_write_triples(Triples, NodeIDs, Out, [], Anon),
  329    rdf_write_anon(Anon, NodeIDs, Out, Anon).
  330
  331rdf_write_triples([], _, _, Anon, Anon).
  332rdf_write_triples([H|T0], NodeIDs, Out, Anon0, Anon) :-
  333    arg(1, H, S),
  334    subject_triples(S, [H|T0], T, OnSubject),
  335    (   rdf_is_bnode(S)
  336    ->  rdf_write_triples(T, NodeIDs, Out, [anon(S,_,OnSubject)|Anon0], Anon)
  337    ;   rdf_write_subject(OnSubject, S, NodeIDs, Out, Anon0),
  338        rdf_write_triples(T, NodeIDs, Out, Anon0, Anon)
  339    ).
  340
  341subject_triples(S, [H|T0], T, [H|M]) :-
  342    arg(1, H, S),
  343    !,
  344    subject_triples(S, T0, T, M).
  345subject_triples(_, T, T, []).
  346
  347
  348rdf_write_anon([], _, _, _).
  349rdf_write_anon([anon(Subject, Done, Triples)|T], NodeIDs, Out, Anon) :-
  350    Done \== true,
  351    !,
  352    Done = true,
  353    rdf_write_subject(Triples, Subject, NodeIDs, Out, Anon),
  354    rdf_write_anon(T, NodeIDs, Out, Anon).
  355rdf_write_anon([_|T], NodeIDs, Out, Anon) :-
  356    rdf_write_anon(T, NodeIDs, Out, Anon).
  357
  358rdf_write_subject(Triples, Subject, NodeIDs, Out, Anon) :-
  359    rdf_write_subject(Triples, Out, Subject, NodeIDs, -, 0, Anon),
  360    !,
  361    format(Out, '~n', []).
  362rdf_write_subject(_, Subject, _, _, _) :-
  363    throw(error(rdf_save_failed(Subject), 'Internal error')).
  364
  365rdf_write_subject(Triples, Out, Subject, NodeIDs, DefNS, Indent, Anon) :-
  366    rdf_equal(rdf:type, RdfType),
  367    select(rdf(_, RdfType,Type), Triples, Triples1),
  368    \+ rdf_is_bnode(Type),
  369    rdf_id(Type, DefNS, TypeId),
  370    xml_is_name(TypeId),
  371    !,
  372    format(Out, '~*|<', [Indent]),
  373    rdf_write_id(Out, TypeId),
  374    save_about(Out, Subject, NodeIDs),
  375    save_attributes(Triples1, DefNS, Out, NodeIDs, TypeId, Indent, Anon).
  376rdf_write_subject(Triples, Out, Subject, NodeIDs, _DefNS, Indent, Anon) :-
  377    format(Out, '~*|<rdf:Description', [Indent]),
  378    save_about(Out, Subject, NodeIDs),
  379    save_attributes(Triples, rdf, Out, NodeIDs, rdf:'Description', Indent, Anon).
  380
  381xml_is_name(_NS:Atom) :-
  382    !,
  383    xml_name(Atom).
  384xml_is_name(Atom) :-
  385    xml_name(Atom).
  386
  387save_about(Out, Subject, NodeIDs) :-
  388    rdf_is_bnode(Subject),
  389    !,
  390    (   get_assoc(Subject, NodeIDs, NodeID)
  391    ->  format(Out,' rdf:nodeID="~w"', [NodeID])
  392    ;   true
  393    ).
  394save_about(Out, Subject, _) :-
  395    stream_property(Out, encoding(Encoding)),
  396    rdf_value(Subject, QSubject, Encoding),
  397    format(Out, ' rdf:about="~w"', [QSubject]),
  398    !.
  399save_about(_, _, _) :-
  400    assertion(fail).
  401
  402%!  save_attributes(+List, +DefNS, +Out, +NodeIDs, Element, +Indent, +Anon)
  403%
  404%   Save the attributes.  Short literal attributes are saved in the
  405%   tag.  Others as the content of the description element.  The
  406%   begin tag has already been filled.
  407
  408save_attributes(Triples, DefNS, Out, NodeIDs, Element, Indent, Anon) :-
  409    split_attributes(Triples, InTag, InBody),
  410    SubIndent is Indent + 2,
  411    save_attributes2(InTag, DefNS, tag, Out, NodeIDs, SubIndent, Anon),
  412    (   InBody == []
  413    ->  format(Out, '/>~n', [])
  414    ;   format(Out, '>~n', []),
  415        save_attributes2(InBody, _, body, Out, NodeIDs, SubIndent, Anon),
  416        format(Out, '~N~*|</~w>~n', [Indent, Element])
  417    ).
  418
  419%       split_attributes(+Triples, -HeadAttrs, -BodyAttr)
  420%
  421%       Split attribute (Name=Value) list into attributes for the head
  422%       and body. Attributes can only be in the head if they are literal
  423%       and appear only one time in the attribute list.
  424
  425split_attributes(Triples, HeadAttr, BodyAttr) :-
  426    duplicate_attributes(Triples, Dupls, Singles),
  427    simple_literal_attributes(Singles, HeadAttr, Rest),
  428    append(Dupls, Rest, BodyAttr).
  429
  430%       duplicate_attributes(+Attrs, -Duplicates, -Singles)
  431%
  432%       Extract attributes that appear more than onces as we cannot
  433%       dublicate an attribute in the head according to the XML rules.
  434
  435duplicate_attributes([], [], []).
  436duplicate_attributes([H|T], Dupls, Singles) :-
  437    arg(2, H, Name),
  438    named_attributes(Name, T, D, R),
  439    D \== [],
  440    append([H|D], Dupls2, Dupls),
  441    !,
  442    duplicate_attributes(R, Dupls2, Singles).
  443duplicate_attributes([H|T], Dupls2, [H|Singles]) :-
  444    duplicate_attributes(T, Dupls2, Singles).
  445
  446named_attributes(_, [], [], []) :- !.
  447named_attributes(Name, [H|T], D, R) :-
  448    (   arg(2, H, Name)
  449    ->  D = [H|DT],
  450        named_attributes(Name, T, DT, R)
  451    ;   R = [H|RT],
  452        named_attributes(Name, T, D, RT)
  453    ).
  454
  455%       simple_literal_attributes(+Attributes, -Inline, -Body)
  456%
  457%       Split attributes for (literal) attributes to be used in the
  458%       begin-tag and ones that have to go into the body of the description.
  459
  460simple_literal_attributes([], [], []).
  461simple_literal_attributes([H|TA], [H|TI], B) :-
  462    in_tag_attribute(H),
  463    !,
  464    simple_literal_attributes(TA, TI, B).
  465simple_literal_attributes([H|TA], I, [H|TB]) :-
  466    simple_literal_attributes(TA, I, TB).
  467
  468in_tag_attribute(rdf(_,P,literal(Text))) :-
  469    atom(Text),                     % may not have lang qualifier
  470    atom_length(Text, Len),
  471    Len < 60,
  472    \+ is_bag_li_predicate(P).
  473
  474
  475%       save_attributes(+List, +DefNS, +TagOrBody, +Out, +NodeIDs, +Indent, +Anon)
  476%
  477%       Save a list of attributes.
  478
  479save_attributes2([], _, _, _, _, _, _).
  480save_attributes2([H|T], DefNS, Where, Out, NodeIDs, Indent, Anon) :-
  481    save_attribute(Where, H, DefNS, Out, NodeIDs, Indent, Anon),
  482    save_attributes2(T, DefNS, Where, Out, NodeIDs, Indent, Anon).
  483
  484%!  save_attribute(+Where, +Triple, +DefNS, +Out, +NodeIDs, +Indent, +Anon)
  485
  486save_attribute(tag, rdf(_, Name, literal(Value)), DefNS, Out, _, Indent, _Anon) :-
  487    AttIndent is Indent + 2,
  488    rdf_att_id(Name, DefNS, NameText),
  489    stream_property(Out, encoding(Encoding)),
  490    xml_quote_attribute(Value, QVal, Encoding),
  491    format(Out, '~N~*|', [AttIndent]),
  492    rdf_write_id(Out, NameText),
  493    format(Out, '="~w"', [QVal]).
  494save_attribute(body, rdf(_,Name,literal(Literal)), DefNS, Out, _, Indent, _) :-
  495    !,
  496    rdf_p_id(Name, DefNS, NameText),
  497    format(Out, '~N~*|<', [Indent]),
  498    rdf_write_id(Out, NameText),
  499    (   Literal = lang(Lang, Value)
  500    ->  rdf_id(Lang, DefNS, LangText),
  501        format(Out, ' xml:lang="~w">', [LangText])
  502    ;   Literal = type(Type, Value)
  503    ->  (   rdf_equal(Type, rdf:'XMLLiteral')
  504        ->  write(Out, ' rdf:parseType="Literal">'),
  505            Value = Literal
  506        ;   stream_property(Out, encoding(Encoding)),
  507            rdf_value(Type, QVal, Encoding),
  508            format(Out, ' rdf:datatype="~w">', [QVal])
  509        )
  510    ;   atomic(Literal)
  511    ->  write(Out, '>'),
  512        Value = Literal
  513    ;   write(Out, ' rdf:parseType="Literal">'),
  514        Value = Literal
  515    ),
  516    save_attribute_value(Value, Out, Indent),
  517    write(Out, '</'), rdf_write_id(Out, NameText), write(Out, '>').
  518save_attribute(body, rdf(_, Name, Value), DefNS, Out, NodeIDs, Indent, Anon) :-
  519    rdf_is_bnode(Value),
  520    !,
  521    (   memberchk(anon(Value, Done, ValueTriples), Anon)
  522    ->  true
  523    ;   ValueTriples = []
  524    ),
  525    rdf_p_id(Name, DefNS, NameText),
  526    format(Out, '~N~*|<', [Indent]),
  527    rdf_write_id(Out, NameText),
  528    (   var(Done)
  529    ->  Done = true,
  530        SubIndent is Indent + 2,
  531        (   rdf_equal(RdfType, rdf:type),
  532            rdf_equal(ListClass, rdf:'List'),
  533            memberchk(rdf(_, RdfType, ListClass), ValueTriples)
  534        ->  format(Out, ' rdf:parseType="Collection">~n', []),
  535            rdf_save_list(ValueTriples, Out, Value, NodeIDs, DefNS, SubIndent, Anon)
  536        ;   format(Out, '>~n', []),
  537            rdf_write_subject(ValueTriples, Out, Value, NodeIDs, DefNS, SubIndent, Anon)
  538        ),
  539        format(Out, '~N~*|</', [Indent]),
  540        rdf_write_id(Out, NameText),
  541        format(Out, '>~n', [])
  542    ;   get_assoc(Value, NodeIDs, NodeID)
  543    ->  format(Out, ' rdf:nodeID="~w"/>', [NodeID])
  544    ;   assertion(fail)
  545    ).
  546save_attribute(body, rdf(_, Name, Value), DefNS, Out, _, Indent, _Anon) :-
  547    stream_property(Out, encoding(Encoding)),
  548    rdf_value(Value, QVal, Encoding),
  549    rdf_p_id(Name, DefNS, NameText),
  550    format(Out, '~N~*|<', [Indent]),
  551    rdf_write_id(Out, NameText),
  552    format(Out, ' rdf:resource="~w"/>', [QVal]).
  553
  554save_attribute_value(Value, Out, _) :-  % strings
  555    atom(Value),
  556    !,
  557    stream_property(Out, encoding(Encoding)),
  558    xml_quote_cdata(Value, QVal, Encoding),
  559    write(Out, QVal).
  560save_attribute_value(Value, Out, _) :-  % numbers
  561    number(Value),
  562    !,
  563    writeq(Out, Value).             % quoted: preserve floats
  564save_attribute_value(Value, Out, Indent) :-
  565    xml_is_dom(Value),
  566    !,
  567    XMLIndent is Indent+2,
  568    xml_write(Out, Value,
  569              [ header(false),
  570                indent(XMLIndent)
  571              ]).
  572save_attribute_value(Value, _Out, _) :-
  573    throw(error(save_attribute_value(Value), _)).
  574
  575rdf_save_list(_, _, List, _, _, _, _) :-
  576    rdf_equal(List, rdf:nil),
  577    !.
  578rdf_save_list(ListTriples, Out, List, NodeIDs, DefNS, Indent, Anon) :-
  579    rdf_equal(RdfFirst, rdf:first),
  580    memberchk(rdf(List, RdfFirst, First), ListTriples),
  581    (   rdf_is_bnode(First),
  582        memberchk(anon(First, true, FirstTriples), Anon)
  583    ->  nl(Out),
  584        rdf_write_subject(FirstTriples, Out, First, NodeIDs, DefNS, Indent, Anon)
  585    ;   stream_property(Out, encoding(Encoding)),
  586        rdf_value(First, QVal, Encoding),
  587        format(Out, '~N~*|<rdf:Description about="~w"/>',
  588               [Indent, QVal])
  589    ),
  590    (   rdf_equal(RdfRest, rdf:rest),
  591        memberchk(rdf(List, RdfRest, List2), ListTriples),
  592        \+ rdf_equal(List2, rdf:nil),
  593        memberchk(anon(List2, true, List2Triples), Anon)
  594    ->  rdf_save_list(List2Triples, Out, List2, NodeIDs, DefNS, Indent, Anon)
  595    ;   true
  596    ).
  597
  598%!  rdf_p_id(+Resource, +DefNS, -NSLocal)
  599%
  600%   As rdf_id/3 for predicate names.  Maps _:<N> to rdf:li.
  601%
  602%   @tbd    Ensure we are talking about an rdf:Bag
  603
  604rdf_p_id(LI, _, 'rdf:li') :-
  605    is_bag_li_predicate(LI),
  606    !.
  607rdf_p_id(Resource, DefNS, NSLocal) :-
  608    rdf_id(Resource, DefNS, NSLocal).
  609
  610%!  is_bag_li_predicate(+Pred) is semidet.
  611%
  612%   True if Pred is _:N, as used  for members of an rdf:Bag, rdf:Seq
  613%   or rdf:Alt.
  614
  615is_bag_li_predicate(Pred) :-
  616    atom_concat('_:', AN, Pred),
  617    catch(atom_number(AN, N), _, true), integer(N), N >= 0,
  618    !.
  619
  620
  621%!  rdf_id(+Resource, +DefNS, -NSLocal)
  622%
  623%   Generate a NS:Local name for Resource given the indicated
  624%   default namespace.  This call is used for elements.
  625
  626rdf_id(Id, NS, NS:Local) :-
  627    ns(NS, Full),
  628    Full \== '',
  629    atom_concat(Full, Local, Id),
  630    xml_name(Local),
  631    !.
  632rdf_id(Id, _, NS:Local) :-
  633    ns(NS, Full),
  634    Full \== '',
  635    atom_concat(Full, Local, Id),
  636    xml_name(Local),
  637    !.
  638rdf_id(Id, _, Id).
  639
  640
  641%!  rdf_write_id(+Out, +NSLocal) is det.
  642%
  643%   Write an identifier. We cannot use native write on it as both NS
  644%   and Local can be operators.
  645
  646rdf_write_id(Out, NS:Local) :-
  647    !,
  648    format(Out, '~w:~w', [NS, Local]).
  649rdf_write_id(Out, Atom) :-
  650    write(Out, Atom).
  651
  652
  653%!  rdf_att_id(+URI, +DefNS, -ID)
  654
  655rdf_att_id(Id, _, NS:Local) :-
  656    ns(NS, Full),
  657    Full \== '',
  658    atom_concat(Full, Local, Id),
  659    xml_name(Local),
  660    !.
  661rdf_att_id(Id, _, Id).
  662
  663
  664%!  rdf_value(+Resource, -Text, +Encoding)
  665%
  666%   According  to  "6.4  RDF  URI  References"  of  the  RDF  Syntax
  667%   specification, a URI reference is  UNICODE string not containing
  668%   control sequences, represented as  UTF-8   and  then  as escaped
  669%   US-ASCII.
  670%
  671%   NOTE: the to_be_described/1 trick  ensures   entity  rewrite  in
  672%   resources that start with 'http://t-d-b.org?'. This   is  a of a
  673%   hack to save the artchive data   in  the MultimediaN project. We
  674%   should use a more general mechanism.
  675
  676rdf_value(V, Text, Encoding) :-
  677    to_be_described(Prefix),
  678    atom_concat(Prefix, V1, V),
  679    ns(NS, Full),
  680    atom_concat(Full, Local, V1),
  681    !,
  682    xml_quote_attribute(Local, QLocal, Encoding),
  683    atomic_list_concat([Prefix, '&', NS, (';'), QLocal], Text).
  684rdf_value(V, Text, Encoding) :-
  685    ns(NS, Full),
  686    atom_concat(Full, Local, V),
  687    !,
  688    xml_quote_attribute(Local, QLocal, Encoding),
  689    atomic_list_concat(['&', NS, (';'), QLocal], Text).
  690rdf_value(V, Q, Encoding) :-
  691    xml_quote_attribute(V, Q, Encoding).
  692
  693to_be_described('http://t-d-b.org?').
  694
  695
  696                 /*******************************
  697                 *             UTIL             *
  698                 *******************************/
  699
  700ns(Id, Full) :-
  701    rdf_db:ns(Id, Full)