% nacteni:
/* ['2.4.2_8.pl']. */

append_dl(A-B,B-C,A-C).

% demonstracni vypis

  % abychom se vyhli varovanim "Redefined static procedure ..."
:- dynamic
       write_all_X/3,
       start/0.

write_all_X(Goal,X,Name):-
            call(Goal),write('  '),write(Name),write(' = '),write(X),nl,fail.
write_all_X(_,_,_).
       
start:- 
    write('Prace se seznamy - efektivita append'),nl,nl,
    write('Vysledek volani "append_dl([a,b|X]-X,[c,d|Y]-Y,L)":'),nl,
    write_all_X(append_dl([a,b|X]-X,[c,d|Y]-Y,L), L, 'L'),nl.

?-start.


:- retractall(start/0).

Prace se seznamy - efektivita append

Vysledek volani "append_dl([a,b|X]-X,[c,d|Y]-Y,L)":
  L = [a,b,c,d|_1708]-_1708