next up previous
Next: Constants Up: PJ Elements Previous: Ports

Data Terms

A term is a (possibly empty) region. It touches only ports or tips of arrows.


Terms are building blocks for defining rules, agents, and data structures. Terms can be divided into data and rule terms. A data term does not touch any arrow or link but has one reference port (i.e. it is covering this port).

Volker Haarslev
Wed Jan 31 15:50:43 MET 1996