YapOr: an Or-Parallel Prolog System Based on Environment Copying.

Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa

Browse the full EPIA paper archive.