concat used backwards
?- concat(X, Y, [x, y, z]).
X = []
Y = [x, y, z] ;
X = [x]
Y = [y, z] ;
X = [x, y]
Y = [z] ;
X = [x, y, z]
Y = [] ;
No
Previous slide
Next slide
Back to first slide
View graphic version