[Zambyte]

Program code can be declarative constraints. As said elsewhere in this thread, Prolog is an example of such a system.