protocol
registry_protocol
Registry specification protocol.
Author: Paulo Moura
Version: 0:9:0
Date: 2021-10-15
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
name/1
Registry name.
Compilation flags:
static
Template:
name(Name)
Mode and number of proofs:
name(?atom)
- zero_or_one
description/1
Registry one line description.
Compilation flags:
static
Template:
description(Description)
Mode and number of proofs:
description(?atom)
- zero_or_one
home/1
Registry home HTTPS or file URL.
Compilation flags:
static
Template:
home(Home)
Mode and number of proofs:
home(?atom)
- zero_or_one
Protected predicates
(none)
Private predicates
(none)