A Game Logic Specification Proposal for 2D Video Games

The game engines are one of the essential and daily used applications on game development. These applications are designed to assist in the creation of games’ contents. However, the games definition and specification is still complex. The mechanisms involved in the behaviour definition are not easy to standardise, given their dependency with the subjective game logic design and the selected programming language features. In this sense, this work presents the design and development of a game logic system for 2D video games. It draws from the study and analysis of the behaviour and game logic definition literature. From this, a game logic system has been developed from a first-order logic semantics and a reduced set of actions and conditions. The model has been tested with several games to determine its potential. Finally, one of these games is described with the proposed semantics, and further on it is also used as a reference for a user test against other game logic systems.