首页>
外国专利>
User programmable deductive spreadsheet apparatus which supports solutions to circular definitions
User programmable deductive spreadsheet apparatus which supports solutions to circular definitions
展开▼
机译:用户可编程的演绎电子表格设备,支持循环定义的解决方案
展开▼
页面导航
摘要
著录项
相似文献
摘要
A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program and allows the use of a logic programming language such as Prolog via a familiar spreadsheet interface. A syntax is provided whereby a set of multiple values can be stored in a cell and can be operated on recursively by an expression in another cell. Rows and columns can be given user defined names and cells can be referenced by row and column name. Cells can reference cells in other spreadsheets or can reference an entire spreadsheet in one cell. A cell expression can reference itself. Logical, arithmetic, and lifted operators are provided. Spreadsheets can be defined as a transformation of another spreadsheet. When no negative or aggregate operators are used in the cell expressions, the meaning of the spreadsheet is given in terms of least fixed points. Otherwise, the meaning is given in terms of perfect models.
展开▼