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