A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications