High Performance Parallel Logic Programming: The ACE Parallel Prolog System