98. , (. -). . .
: ( );
.
?- recorded(tst,X,_).
X = 1:f ->;
X = 1:1:a ->;
X = 1:1:1:m ->;
X = 1:1:2:k ->;
X = 1:1:2:1:v ->;
X = 1:2:r ->;
X = 2:n ->;
X = 2:1:i ->;
X = 2:1:1:d ->;
X = 2:1:2:e ->;
X = 2:1:3:z ->;
X = 3:o ->;
no
?- pred(tst,X).
X = tst(f(a(m,k(v)),r),n(i(d,e,z)),o)
yes
?-
99. PPM (. ). . .
: ;
.
?- pred(sample.ppm,new.ppm).
yes
?-
100. . . . .
: ;
.
?- recorded(test,X,_).
X = a ->;
X = ├─f ->;
X = │ ├─a ->;
X = │ │ ├─m ->;
X = │ │ └─k ->;
X = │ │ └─v ->;
X = │ └─r ->;
X = ├─n ->;
X = │ └─i ->;
X = │ ├─d ->;
X = │ ├─e ->;
X = │ └─z ->;
X = └─o ->;
no
?- pred(test,X).
X = a(f(a(m,k(v)),r),n(i(d,e,z)),o)
yes
?-
101. , PPM (. ). - ( ). . (R, G, B) L = 0.3 R + 0.59 G + 0.11 B.
: ;
.
?- pred(sample.ppm,new.ppm).
yes
?-
102. . , , . , . , ( ).
: ;
( );
.
?- recorded(test1,X,_).
X = , . ->;
X = , . ->;
X = , . ->;
X = , . ->;
no
?- pred(test1,46,test2).
yes
?- recorded(test2,X,_).
X = , . , . ->;
X = , . ->;
X = , - ->;
X = . ->;
no
?-
103. .
|
|
: ;
.
?- pred(first.pas,test1).
yes
?-
104. . , , .
: ;
;
.
?- recorded(test1,X,_).
X = a ->;
X = v ->;
X = t ->;
X = 7 ->;
no
?- recorded(test2,X,_).
X = 4 ->;
X = 6 ->;
X = a ->;
X = x ->;
no
?- pred(test1,test2, test3).
yes
?- recorded(test3,X,_).
X = v ->;
X = t ->;
X = 7 ->;
no
?-
105. PPM (. ). , .
: ;
.
?- pred(sample.ppm,X).
X = 27 ->;
yes
?-
106. . ( , . ) , .
: ();
( );
( ).
?- pred(verb,form,X).
X = **+** ->;
yes
?-
107. (. ). , .
: ;
().
?- recorded(test1,X,_).
X = xxxxx ->;
X = x x x ->;
X = xxxxx ->;
X = x x x ->;
X = xxxxx ->;
no
?- pred(test1,X).
X = [_1,_2,_3,_4,_5]*[_6,_7,_8,_9,_A]*[_B,_C,_D,_E,_F]+
[_1,_11,_9,_12,_5]*[_3,_13,_8,_14,_D]*[_5,_15,_A,_16,_F]
yes
?-
108. . ( , ) , .
: ( );
();
.
?- recorded(test1,X,R).
X = 3
R = ~402F0A ->;
X = 2
R = ~402F32 ->;
X = 5
R = ~402F5E ->;
X = 7
R = ~402F20 ->;
X = 2
R = ~402F14 ->;
no
?- pred(test1,5,X).
X = [~402F0A]->;
X = [~402F32]->;
X = [~402F5E]->;
X = [~402F14]->;
X = [~402F0A,~402F32]->;
X = [~402F0A,~402F14]->;
X = [~402F32,~402F14]->;
no
?-
109. PPM (. ). , , , . .
: ;
;
.
?- pred(sample.ppm,(32,120,200),(0,0,0),new.ppm).
yes
?-
110. (. ). , , , , . .
: ;
.
?- pred([[1,0,0,1],[1,1,0,0],[0,1,1,0],[0,0,1,1]],m).
yes
?- recorded(m,X,R).
X = [~402F0A,~402F32]
R = ~402F14 ->;
X = [~402F14,~402F5E]
R = ~402F0A ->;
X = [~402F0A,~402F32]
R = ~402F5E ->;
X = [~402F14,~402F5E]
R = ~402F32 ->;
no
?-
|
|
1. . PROLOG. 3- . / . . .: , 2004. 640 .
2. . . / . . .: , 1990. 560 .
3. .. : : .: - , 2005. 176 .
4. . . / . . / . .. . .: , 1990. 464 .
5. ., . . / . . . ... .. . .. . .: - , 1998. 288 .
6. ., . . / . . .: , 1990. 235 .
7. .. . / . . .: , 1993. 368 .
8. . . / . . .: , 1988. 348 .
9. The Arity/Prolog compiler and interpreter. Version 6.1. Arity Corporation Damonmill Square Concord, Massachusetts 01742, 1992, Arity Corporation. 444 .