Added Mergesort in Prolog