:
conc(LI, L2, L3)
L1 L2 , a L3 . :
cone (la,b], tc,d], [a,b,c,d]}
,
conc((a,b), [c,d], [a,b,a,c,d]>
. cone
, , L1.
1. ,
( L);
Prolog:
cone([ ], L, L).
2. cone ,
:
[XI L1]
. 3.2 [X | L1] L2. [X I L3], L3 L1 L2. Prolog :
[ fX | LI}, L2, [X [ L3]):- Llf L2, L3).
, :
?- conct [a,b,c], [1,2,3], h). L = [a,b,,1,2,3]
?- conc([a,[b,c],d], [a,[],b], L). L = [a, [b,c],d, a, [),b]
. , ,
[X]L1]
Li
L2
L3
L3
[X | L3] . 3.2.
cone , . , cone , , .
?- conc(LI, L2, (,,]). L1 = []
L2 L1 L2 1-L2 L1 L2 |
[a,b,c);
[a]
[,];
[a,b]
[c];
[a,b,c]
= -
[, , ], one .
, . , , , , , .?- conc(Before, [may | After],
[ jan, feb,mar,apr, may, jun, jul, aug, sep, oct, nov, dec]). Before = [ jan, feb, mar, apr] After [jun.jul, aug, sep, oct, nov,dec].
, , , , , :
7- cone!, [Monthl,may,Month2!),
[, fsb,mar, apr, may, jun, jul, aug, sep, oct, nov, dec] }. Monthl = apr Month2 - jun
, , , L1 , z L1, , :
?- LI - [a,b,z, , , , z, ,\),
conct L2, [z,z,z| _], L1).
L1 - [,, z, z, , , z, z, , e]
L2 = [,,2, z,c]
. , :
|
|
member 1 (X, L):-
conc(L1, [X | L2], L).
I. Prolog
: X L, L , X . , member! , member. , . , :
! [ X, ):-
[_, [X | _}, L!.
, member 1. , : ', X L:
1) , X L,
2) , X L.
, memberl , . , , memberl . ; : ?- 1(, [,,]).
. 3.3, , memberl member. , .
memberl (, 1,,])
-------------- 7Z ---------------
conc(L1, [b[LZ], [..])
1 - cone
:
=
[b|L2] = [,b,c] , b *
2- one
: L1=[XiL1'] [b|L2]=L2' [■,b,c] = [X[L3] : X=a,L3=[b,c]
conc(LV1[b|L2][[b,c])
1- cone
:
L1=[J
[b|L2] = [b,c]
:
L2 = [c]
yes
. 3.3, , memberl
3. , ,
3.1. cone .
) L
, L1. : I
L1 .
)
L L2.
3.2.
last[ Item, List)
, Item List. : ) cone; ) cone.