Attributes
Attributes are annotations applied to rules that provide additional context or configuration. They are written like this:
#[attribute_name(parameter_1, parameter_2, ...)]parent(?p, ?c) :- child(?c, ?p) .
Supported attributes
Attribute | Parameters | Explanation |
---|---|---|
name | name(str) | Specifies the name of the rule as a constant string. |
display | display(str) | Specifies how instantiations of the rule will be displayed. The parameter may use any safe variable from the rule body. |