append. , [1,2,3,4], 3 L1, 3 ( b).
Domains
list=integer*
Predicates
append(list, list, list)
Clauses
append ([ ], L, L).
append ([F| L1 ], L2, [F | L4 ]):-!, append (L1, L2, L4).(1)
Goal
append(L1,[3|T],[1,2,3,4]). (2)
delete delete1 .
delete1 , .
Domains
list=integer*
Predicates
delete1(integer, list, list)
Goal
delete1 (2, [ 1, 2, 2 ], L).
Clauses
delete1(_, [ ], [ ]):-!. (1)
delete1(X, [X | L1 ], L1):-!. (2)
delete1(X, [ H | L1], [H | L2 ]):- delete1(X, L1, L2). (3)
2, [1,2,2]. L=[1,2].
, . .
. .
, , . ϳ , .
delete2 , .
Domains
list=integer*
Predicates
delete2(integer, list, list)
Goal
delete2 (2, [ 1, 2, 2 ], L).
Clauses
delete2(_, [ ], [ ]):-!. (1)
delete2(X, [ X | L1 ], L2):-!, delete2(X, L1,L2). (2)
delete2(X, [ H | L1], [ H | L2 ]):- delete2(X, L1,L2). (3)
delete2 delete1 , , , , .
3.2.2 .
, . ', , - .
. ϳ , ' .
3.3
1. . , .
2. . ' [ +, , +, , ], . ' , .
3. m. m.
4. . , ' . . .
|
|
5. . .
6. . .
7. . : +2 , +2 +2.
8. . : , . , .
9. . , , .
10. . : , 1 0, , 1<0.
11. . . . [3, 1, 2, 5, 1, 2] 4 .
12. . , , 0, '. .
13. . 3 , , , 4, .
14-18 . . , .
14. X Y . Z = X&Y.
15. X Y ' Z = VY.
16. X Y . , X, Y?
17. X Y . X Y.
18. . .
19. . , .
20. . , .
21. . .
22. . , .
23. . 3 , , 0.
24. , 0 1. : 0 1 . . [1 0 1] [1 1 1 0 0 0 1 1 1]. ϳ 3 2 . .
|
|
25. . ³ .
3.4
:
3.4.1 ,
3.4.2
3.4.3
3.4.4
:
- ;
- ;
- .
3.5
3.5.1 ? ?