create_category/4

Description

create_category(Identifier, Relations, Directives, Clauses)

Creates a new, dynamic category.

Template and modes

create_category(+category_identifier, +list, +list, +list)

Errors

One of the predicate arguments is a variable:

instantiation_error

Identifier is neither a variable nor a valid category identifier:

type_error(category_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)

Clauses is neither a variable nor a proper list:

type_error(list, Clauses)

Examples

| ?- create_category(
        tolerances,
        [implements(comparing)],
        [],
        [epsilon(1e-15), (equal(X, Y) :- epsilon(E), abs(X-Y) =< E)]
     ).