Add some docs (parallel prolog)