http_header:http

Availability::- use_module(library(http/http_header)).

[det]http_reply(+Data, +Out:stream)

[det]http_reply(+Data, +Out:stream, +HdrExtra)

[det]http_reply(+Data, +Out:stream, +HdrExtra, -Code)

[det]http_reply(+Data, +Out:stream, +HdrExtra, +Context, -Code)

[det]http_reply(+Data, +Out:stream, +HdrExtra, +Context, +Request, -Code)

Compose a complete HTTP reply from the term Data using additional headers from HdrExtra to the output stream Out. ExtraHeader is a list of Field(Value). Data is one of:

html(HTML): HTML tokens as produced by html//1 from html_write.pl
file(+MimeType, +FileName): Reply content of FileName using MimeType
file(+MimeType, +FileName, +Range): Reply partial content of FileName with given MimeType
tmp_file(+MimeType, +FileName): Same as file, but do not include modification time
bytes(+MimeType, +Bytes): Send a sequence of Bytes with the indicated MimeType. Bytes is either a string of character codes 0..255 or list of integers in the range 0..255. Out-of-bound codes result in a representation error exception.
stream(+In, +Len): Reply content of stream.
cgi_stream(+In, +Len): Reply content of stream, which should start with an HTTP header, followed by a blank line. This is the typical output from a CGI script.
Status: HTTP status report as defined by http_status_reply/4.

`HdrExtra`	provides additional reply-header fields, encoded as Name(Value). It can also contain a field `content_length(-Len)` to retrieve the value of the Content-length header that is replied.
`Code`	is the numeric HTTP status code sent

To be done: Complete documentation