Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples