author

- Kaarel Kaljurand

version

- 2008-03-16

 drs_to_html(+Drs:term, -DrsHtml:atom) is det

Arguments:

Drs	- is Attempto DRS
DrsHtml	- is the DRS formatted in HTML (with HTML header and footer)

 drs_to_html_nocontainer(+Drs:term, -DrsHtml:atom) is det

Arguments:

Drs	- is Attempto DRS
DrsHtml	- is the DRS formatted in HTML

 header(+Title:atom, -Header:atom) is det

 header(-Header:atom) is det

Arguments:

Title	- is the content for the title-element in the HTML-header
Header	- is an HTML header Generate an HTML-header.

 footer(-Footer:atom) is det

Arguments:

Footer

- is an HTML footer Generate an HTML-footer.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 header(Arg1)