YAPOR

an Or-Parallel Prolog System, distributed with YAP system, since 1999.