An ideal "code view" of Excel could be a declarative programming language that states the relations that hold between cells, for example a logic programming lan

An ideal "code view" of Excel could be a declarative programming language that states the relations that hold between cells, for example a logic programming language such as Prolog or Datalog, using constraints to express the relations.