Declaration of append rule

append([],Ys,Ys).

append([X|Xs],Ys,[X|Zs]) :-

append(Xs,Ys,Zs).

• Think declaratively!

• Think recursively!

Previous slide

Next slide

Back to first slide

View graphic version