PIONEER, in the art of war, a labourer employed in an army to smooth the roads, pass the artillery along, and dig lines and trenches, mines, and other works.