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