1.6 1. X
(X).
" () ?"
(X):- (X),[!(X,Y),(X,Z),Y\=Z!].
: .
- . . . , , , [a,b,c,d].
- '/2 ( 2). , , .
- , , [].
.
N | |||
a | [a] | (a, []) | |
a b c | [a,b,c] | (a, (b, (c,[]))) | |
[a] | [[a]] | ( (a,[]),[]) | |
[] | [[]] | ([],[]) | |
[a] [b,c] | [[a],[b,c]] | ( (a,[]), (b, (c,[]))) |
, .
"" "" , (|), .. [|]. - . - . , .
[X|Y] :
[|]
N | |||
[a] | a | [] | |
[a,b,c] | a | [b,c] | |
[[a]] | [a] | [] | |
[] | |||
[a|[c,d]] | a | [c,d] |
[1,2|[3,4]] [1,2,3,4]. [X,Y|Z] X=1, Y = 2 Z = [3,4].
SWI/PROLOG - . - , ASCII- . . :
"abc" [ 97, 98, 99 ] '.'(97,'.'(98,'.'(99),[])))
1 .
write_list([]).
write_list([H|T]):- /* , */
write(H), nl, /* , */
write_list(T)./* */