H3: Meta-Metamodel Constraints

Due: TBD

In class, we presented a meta-model of class diagrams (a.k.a. meta-meta-model) shown below:

1. In English, what constraints are to be enforced?

2. How are these constraints expressed in Prolog?

Submission

Submit a PDF file that contains your answers (and any necessary explanations).  Non-PDF submissions will be returned.