Add a fairly inefficient insertion sort implementation in Prolog.