/usr/lib/swipl/library/ext/sgml/sgml.pl
All Application Manual Name SummaryHelp

  • ext
    • sgml
      • sgml.pl -- SGML, XML and HTML parser
        • dtd/2
        • load_dtd/3
        • load_structure/3
        • load_sgml_file/2
        • load_xml_file/2
        • load_html_file/2
        • load_html/3
        • load_xml/3
        • load_sgml/3
        • xml_quote_attribute/2
        • xml_quote_cdata/2
        • xml_name/1
        • xml_basechar/1
        • xml_ideographic/1
        • xml_combining_char/1
        • xml_digit/1
        • xml_extender/1
        • xml_is_dom/1
      • xpath.pl -- Select nodes in an XML DOM
      • sgml_write.pl -- XML/SGML writer module
      • xsdp_types.pl -- XML-Schema primitive types
      • c14n2.pl -- C14n2 canonical XML documents
 dtd(+Type, -DTD) is det
DTD is a DTD object created from the file dtd(Type). Loaded DTD objects are cached. Note that DTD objects may not be shared between threads. Therefore, dtd/2 maintains the pool of DTD objects using a thread_local predicate. DTD objects are destroyed if a thread terminates.
Errors
- existence_error(source_sink, dtd(Type))