Minefinder is a game played on an 8x8 board. You start in the upper left corner and you navigate the board using the arrow keys. Your current location is indicated in green. One of the cells contains a mine; some contain messages; and the rest are empty. If you move into the cell containing the mine, the game immediately ends. If you move into a cell containing a message, the message appears in the message area above the board. The messages can help you locate the mine. The messages are written in the language of relational logic. (The sentence mine(2,3) means that there is a mine in row 2 and column 3 of the board.) Once you find the mine, you can reveal it by double-clicking on the corresponding row and column. However, if you double-click on a cell that does not contain the mine, the game immediately ends just as if you had stepped on a mine. Good luck.