|
P
packages, 107 , 111
parallel, 32
parameter, 73 , 207 , 285 , 291 , 310 , 369 , 371 , 382 , 389 , 391 , 394
parse tree, 132 , 133
parser, 131 , 133 , 135 , 137 , 141 , 142 , 145
parser-generator, 137 , 141
parsing, 15 , 33 , 60 , 102 , 131 , 133 , 134 , 135 , 137 , 141 , 148 , 286 , 363
partial application, 71 , 159 , 199
partial function, 25 , 26 , 130 , 180
passive variables, 373 , 374
pathname, 30
pattern-directed, 12 , 42
pattern-matching, 11 , 42 , 52 , 65 , 84 , 111 , 173 , 176 , 177 , 187 , 255 , 424
patterns rule, 421 , 423 , 428
Paulson, 18 , 488
PC atom, 211
Plaisted, 32 , 483 , 488
PLANNER, 140 , 484
Plato, 193
polyadic, 24 , 35 , 63 , 65 , 84 , 99 , 108 , 110 , 111 , 124 , 196 , 199 , 454
polymorphic, 200 , 201 , 202 , 204 , 207 , 242 , 418
polytype, 200 , 201 , 207
possible worlds, 282
postfix, 21
powerset, 55 , 56 , 58 , 73 , 206 , 416 , 424
predicate, 215 , 216 , 339
prefix, 21 , 22 , 65 , 66 , 108 , 171 , 172 , 173
premises, 228 , 232 , 362
prime, 40 , 41 , 42 , 44 , 45 , 46 , 56 , 57 , 125
primitive data structure, 425
primitive functions, 16 , 35 , 61 , 109 , 122 , 126 , 170 , 171 , 476
primitive object, 405 , 426
primitive rule, 416 , 420 , 423
print function, 95 , 96
print vector, 95 , 96 , 376
priority rewrite, 26 , 32
procedural, 1 , 2 , 3 , 9 , 10 , 12 , 18 , 37 , 76 , 167 , 207
product, 10 , 11 , 54 , 73 , 191 , 196 , 200 , 201
programs as data, 60
Prolog, viii, ix, xii, 1 , 16 , 18 , 34 , 138 , 140 , 162 , 209 , 224 , 249 , 259 , 329 , 338 , 339 , 342 , 346 , 348 , 349 , 350 , 351 , 352 , 353 , 354 , 355 , 356 , 358 , 360 , 361 , 362 , 363 , 367 , 370 , 372 , 376 , 377 , 378 , 380 , 381 , 382 , 385 , 387 , 388 , 389 , 390 , 393 , 396 , 397 , 398 , 399 , 돼400, 401 , 402 , 431 , 442 , 444 , 450 , 453 , 460 , 462 , 471 , 475 , 481 , 489 , 491
proof, 11 , 14 , 15 , 45 , 133 , 134 , 135 , 157 , 159 , 161 , 209 , 210 , 211 , 213 , 214 , 215 , 217 , 218 , 219 , 220 , 221 , 222 , 223 , 224 , 231 , 240 , 245 , 246 , 248 , 249 , 251 , 252 , 255 , 256 , 257 , 262 , 263 , 264 , 265 , 266 , 267 , 268 , 275 , 276 , 298 , 339 , 340 , 341 , 342 , 345 , 347 , 360 , 368 , 372 , 404 , 411 , 412 , 413 , 416 , 417 , 418 , 420 , 421 , 422 , 423 , 424 , 425 , 426 , 427 , 429 , 430 , 431 , 432 , 434 , 435 , 438 , 439 , 440 , 441 , 442 , 443 , 448 , 449
proof by cases, 213
proof obligation, 218 , 219 , 220 , 245 , 255 , 342 , 347 , 439 , 442 , 443
proof theory, 298
proof tree, 218 , 219 , 221 , 222 , 223 , 430
property lists, 93
Proplog, 219 , 220 , 221 , 222 , 223 , 232 , 234 , 339 , 340 , 342 , 348 , 361
propositional calculus, 211 , 215 , 298
propositional form, 215
purely functional languages, 83
Python, 13 , 38 , 52 , 60 , 70 , 326 , 329 , 472 , 473 , 474 , 476
|
|
