create_protocol/3

Description

create_protocol(Identifier, Relations, Directives)

Creates a new, dynamic protocol.

Template and modes

create_protocol(+protocol_identifier, +list, +list)

Errors

One of the predicate arguments is a variable:

instantiation_error

Identifier is not a valid protocol identifier:

type_error(protocol_identifier, Identifier)

Identifier is already in use:

permission_error(replace, category, Identifier)

permission_error(replace, object, Identifier)

permission_error(replace, protocol, Identifier)

Relations is neither a variable nor a proper list:

type_error(list, Relations)

Directives is neither a variable nor a proper list:

type_error(list, Directives)

Examples

| ?- create_protocol(
        logging,
        [extends(monitoring)],
        [public([log_file/1, log_on/0, log_off/0])]
     ).