A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems | lit.salon