• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

3.20 library(http/http_header): Handling HTTP headers
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
    • Packages
      • SWI-Prolog HTTP support
        • The HTTP server libraries
          • library(http/http_header): Handling HTTP headers
            • http_read_request/2
            • http_read_reply_header/2
            • http_reply/2
            • http_reply/3
            • http_reply/4
            • http_reply/5
            • http_reply/6
            • http_status_reply/4
            • http_status_reply/5
            • http_status_reply/6
            • serialize_reply/2
            • http_join_headers/3
            • http_update_encoding/3
            • mime_type_encoding/2
            • http_update_connection/4
            • http_update_transfer/4
            • http_post_data/3
            • http_reply_header/3
            • http_parse_header_value/3
            • http_timestamp/2
            • http_read_header/2
            • http_parse_header/2
            • ///1
            • status_page/3
Availability::- use_module(library(http/http_header)).
Source[semidet]http_parse_header_value(+Field, +Value, -Prolog)
Translate Value in a meaningful Prolog term. Field denotes the HTTP request field for which we do the translation. Supported fields are:
content_length
Converted into an integer
status
Converted into an integer
cookie
Converted into a list with Name=Value by cookies//1.
set_cookie
Converted into a term set_cookie(Name, Value, Options). Options is a list consisting of Name=Value or a single atom (e.g., secure)
host
Converted to HostName:Port if applicable.
range
Converted into bytes(From, To), where From is an integer and To is either an integer or the atom end.
accept
Parsed to a list of media descriptions. Each media is a term media(Type, TypeParams, Quality, AcceptExts). The list is sorted according to preference.
content_disposition
Parsed into disposition(Name, Attributes), where Attributes is a list of Name=Value pairs.
content_type
Parsed into media(Type/SubType, Attributes), where Attributes is a list of Name=Value pairs.
expires
Parsed into a time stamp using http_timestamp/2.

As some fields are already parsed in the Request, this predicate is a no-op when called on an already parsed field.

Value is either an atom, a list of codes or an already parsed header value.
ClioPatria (version V3.1.1-51-ga0b30a5)