. . . " In contrast to procedural programming languages such as C or Java, TRIPLE is a declarative" . .