Title: A parallel resolution method for logic programs