摘要: A number of constraint-oriented, interactive graphical systems have been constructed. typical problem in such is that, to define a new kind constraint, the user must leave domain and write code underlying implementation language. This makes it difficult for less experienced users add kinds constraints. As step toward solving this problem, system described here allows definition An interface has built which can conveniently construct object, annotating with relations that obey.