Text this: Concurrent PROLOG