This is an archive of an inactive wiki and cannot be modified.

A Rule is a formal notation expressing a computation that depends on a Condition.


This is a central notion for this WG.

Impact on Design

We must agree on what rules are that need to be interchanged. The rules considered by this WG are:

But there are other kinds of rules:

For More Information

(links, bibliographic entries, WG members who are experts, ...)