Easy concurrency for Prolog