|
M
macro, 107 , 108 , 109 , 110 , 111 , 116 , 121
macroexpansion, 107
Maher, 32
Marseille Prolog, 338
McCarthy, 7 , 8 , 9 , 10 , 18 , 487
McDermott, 140 , 481 , 487
memoisation, 47 , 184
mentioned and not used, 240
metaprogram, 60 , 109 , 111 , 121 , 137
metavariables, 212 , 213 , 263 , 264
MGU, 343 , 417
Milner, 11 , 207 , 484
minimal logic, 215
Minsky, 487 , 488
Miranda, 1 , 18 , 59 , 491
ML, viii, 1 , 11 , 18 , 34 , 53 , 60 , 70 , 154 , 155 , 198 , 200 , 207 , 208 , 243 , 257 , 258 , 271 , 272 , 273 , 274 , 275 , 277 , 451 , 475 , 488 , 491
mode declaration, 244 , 255 , 259 , 355 , 370 , 381 , 383 , 385 , 387 , 398
model, 4 , 7 , 11 , 12 , 13 , 14 , 16 , 17 , 22 , 38 , 76 , 83 , 92 , 110 , 151 , 153 , 164 , 298 , 299 , 300 , 301 , 304 , 305 , 307 , 308 , 309 , 342 , 346 , 356 , 377 , 473 , 477
model checker, 300 , 307 , 308
model theory, 298
modus ponens, 213 , 263 , 265 , 266
monadic, 199
monomorphic, 200 , 207
Montague grammar, 282 , 285
most general type, 200 , 206
mutable, 88
mutual recursion, 39 , 57 , 152 , 440
|
|
