|
C
Caldwell, 47
Cardelli, 11 , 481
Cartesian product, 54 , 66 , 126 , 200 , 349
cases rule, 421 , 422 , 430 , 435 , 441
Cerrito, 481
Chang, 481
characterise, 3 , 6
Charniak, 140 , 481
choice point, 128 , 129 , 130 , 181
chronological backtracking, 222
Church, 2 , 3 , 5 , 7 , 8 , 9 , 155 , 159 , 160 , 161 , 481
Church-Rosser, vi, 159
Clarke, 488
class, 5 , 6 , 11 , 69 , 128 , 130
clause, 158 , 220 , 339 , 342 , 345 , 346 , 348 , 350 , 353 , 354 , 355 , 356 , 357 , 358 , 359 , 360 , 367 , 368 , 369 , 370 , 371 , 372 , 374 , 375 , 376 , 378 , 380 , 381 , 382 , 389 , 390 , 392 , 393 , 394 , 397 , 398 , 399 , 402 , 442 , 444 , 445 , 471
Clojure, 13 , 33
closed lambda expression, 156
closure, 70 , 71 , 313 , 314
code point, 61 , 63 , 67
Colmeraur, 338
combinator, 156 , 167 , 409 , 411 , 420 , 430 , 436 , 441 , 442
combinator rule, 420 , 422 , 430 , 436
combinatorial explosion, 129 , 198
comment, 29 , 173 , 473
committed choice, 436
Common Lisp, 10 , 14 , 16 , 17 , 51 , 99 , 108 , 326 , 329 , 472 , 473 , 476
compile, 9 , 10 , 11 , 12 , 25 , 32 , 111 , 130 , 143 , 144 , 151 , 177 , 208 , 338 , 441 , 476
compiler-compiler, 15 , 141 , 475
complement, 451
complete, 22 , 137 , 221 , 222 , 223 , 342 , 361 , 417 , 421
computable, 1 , 6 , 7 , 8 , 142 , 210 , 262 , 308 , 381
conclusion, 97 , 208 , 209 , 210 , 213 , 222 , 223 , 232 , 246 , 255 , 362 , 417 , 443
concrete syntax, 268
concurrency, 83
conditional equations, 27
conditional rule, 420
conjunction, 151 , 152 , 211 , 212 , 220 , 234 , 299 , 300 , 301 , 339 , 345
cons cell, 8. 59, 85
cons form, 49 , 53 , 85 , 173 , 177 , 181 , 329 , 378 , 437
cons rule, 419
consing, 49 , 50
constraint programming, 140 , 361
constraint satisfaction problem, 140
constraints, 140 , 166 , 361 , 368 , 370 , 373 , 441
constructive existence proof, 246
context-free, 132 , 469
continuation, 124 , 376 , 377
control, 23 , 42 , 87 , 108 , 122 , 150 , 161 , 190 , 220 , 244 , 249 , 266 , 313 , 314 , 353 , 381 , 385 , 390 , 393 , 397 , 404 , 431 , 444 , 449
convergence, 74
correctness condition, 437 , 438
currying, 70 , 71 , 167 , 198
cut, 118 , 214 , 248 , 249 , 259 , 304 , 339 , 353 , 354 , 356 , 361 , 365 , 367 , 368 , 372 , 376 , 393 , 394 , 395 , 396 , 397 , 414 , 449
cut rule, 214
|
|
