18
I. Prolog 25
1. Prolog 26
2. Prolog 45
3. , , 76
4. : 98
5. 121
6. 136
7. 149
8, 169
9. 192
10. 215
II. Prolog 227
11. 228
12. 247
13. AND/OR 277
14. 301
15. 326
16. 357
17. 383
18. 408
19. 446
20. 478
21.
510
22. 532
23. 559
. Prolog 590
. 592
595
611
619
18
I. Prolog 25
1. Prolog 26
1.1. 26
1.2. 30
1.3. 35
1.4. Prolog 39
1.5. 42 43 44
2. Prolog 45
2.1. 45
2.1.1. 46
2.1.2. 47
2.1.3. 48
2.2. 52
2.3. Prolog 56
2.4. 58
2.5. : 62
2.6. 66
2.6.1. 66
2.6.2.
68
2.6.3. 72
2.7. Prolog 73
74
3. , , 76
3.1. 76
3.2. 78
3.2.1. 79
3.2.2. 79
3.2.3. 82
3.2.4. 82
3.2.5. 83
3.2.6. 84
3.3. 87
3.4. 92 96
4. : 98
4.1. 98
|
|
4.2. 102
4.3. 103
4.4. 107
4.5. 111 4.5.1. 1 111
4.5.2. 2 114
4.5.3. 3 116
4.5.4. 119 120
5. 121
5.1. 121
5.1.1. 1 122
5.1.2. 2 123
5.2. 125
5.2.1. 125
5.2.2. ,
126
5.2.3. 126
5.2.4. 127
5.3. 129
5.4. ,
132
135
135
6. 136
6.1. 136
6.2. , 139
6.2.1. read write 139
6.2.2. 141
6.2.3. , 142
6.3. 143
6.4. 144
6.5. 146 147 , Prolog 148
7. 149
7.1. 149
7.1.1. var, noiwarp atom, integer, float, number, atomic, compound 149
7.1.2. nonvar 151
7.2. ; =.., functor, arg name 156
7.3. 159
7.4. 161
7.5. 164
7.6. bagof, setof findall 165 167
8. 169
8.1. 169
8.2. Prolog 171
8.2.1. 171
8.2.2. 172
8.2.3. 173
8.3. 173
8.3.1. 174
8.3.2. 175
8.3.3. 175
8.4. 176
8.5. 177 8.5.1.
178
8.5.2. 179
8.5.3.
181
8.5.4. 182
8.5.5. arg 184
8.5.6. 186
190
191
9. 192
9.1. 192
9.2. 197
9.3. 201
9.4. 206
9.5. 208
9.5.1. 208
9.5.2. 209
9.5.3. 211 214 214
10. 215
|
|
10.1. - 215
218
218
218
10.2. AVL- - 221
225
225
II. Prolog 227
11. 228
11.1. 228
11.2. 232
11.3. 238
11.4. 242 245 246
12. 247
12.1. 247
12.2.
" " 256
12.3. 261
12.4. 265
12.4.1. * 265
12.4.2. IDA* 266
12.4.3. RBFS 269
275
275
13. AND/OR 277
13.1. AND/OR 277
13.2. AND/OR 281
13.2.1. AND/OR 281
13.2.2. 282
13.2.3. AND/OR 283
13.3. AND/OR 284
13.4. AND/OR 289
13.4.1. 289
13.4.2. 292
13.4.3. - 298 300 300
14. 301
14.1. 301
14.1.1. 301
14.1.2. 303
14.1.3. Prolog 305
14.2. CLP
CLP{R) 306
14.3. CLP 310
14.4. 317
14.5. CLP - CLP(FD) 321
324
325
15. 326
15.1. 326
15.2. 328
15.3. , 331
15.3.1. 331
15.3.2. 333
15.3.3. 334
15.4. 336
15.5. 337
15.5.1. 337
15.5.2. , 339
15.6. 340
15.6.1. , 340
15.6.2. 344
15.6.3. 345
15.7. 348
15.7.1. 349
15.7.2. 350 355 356
16. 357
16.1. 357
16.2. 361
16.2.1. 361
16.2.2. 363
16.2.3. , 364
16.2.4. , 365
16.3. 366
16.3.1. explore 366
16.3.2. useranswer 369
16.3.3. useranswer 371
|
|
16.3.4. present 376
16.3.5. 377
16.3.6. 378
16.3.7. 378 16.4. 380
382
382
17. 383
17.1. 383
17.2. 387
17.3. 390
17.4. 393
17.5. 395
17.6. 398
17.7. 401
17.7.1. 402
17.7.2. 404
406
407
18. 408
18.1. 408
18.2. 409
18.2.1. , 409
18.2.2. 410
18.2.3. 412
18.2.4. 413
18.3.
414
18.4. 419
18.4.1, 419
18.4.2. 422
18.5. 426
18.5.1. 426
18.5.2. "" 428
18.5.3. 430
18.6. 433
18.7. 439
18.7.1. 440
18.7.2. , 440
18.7.3. 441
442
443
19. 446
19.1. 446
19.2. Prolog 449
19.2.1. 449
19.2.2. 450
19.2.3. MIMIHYPER 452
19.2.4. , - 458
19.3. HYPER 459
19.3.1. 460
19.3.2. 463
19.3.3. HYPER 463
19.3.4. HYPER 470
odd(L) even(L) 470
path(StartNode, GoalNode, Path) 471
,
472
, 474
476
477
20. 478
20.1. ,
478
20.1.1.
478
20.1.2. 479
480
480
480
480
20.1.3.
481
20.2. 482
486
486
|
|
486
20.3. 486
20.4. 493
20.4.1. 496
20.4.2. 497
20.4.3. 498
20.5. 502
507
508
21.
510
21.1. Prolog 510
21.2. 516
21.2.1. 516
21.2.2. 518
21.2.3. DCG 520
21.3. 521
21.3.1. 521
21.3.2. "" "every" 525
21.3.3. 527
531
531
22. 532
22.1. , 532
22.2. 534
22.3. --: 537
22.4. , : 541
22.5. 543
22.5.1. 543
22.5.2. 544
22.5.3. 544
22.6. Advice
Language 0 546
22.6.1. ALO 546
22.6.2. " "
549
556
557
23. 559
23.1. 559
23.2. Prolog 560
23.2.1. Prolog 560
23.2.2. 562
23.2.3. 563
23.3. 564
565
565
23.4. - 570
23.5. , 576
23.5.1. , 576
23.5.2. Prolog, , 578
23.5.3. , 579 1 579 2 579
23.5.4. , 580
23.5.5. 582
583
23.6. ,
, 583
588
589
. Prolog 590
590
assert retract 590
590
not "\+ " 591
name(Atom, CodeList) 591
consult reconsult 591
591
. 592
595
1 595
2 595
3 596
4 599
5 600
6 601
7 601
8 602
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
17 | |
18 | |
19 | |
20 | |
21 | |
23 | |
, , , , , , "".