Or-parallel prolog execution on multicores based on stack splitting.

Rui Vieira, Ricardo Rocha, Fernando M. A. Silva

Browse the full POPL paper archive.