, : , . . , , .
F.d, 9 :
01
02
...
ϳ <> (1 ).
Domains
file = f
Predicates
do
Goal
openmodify(f,F.d), do, closefile(f).
Clauses
do:-write( ? ),
readdevice(keyboard),
readint(N),
N1=(N-1)*11+2,
readdevice(f),
filepos(f, N1, 0),
readln(K),
write(K), nl, do.
do.
. , . , .
.
ESC.
4.2.2 .
, .
, , . 䳿 .
- , , - .
, . , .
4.3
1. ϳ f g . m, f g.
2. ϳ f g . . m, f g.
3. ϳ f . g f .
4. ϳ f . g, f .
5. ϳ f . ʳ 䒺 f . f g , g .
6. ϳ f . f g , g ' .
7. ϳ f . f g , g : , ', . ʳ f 4.
|
|
8. ϳ : , , '. .
9. , ' . ³ . 䳿 - .
10. , : , ', ' , , . ϳ . 䳿.
11. ϳ , : , . , , . .
12. , : , , , , , . : fcv*****kl fcv$5*kl.
13. , : . .
14. , - . , . , , .
15. , . .
16. , . .
17. , . .
18. , .
19. , . .
20. , . . 䳿 - .
21. , PROLOG. Predicates, Clauses, Goal, Clauses.
22. , , * , 1 , . , , .
23. ϳ f g . m, f g. f , g .
24. , , : , , , , , . : fcv*****kl fcv$5*kl.
|
|
25. ϳ f . ³ g.
4.4
:
4.4.1 ,
4.4.2
4.4.3
4.4.4
:
- ;
- ;
- .
4.5
4.5.1 ?
4.5.2 ?
4.5.3 ?
4.5.4 ' ? ? ?
4.5.5 ?
4.5.6 ?
4.5.7 ?
4.5.8 <>,<>?