Roguelike game written in ACL2 and Java