The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results