Method and apparatus for providing graphical interfaces for declarative specifications
First Claim
Patent Images
1. A method for instructing a programmable computer, the method comprising:
- receiving from a user through a user interface, an adjustment input to move an icon on a screen to a position in which the icon is touching one or more other icons to form a first grouping, the first grouping comprises an icon of a first data indication predicate touching an icon of a first action predicate, and the first data indication predicate is positive or negative based on a position of a game character relative to an object in a computer game;
a declarative specification for controlling the game character in the computer game as a function of the first grouping, wherein the first grouping is a logical implication in which the game character performs a respective action identified by the icon of the first action predicate when the first data indication predicate is positive and the game character does not perform the respective action identified by the icon of the first action predicate when the first data indication predicate is negative; and
during the computer game, in response to the declarative specification, allowing the game character to perform the respective action identified by the icon of the first action predicate when the first data indication predicate is positive and not allowing the game character to perform the respective action identified by the icon of the first action predicate when the first data indication predicate is negative;
wherein;
one section of the screen comprises a declarative specification area, the adjustment input is received via the declarative specification area and displays the icon of the first data indication predicate and the icon of the first action predicate; and
another section of the screen provides a view of a real time execution of the declarative specification, showing in real time, an effect of the adjustment input on the computer game as the declarative specification is altered.
5 Assignments
0 Petitions
Accused Products
Abstract
Example embodiments are directed towards graphical user interfaces for declarative specification languages that express the logic of a computation without describing its control flow. These user interfaces are based on a visual representation of specifications where geometric proximity may be the sole determinant of the resulting configuration. Modularity is improved as each proximal grouping is functionally independent of others. Moreover, a system that executes such specifications may treat groupings independently and execute them in parallel.
-
Citations
31 Claims
-
1. A method for instructing a programmable computer, the method comprising:
-
receiving from a user through a user interface, an adjustment input to move an icon on a screen to a position in which the icon is touching one or more other icons to form a first grouping, the first grouping comprises an icon of a first data indication predicate touching an icon of a first action predicate, and the first data indication predicate is positive or negative based on a position of a game character relative to an object in a computer game; a declarative specification for controlling the game character in the computer game as a function of the first grouping, wherein the first grouping is a logical implication in which the game character performs a respective action identified by the icon of the first action predicate when the first data indication predicate is positive and the game character does not perform the respective action identified by the icon of the first action predicate when the first data indication predicate is negative; and during the computer game, in response to the declarative specification, allowing the game character to perform the respective action identified by the icon of the first action predicate when the first data indication predicate is positive and not allowing the game character to perform the respective action identified by the icon of the first action predicate when the first data indication predicate is negative;
wherein;one section of the screen comprises a declarative specification area, the adjustment input is received via the declarative specification area and displays the icon of the first data indication predicate and the icon of the first action predicate; and another section of the screen provides a view of a real time execution of the declarative specification, showing in real time, an effect of the adjustment input on the computer game as the declarative specification is altered. - View Dependent Claims (2, 3, 4, 8, 9, 10, 11, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30)
-
-
5. A system for declarative specification, the system comprising:
-
a memory, the memory stores executable instructions; and a microprocessor, the microprocessor is configured to execute the executable instructions to; a receiving unit configured to receive from a user through a user interface, an adjustment input to move an icon on a screen to a position in which the icon is touching one or more other icons to form a first grouping, the first grouping comprises an icon of a first data indication predicate touching an icon of a first action predicate, and the first data indication predicate is positive or negative based on a position of a game character relative to an object in a computer game; alter a declarative specification for controlling the game character in the computer game as a function of the first grouping, wherein the first grouping is a logical implication in which the game character performs a respective action identified by the icon of the first action predicate when the first data indication predicate is positive and the game character does not perform the respective action identified by the icon of the first action predicate when the first data indication predicate is negative; and and during the computer game, in response to the declarative specification, allow the game character to perform the respective action identified by the icon of the first action predicate when the first data indication is positive and not allow the game character to perform the respective action identified by the icon of the first action predicate when the first data indication is negative;
wherein;one section of the screen comprises a declarative specification area, the adjustment input is received via the declarative specification area and displays the icon of the first data indication predicate and the icon of the first action predicate; and another section of the screen provides a view of a real time execution of the declarative specification, showing in real time, an effect of the adjustment input on the computer game as the declarative specification is altered. - View Dependent Claims (6, 7, 31)
-
-
12. A computer implemented method, comprising:
-
receiving from a user through a user interface, an adjustment input to move an icon on a screen to a position in which the icon is touching one or more other icons to form a first grouping, the first grouping comprises an icon of a first data indication predicate touching an icon of a first action predicate, wherein the first data indication predicate is positive or negative based on a position of a game character relative to an object in a computer game; receiving from the user through the user interface, another adjustment input to move another icon on the screen to a position in which the another icon is touching one or more other icons to form a second grouping separate from the first grouping, the second grouping comprises an icon of a second data indication predicate touching an icon of a second action predicate, the second data indication predicate is positive or negative based on the position of the game character relative to the object in the computer game, the second data indication predicate is positive when the first data indication predicate is negative, and negative when the first data indication predicate is positive; altering a declarative specification for controlling the game character in the computer game as a function of the first grouping and the second grouping, wherein;
(a) the first grouping is a logical implication, based on a proximity of the icon of the first data indication predicate to the icon of the first action predicate, in which the game character performs a respective action identified by the icon of the first action predicate when the first data indication predicate is positive and (b) the second grouping is a logical implication, based on a proximity of the icon of the second data indication predicate to the icon of the second action predicate, in which the game character performs a respective action identified by the icon of the second action predicate when the second data indication predicate is positive; andduring the computer game, in response to the declarative specification, allowing the game character to perform the respective action identified by the icon of the first action predicate when the first data indication predicate is positive and to perform the respective action identified by the icon of the second action predicate when the second data indication predicate is positive;
wherein;one section of the screen comprises a declarative specification area, the adjustment input is received via the declarative specification area and displays the icon of the first data indication predicate and the icon of the first action predicate; and another section of the screen provides a view of a real time execution of the declarative specification, showing in real time, an effect of the adjustment input on the computer game as the declarative specification is altered. - View Dependent Claims (13, 14, 15, 16)
-
Specification