Edge Nim on a Tetrahedron: yet another java+prolog game.