Uwe Glässer

• A distributed implementation of Flat Concurrent Prolog on message-passing multiprocessor systems