Text this: Concurrent prolog :