Expand explanation of task prolog functionality