different_lists([A|TA], [B|TB]) :- ( A #\= B ; different_lists(TA, TB)).