8.1. , (subl, sub2 sub3), , . subl " " , sub2 sub3 " " . , . . ? ?
subl! List, Sublist):-
prefix] List, Sublist). sublt [ | Tail], Sublist):-
subH Tail, Sublist). % Sublist Tail
prefix) _, []).
prefix! [X I Listl], [XI ListZ]>:-prefix! Listl, List2).
sub2{ List, Sublist]:-
cone' Listl, List2, List), cone! List3, Sublist, Listl).
sub3! List, Sublist):-concf Listl, List2, List,
conct Sublist,.. List2).
8,
8.2.
add_at_end{ List, Item, EfewList>
Item List NewList, .
8.3.
reverse (List, ReversedList)
.
8.4. collect, 8.5.2, , .
8.5. , ([XI, X).
([X | Rest], Max):-(Best, MaxRest), [ MaxRest >= X,!, Max = MaxRest
Max = X).
. : Max So Fa .
8.6. 3 (. 4.4} , arg, , *8. 5.5. , , .
8.7. , functor arg, , , 6.5.5.
:
;
;
;
;
;
;
.
. , .
Prolog
.
. - .
, , .
|
|
190 !. Prolog
.
.
, , .
Prolog . .
. :
;
;
( asserta) , .
( , ) . ;
;
, ;
;
functor .