A distributed implementation of flat concurrent Prolog on message-passing multiprocessor systems
['Uwe Glässer']
A distributed implementation of flat concurrent Prolog on message-passing multiprocessor systems