@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

124 lines (119 loc) • 28.6 kB

HTML

<!DOCTYPE HTML><html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>HTML/XML parser and generator — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton">☰</a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><a class="lpdoc-navbutton" href="pillow_doc.html">↑</a><a class="lpdoc-navbutton" href="pillow_doc.html">←</a><a class="lpdoc-navbutton" href="json.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a><a href="ciaofulltoc.html">TOC</a></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> » </li><li><a href="ExtraLibs.html">PART VIII - Additional libraries</a> » </li><li><a href="pillow_doc.html">Web programming libraries (PiLLoW)</a> » </li><li><a href="">HTML/XML parser and generator</a></li></ul><hr></hr>ON THIS PAGE<ul><li><a href="#Usage and interface">Usage and interface</a></li><li><a href="#Documentation on exports">Documentation on exports</a></li><li><a href="#Documentation on multifiles">Documentation on multifiles</a></li><li><a href="#Documentation on imports">Documentation on imports</a></li><li><a href="#Other information">Other information</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>HTML/XML parser and generator</h1><a class="lpdoc-idx-anchor" href="ciaosearch.html#html"></a> Author(s): <a class="lpdoc-idx-anchor" id="Daniel Cabeza" href="ciaosearch.html#Daniel Cabeza">Daniel Cabeza</a>, <a class="lpdoc-idx-anchor" id="Manuel Hermenegildo" href="ciaosearch.html#Manuel Hermenegildo">Manuel Hermenegildo</a>, <a class="lpdoc-idx-anchor" id="Sacha Varma" href="ciaosearch.html#Sacha Varma">Sacha Varma</a>, <a class="lpdoc-idx-anchor" id="The Ciao Development Team" href="ciaosearch.html#The Ciao Development Team">The Ciao Development Team</a>. This module implements predicates for <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#HTML">HTML</a>/<a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#XML">XML</a> generation and parsing. <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: <tt>:- use_module(library(pillow/html)).</tt><li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="2" href="#output_html/1"><tt>output_html/1</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#html2terms/2"><tt>html2terms/2</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#xml2terms/2"><tt>xml2terms/2</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#html_template/3"><tt>html_template/3</tt></a>. <li>Regular Types: <a class="lpdoc-idx-anchor" id="6" href="#canonic_html_term/1"><tt>canonic_html_term/1</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#canonic_xml_term/1"><tt>canonic_xml_term/1</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#html_term/1"><tt>html_term/1</tt></a>. <li>Multifiles: <a class="lpdoc-idx-anchor" id="9" href="#html_expansion/2"><tt>html_expansion/2</tt></a>. </ul></ul></div></div><div id="Documentation on exports"><h2>Documentation on exports</h2><div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="canonic_html_term/1" href="ciaosearch.html#canonic_html_term/1">canonic_html_term/1</a></div><div class="lpdoc-deftext">A term representing HTML code in canonical, structured way. It is a list of terms defined by the following predicate: <pre class="lpdoc-codeblock">canonic_html_item(comment(S)) :- string(S). canonic_html_item(declare(S)) :- string(S). canonic_html_item(env(Tag,Atts,Terms)) :- atm(Tag), list(tag_attrib,Atts), canonic_html_term(Terms). canonic_html_item($(Tag,Atts)) :- atm(Tag), list(tag_attrib,Atts). canonic_html_item(S) :- string(S). </pre> <pre class="lpdoc-codeblock">tag_attrib(Att) :- atm(Att). tag_attrib(Att=Val) :- atm(Att), string(Val). </pre> Each structure represents one HTML construction: <dl> <dt>env(tag,attribs,terms)<dd> An HTML environment, with name tag, list of attributes attribs and contents terms.<dt>$(tag,attribs)<dd> An HTML element of name tag and list of attributes attribs. <tt>($)/2</tt> is defined by the pillow package as an infix, binary operator.<dt>comment(string)<dd> An HTML comment (translates to/from <tt></tt>).<dt>declare(string)<dd> An HTML declaration, they are used only in the header (translates to/from <tt><!</tt>string<tt>></tt>).<dt>string<dd> Normal text is represented as a list of character codes.</dl> For example, the term <pre class="lpdoc-codeblock">env(a,[href="www.therainforestsite.com"], ["Visit ",img$[src="TRFS.gif"]]) </pre> is output to (or parsed from): <pre class="lpdoc-codeblock"><a href="www.therainforestsite.com">Visit <img src="TRFS.gif"></a> </pre>Usage:<tt>canonic_html_term(HTMLTerm)</tt> HTMLTerm is a term representing HTML code in canonical form.<ul class="lpdoc-itemize-minus"></ul></div></div> <div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="canonic_xml_term/1" href="ciaosearch.html#canonic_xml_term/1">canonic_xml_term/1</a></div><div class="lpdoc-deftext">A term representing XML code in canonical, structured way. It is a list of terms defined by the following predicate (see <a class="lpdoc-idx-anchor" id="10" href="ciaosearch.html#tag_attrib/1"><tt>tag_attrib/1</tt></a> definition in <a class="lpdoc-idx-anchor" id="11" href="#canonic_html_term/1"><tt>canonic_html_term/1</tt></a>): <pre class="lpdoc-codeblock">canonic_xml_item(Term) :- canonic_html_item(Term). canonic_xml_item(xmldecl(Atts)) :- list(tag_attrib,Atts). canonic_xml_item(env(Tag,Atts,Terms)) :- atm(Tag), list(tag_attrib,Atts), canonic_xml_term(Terms). canonic_xml_item(elem(Tag,Atts)) :- atm(Tag), list(tag_attrib,Atts). </pre> In addition to the structures defined by <a class="lpdoc-idx-anchor" id="12" href="#canonic_html_term/1"><tt>canonic_html_term/1</tt></a> (the <tt>($)/2</tt> structure appears only in malformed XML code), the following structures can be used: <dl> <dt>elem(tag,atts)<dd> Specifies an XML empty element of name tag and list of attributes atts. For example, the term <pre class="lpdoc-codeblock">elem(arc,[weigh="3",begin="n1",end="n2"]) </pre> is output to (or parsed from): <pre class="lpdoc-codeblock"><arc weigh="3" begin="n1" end="n2"/> </pre> <dt>xmldecl(atts)<dd> Specifies an XML declaration with attributes atts (translates to/from <tt><?xml </tt>atts<tt>?></tt>)</dl>Usage:<tt>canonic_xml_term(XMLTerm)</tt> XMLTerm is a term representing XML code in canonical form.<ul class="lpdoc-itemize-minus"></ul></div></div> <div><div class="lpdoc-defname">REGTYPE<a class="lpdoc-idx-anchor" id="html_term/1" href="ciaosearch.html#html_term/1">html_term/1</a></div><div class="lpdoc-deftext">A term which represents HTML or XML code in a structured way. In addition to the structures defined by <a class="lpdoc-idx-anchor" id="13" href="#canonic_html_term/1"><tt>canonic_html_term/1</tt></a> or <a class="lpdoc-idx-anchor" id="14" href="#canonic_xml_term/1"><tt>canonic_xml_term/1</tt></a>, the following structures can be used: <dl> <dt>begin(tag,atts)<dd> It translates to the start of an HTML environment of name tag and attributes atts. There exists also a begin(tag) structure. Useful, in conjunction with the next structure, when including in a document output generated by an existing piece of code (e.g. tag = <tt>pre</tt>). Its use is otherwise discouraged.<dt>end(tag)<dd> Translates to the end of an HTML environment of name tag.<dt>start<dd> Used at the beginning of a document (translates to <tt><html></tt>).<dt>end<dd> Used at the end of a document (translates to <tt></html></tt>).<dt><tt>--</tt><dd> Produces a horizontal rule (translates to <tt><hr></tt>).<dt>\<dd> Produces a line break (translates to <tt> </tt>).<dt>$<dd> Produces a paragraph break (translates to <tt></tt>).<dt>image(address)<dd> Used to include an image of address (URL) address (equivalent to <tt>img$[src=</tt>address<tt>]</tt>).<dt>image(address,atts)<dd> As above with the list of attributes atts.<dt>ref(address,text)<dd> Produces a hypertext link, address is the URL of the referenced resource, text is the text of the reference (equivalent to <tt>a([href=</tt>address<tt>],</tt>text<tt>)</tt>).<dt>label(name,text)<dd> Labels text as a target destination with label name (equivalent to <tt>a([name=</tt>name<tt>],</tt>text<tt>)</tt>).<dt>heading(n,text)<dd> Produces a heading of level n (between 1 and 6), text is the text to be used as heading. Useful when one wants a heading level relative to another heading (equivalent to <tt>h</tt>n<tt>(</tt>text<tt>)</tt>).<dt>itemize(items)<dd> Produces a list of bulleted items, items is a list of corresponding HTML terms (translates to a <tt><ul></tt> environment).<dt>enumerate(items)<dd> Produces a list of numbered items, items is a list of corresponding HTML terms (translates to a <tt><ol></tt> environment).<dt>description(defs)<dd> Produces a list of defined items, defs is a list whose elements are definitions, each of them being a Prolog sequence (composed by <tt>','/2</tt> operators). The last element of the sequence is the definition, the other (if any) are the defined terms (translates to a <tt><dl></tt> environment).<dt>preformatted(text)<dd> Used to include preformatted text, text is a list of HTML terms, each element of the list being a line of the resulting document (translates to a <tt><pre></tt> environment).<dt>verbatim(text)<dd> Used to include text verbatim, special HTML characters (<tt><,>,&,"</tt> and space) are translated into its quoted HTML equivalent.<dt>prolog_term(term)<dd> Includes any prolog term term, represented in functional notation. Variables are output as <tt>_</tt>.<dt>nl<dd> Used to include a newline in the HTML source (just to improve human readability).<dt>entity(name)<dd> Includes the entity of name name (ISO-8859-1 special character).<dt>start_form(addr,atts)<dd> Specifies the beginning of a form. addr is the address (URL) of the program that will handle the form, and atts other attributes of the form, as the method used to invoke it. If atts is not present (there is only one argument) the method defaults to POST.<dt>start_form<dd> Specifies the beginning of a form without assigning address to the handler.<dt>end_form<dd> Specifies the end of a form.<dt>checkbox(name,state)<dd> Specifies an input of type <tt>checkbox</tt> with name name, state is <tt>on</tt> if the checkbox is initially checked.<dt>radio(name,value,selected)<dd> Specifies an input of type <tt>radio</tt> with name name (several radio buttons which are interlocked must share their name), value is the the value returned by the button, if selected=value the button is initially checked.<dt>input(type,atts)<dd> Specifies an input of type type with a list of attributes atts. Possible values of type are <tt>text</tt>, <tt>hidden</tt>, <tt>submit</tt>, <tt>reset</tt>, ldots<dt>textinput(name,atts,text)<dd> Specifies an input text area of name name. text provides the default text to be shown in the area, atts a list of attributes.<dt>option(name,val,options)<dd> Specifies a simple option selector of name name, options is the list of available options and val is the initial selected option (if val is not in options the first item is selected by default) (translates to a <tt><select></tt> environment).<dt>menu(name,atts,items)<dd> Specifies a menu of name name, list of attributes atts and list of options items. The elements of the list items are marked with the prefix operator <tt>$</tt> to indicate that they are selected (translates to a <tt><select></tt> environment).<dt>name(text)<dd> A term with functor name/1, different from the special functors defined herein, represents an HTML environment of name name and included text text. For example, the term <pre class="lpdoc-codeblock"> address('clip@clip.dia.fi.upm.es') </pre> is translated into the HTML source <pre class="lpdoc-codeblock"> <address>clip@clip.dia.fi.upm.es</address> </pre> <dt>name(atts,text)<dd> A term with functor name/2, different from the special functors defined herein, represents an HTML environment of name name, attributes atts and included text text. For example, the term <pre class="lpdoc-codeblock"> a([href='http://www.clip.dia.fi.upm.es/'],"Clip home") </pre> represents the HTML source <pre class="lpdoc-codeblock"> <a href="http://www.clip.dia.fi.upm.es/">Clip home</a> </pre> </dl> Usage:<tt>html_term(HTMLTerm)</tt> HTMLTerm is a term representing HTML code.<ul class="lpdoc-itemize-minus"></ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="output_html/1" href="ciaosearch.html#output_html/1">output_html/1</a></div><div class="lpdoc-deftext"><tt>output_html(HTMLTerm)</tt> Outputs HTMLTerm, interpreted as an <a class="lpdoc-idx-anchor" id="15" href="#html_term/1"><tt>html_term/1</tt></a>, to current output stream.Usage:<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="16" href="#html_term/1"><tt>html:html_term/1</tt></a>)HTMLTerm is a term representing HTML code. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="html2terms/2" href="ciaosearch.html#html2terms/2">html2terms/2</a></div><div class="lpdoc-deftext"><tt>html2terms(String,Terms)</tt> String is a character list containing HTML code and Terms is its prolog structured representation.Usage 1:Translates an HTML-term into the HTML code it represents.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="17" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)String is a free variable. (<a class="lpdoc-idx-anchor" id="18" href="#html_term/1"><tt>html:html_term/1</tt></a>)Terms is a term representing HTML code. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="19" href="basic_props.html#string/1"><tt>basic_props:string/1</tt></a>)String is a string (a list of character codes). </ul>Usage 2:Translates HTML code into a structured HTML-term.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="20" href="#canonic_html_term/1"><tt>html:canonic_html_term/1</tt></a>)Terms is a term representing HTML code in canonical form. <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="21" href="basic_props.html#string/1"><tt>basic_props:string/1</tt></a>)String is a string (a list of character codes). <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="22" href="#canonic_html_term/1"><tt>html:canonic_html_term/1</tt></a>)Terms is a term representing HTML code in canonical form. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="xml2terms/2" href="ciaosearch.html#xml2terms/2">xml2terms/2</a></div><div class="lpdoc-deftext"><tt>xml2terms(String,Terms)</tt> String is a character list containing XML code and Terms is its prolog structured representation.Usage 1:Translates a XML-term into the XML code it represents.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="23" href="term_typing.html#var/1"><tt>term_typing:var/1</tt></a>)String is a free variable. (<a class="lpdoc-idx-anchor" id="24" href="#html_term/1"><tt>html:html_term/1</tt></a>)Terms is a term representing HTML code. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="25" href="basic_props.html#string/1"><tt>basic_props:string/1</tt></a>)String is a string (a list of character codes). </ul>Usage 2:Translates XML code into a structured XML-term.<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="26" href="#canonic_xml_term/1"><tt>html:canonic_xml_term/1</tt></a>)Terms is a term representing XML code in canonical form. <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="27" href="basic_props.html#string/1"><tt>basic_props:string/1</tt></a>)String is a string (a list of character codes). <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="28" href="#canonic_xml_term/1"><tt>html:canonic_xml_term/1</tt></a>)Terms is a term representing XML code in canonical form. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="html_template/3" href="ciaosearch.html#html_template/3">html_template/3</a></div><div class="lpdoc-deftext"><tt>html_template(Chars,Terms,Dict)</tt> Interprets Chars as an HTML template returning in Terms the corresponding structured HTML-term, which includes variables, and unifying Dict with a dictionary of those variables (an incomplete list of name<tt>=</tt>Var pairs). An HTML template is standard HTML code, but in which ``slots'' can be defined and given an identifier. These slots represent parts of the HTML code in which other HTML code can be inserted, and are represented in the HTML-term as free variables. There are two kinds of variables in templates: <ul> <li>Variables representing page contents. A variable with name name is defined with the special tag <tt><V></tt>name<tt></V></tt>.<li>Variables representing tag attributes. They occur as an attribute or an attribute value starting with <tt>_</tt>, followed by its name, which must be formed by alphabetic characters.</ul> As an example, suposse the following HTML template: <pre class="lpdoc-codeblock"><html> <body bgcolor=_bgcolor> <v>content</v> </body> </html> </pre> The following query in the Ciao toplevel shows how the template is parsed, and the dictionary returned: <pre class="lpdoc-codeblock">?- file_to_string('template.html',_S), html_template(_S,Terms,Dict). Dict = [bgcolor=_A,content=_B|_], Terms = [env(html,[],[" ",env(body,[bgcolor=_A],[" ",_B," "])," "])," "] ? yes </pre> If a dictionary with values is supplied at call time, then variables are unified accordingly inside the template: <pre class="lpdoc-codeblock">?- file_to_string('template.html',_S), html_template(_S,Terms,[content=b("hello world!"),bgcolor="white"]). Terms = [env(html,[],[" ",env(body,[bgcolor="white"],[" ",b("hello world!")," "])," "])," "] ? yes </pre> Usage:<ul class="lpdoc-itemize-minus"><li>Call and exit should be compatible with: (<a class="lpdoc-idx-anchor" id="29" href="#canonic_html_term/1"><tt>html:canonic_html_term/1</tt></a>)Terms is a term representing HTML code in canonical form. (<a class="lpdoc-idx-anchor" id="30" href="basic_props.html#list/1"><tt>basic_props:list/1</tt></a>)Dict is a list. <li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="31" href="basic_props.html#string/1"><tt>basic_props:string/1</tt></a>)Chars is a string (a list of character codes). <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="32" href="#canonic_html_term/1"><tt>html:canonic_html_term/1</tt></a>)Terms is a term representing HTML code in canonical form. (<a class="lpdoc-idx-anchor" id="33" href="basic_props.html#list/1"><tt>basic_props:list/1</tt></a>)Dict is a list. </ul></div></div> </div><div id="Documentation on multifiles"><h2>Documentation on multifiles</h2><div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="html_expansion/2" href="ciaosearch.html#html_expansion/2">html_expansion/2</a></div><div class="lpdoc-deftext">Usage:<tt>html_expansion(Term,Expansion)</tt> Hook predicate to define macros. Expand occurrences of Term into Expansion, in <a class="lpdoc-idx-anchor" id="34" href="#output_html/1"><tt>output_html/1</tt></a>. Take care to not transform something into itself!<ul class="lpdoc-itemize-minus"></ul> The predicate is multifile. </div></div> </div><div id="Documentation on imports"><h2>Documentation on imports</h2>This module has the following direct dependencies:<ul class="lpdoc-itemize-minus"><li>System library modules: <a class="lpdoc-idx-anchor" id="35" href="stream_utils.html"><tt>stream_utils</tt></a>, <a class="lpdoc-idx-anchor" id="36" href="strings.html"><tt>strings</tt></a>, <a class="lpdoc-idx-anchor" id="37" href="lists.html"><tt>lists</tt></a>. <li>Packages: <a class="lpdoc-idx-anchor" id="38" href="ciaosearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="39" href="ciaosearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="40" href="condcomp_doc.html"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="41" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="42" href="ciaosearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="43" href="isomodes_doc.html"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="44" href="dcg_doc.html"><tt>dcg</tt></a>. </ul></div><div id="Other information"><h2>Other information</h2> The code uses input from from L. Naish's forms and Francisco Bueno's previous Chat interface. Other people who have contributed are (please inform us if we leave out anybody): Markus Fromherz. </div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>