Added prolog review problem
Added signature for partitionIndex