- Page 1: Artificial Intelli~cnce GroupJ. McC
- Page 7: 1, IntroductionThe current basic LI
- Page 10: . Propositional Expressions and Pre
- Page 13 and 14: q,T-T)The propositional connectives
- Page 16 and 17: The symbol - a in label(a,e) is als
- Page 18 and 19: Subexpressions can be similarly abb
- Page 20 and 21: I IThe names cart1 and "cons1' will
- Page 22 and 23: y;T~adar[~]';hCompositions of - car
- Page 24 and 25: [eq[y;zWith these conventions the s
- Page 26 and 27: 1. apply itself forms an expression
- Page 28 and 29: TIMES,^, (PLUS,X,A),Y), the convent
- Page 30 and 31: (SUBST (LAMBDA (X Y Z) (COND( (ATOM
- Page 32 and 33: 2(1) The Wang Algorithm . We quote
- Page 34 and 35: h,l/f,p,thenzh,,wc#),~.For example,
- Page 36 and 37: c1;Tth2[al;a2;th[al;th2[al;a2;thi?[
- Page 38 and 39: member[v;a2]~member[v;al]Vmember[vl
- Page 40 and 41: (TH~L(LAMBDA(V A1 A2 C1 C2) (COND(
- Page 42 and 43: or false (F).Thus the LISP function
- Page 44 and 45: As a simple first example consider
- Page 46 and 47: where apply[f;x;p] = subst[ (A,B);D
- Page 48 and 49: A function defined by an EXPR may b
- Page 50 and 51: function is used for its effect rat
- Page 52 and 53:
When the APPLY operator evaluates a
- Page 54 and 55:
Note on Special Forms:Certain forms
- Page 56 and 57:
IncorrectCorrect6 6. or 6.000 0 0 0
- Page 58 and 59:
to the value of an expression E, th
- Page 60 and 61:
The value of comdef is a list of th
- Page 62 and 63:
Another pseudo-function, compile[^]
- Page 64 and 65:
00007) Storage for the program vari
- Page 66 and 67:
push-down list is indicated by the
- Page 68 and 69:
( , TSX, COMPAT, 4)( ,091)( , STO,
- Page 70 and 71:
estore MIanswer + ACEND OF APPLY, V
- Page 72 and 73:
the correct number of final parenth
- Page 74 and 75:
A running deck (assuming no use of
- Page 76 and 77:
5.2 Tracing OptionA LISP tracing fu
- Page 78 and 79:
1. GETOPFLEX card to call the M.I.T
- Page 80 and 81:
the Flexo-APPLY operator, and the F
- Page 82 and 83:
-+ ONEbFINbbThe read program reads
- Page 84 and 85:
Ioflex(x) is a predicate which has
- Page 86 and 87:
GO -(>STOPthe Flexowriter does not
- Page 88 and 89:
F -GO -RLN6767 -answer is False. .(
- Page 90 and 91:
An atomic symbol or a floating-poin
- Page 92 and 93:
3. An expression that occurs as a s
- Page 94 and 95:
Then grp is used on the list al, as
- Page 96 and 97:
NIL40 I NIL 1 I NIL(A similar struc
- Page 98 and 99:
Floating-Point NumbersFloating-poin
- Page 100 and 101:
locationThen for - atom the associa
- Page 102 and 103:
the user to program the return of r
- Page 105 and 106:
7 Example Exercises----Four exercis
- Page 107 and 108:
TST ~948-371-P. FOX-EXERCISE 1APPLY
- Page 109 and 110:
THE TIME IS NOW 2/16 1139.8FUNCTION
- Page 111:
(4) Specification of a Function Dur
- Page 114 and 115:
ERROR,A9A10AllA12A13UNBOUND VARIABL
- Page 116 and 117:
Errors in list structures:C2F1c; 2N
- Page 118 and 119:
Errors during pri nting:P1P2PRINI A
- Page 120 and 121:
9.1 General FunctionsPredicates:I-a
- Page 122 and 123:
apply~cadr[jl;x;pl];apply[cadr[f];x
- Page 124 and 125:
is the value of evlis.evlis[x;b] =
- Page 126 and 127:
defl[x;e] -The function - defl puts
- Page 128 and 129:
Note that append copies the top lev
- Page 130 and 131:
e atomic symbols,search[x;p; f;u] :
- Page 132 and 133:
ArithmeticFunctions:sum[x; y] : mac
- Page 134 and 135:
prinl[x] : machine languageThe rout
- Page 136 and 137:
PR0GA;Tprintlist[named on the list
- Page 138 and 139:
Consider ~~~~~~[SHAKESPEARE;(UNDER,
- Page 140 and 141:
NORMADVeval[car[r];p2]r = cdr[r]go[
- Page 142 and 143:
empropCx;p] :The function remprop s
- Page 144 and 145:
count: machine languageThe function
- Page 146 and 147:
ndv[x] :This function has been intr
- Page 148 and 149:
The function makcblr takes this lis
- Page 150 and 151:
For example,1(a)(b)(,) - d e is wri
- Page 152 and 153:
educetonxn[m;n] : machine languageT
- Page 154 and 155:
Function Page .desc ...............
- Page 156 and 157:
Function...........................
- Page 158 and 159:
GENERAL INDEXDebugging; see Tracing
- Page 160 and 161:
List structure, 83-95GENERAL INDEXM
- Page 162:
GENERAL INDEXTapes, 68TEN-mode, 75T