Help for this page

Select Code to Download


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