A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems