protocol

http_request_protocol

Protocol for Logtalk objects exposing normalized HTTP request data.

Availability:
logtalk_load(http_core(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-23
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

method/1

Returns the normalized lowercase HTTP method atom.

Compilation flags:
static
Template:
method(Method)
Mode and number of proofs:
method(-atom) - one

target/1

Returns the normalized request target descriptor.

Compilation flags:
static
Template:
target(Target)
Mode and number of proofs:
target(-compound) - one

version/1

Returns the normalized HTTP version term http(Major, Minor).

Compilation flags:
static
Template:
version(Version)
Mode and number of proofs:
version(-compound) - one

headers/1

Returns the request header list as normalized Name-Value pairs.

Compilation flags:
static
Template:
headers(Headers)
Mode and number of proofs:
headers(-list(compound)) - one

header/2

Enumerates normalized request headers as Name and Value pairs.

Compilation flags:
static
Template:
header(Name,Value)
Mode and number of proofs:
header(?atom,?term) - zero_or_more

body/1

Returns the normalized request body term.

Compilation flags:
static
Template:
body(Body)
Mode and number of proofs:
body(-compound) - one

property/1

Enumerates derived or higher-layer normalized request properties.

Compilation flags:
static
Template:
property(Property)
Mode and number of proofs:
property(?compound) - zero_or_more

Protected predicates

(none)

Private predicates

(none)

Operators

(none)