[prolog] Add insertion sort implementation
[prolog] Add note about incorrect sorting from day2