This is a simple example of using the JAxT system based
around a Position class for indexing positions on an 8*8 board,
e.g. those used in chess or checkers.
See the jaxt overview file for information about declaring and using axiom classes.
@author Magne Haveraaen & Karl Trygve Kalleberg, 2007