Update Sub-string divisibility_prolog