, , :
([], L, L).
conci, [X | LI], L2, [X | L3]):-conc(LI, L2, L3).
, . , :
?- ([a,b,c], |d,], Lj.
:
conci [a,b,c], [d,e], L!
conci [b,c], [d,e], L'), L = [a | L']
Conc([c], [d,e], L"), L' -~ [b | L' ' ]
conci [], [d,e], L'p')r L"= [c I L'1'}
true, L'' ' = [d,e]
, , , , .
? , ; , . , . . ,
[a,b,d]
:
L1 = [ a,b,c,d, ] L2 - [d,e]
, L1-L2, "" L1 L2. , , L2 L1. , . , , [, , ] :
[,,]-[]
[,, , d, e] - [d, e ]
,
[,,3, | T] - Id,e | T]
[,, | t) - T
. L-L.
, . . . 8.1. . Prolog :
ccncati 1 - 21, Z1 - 22, 1 - Z2>.
L1
Z2 |
Z1 2
' 1 | ' |
L2 | .. ■-■■ ----------------------- |
13 L3
. 3.1. , ; L1 A1-Z1, 12 A2-Z2, , 13, 1-Z2, Z1 - 2
concat [,,], [,, I 1] - 1, [d, -, [d,e I 2] - 2.?- concat* [,, \ T1J - Tl, [d,e | 2 J - 2, L!.
, concat, :
1 = [d,e ] 2]
. = [a,b,c,d, G | 12] - 2
, , cone.