This allows the specification of a search space suitable for the solution of combinatorial problems, with ordinary relational algebra expressions defining constraints.
Those specifications mention only purely functional objects, which are explicitly related later to the implementations.
Using random-effects specifications does not change the results significantly.
However, the transformation tools support symbolic reasoning, which may be used to explore the meaning of a specification at a much higher level of abstraction.
Such primitive elements together with the ability to represent design specifications have been used by an automated synthesis of engineering designs.
The configuration task is defined in the straightforward way: produce a configuration from an input specification of the desired configuration.
This specification of the procedure complete yields a particular algorithm to compute stable models of normal 2-programs without tautologies and virtual constraints.
Without such specification, it remains unclear why some changes made in conversation lead to corrections, and others don't.