They generalized the observation that the term equations and disequations of Prolog II were a specific form of constraints, and generalized this idea to arbitrary constraint languages.
Они су генерализовали запажање да је термин једначине и disequations  Prolog II. специфичан облик ограничења, и генерализовање ове идеје произвољном ограниченом језику.