A Data-Parallel Version of Aleph