ABSTRACT
The general model of games we will develop is based on the idea of a constraint graph; by adding rules defining legal moves on such graphs we get constraint logic. In later chapters the graphs and the rules will be specialized to produce games with different numbers of players: zero, one, two, etc. A game played on a constraint graph is a computation of a sort, and simultaneously serves as a useful problem to reduce to other games to show their hardness.
