Connectors
Thu, 04/03/2008 - 16:41 — Bilal Said
A connector is tuple (name, arity, output-format, priority).
name: is the identifier of the connector. It can be used in the prefixed formulas definition.
arity: determins the number of arguments it takes in this connector.
output-format: is the infixed definition of the connector.
priority: is used to precise prioirties between connectors when ambiguity may rise in infixed formulas.