-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresolver.lib
371 lines (371 loc) · 18.2 KB
/
resolver.lib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
#0Y_ #0Y |CHARSET|::|UTF-8|
(|COMMON-LISP|::|LET| |COMMON-LISP|::|NIL|
(|COMMON-LISP|::|LET|
((#1=#:|G75470|
(|COMMON-LISP|::|CONS| '|COMMON-LISP-USER|::|COMPOUND|
(|CLOS|::|CLASS-NAMES|
(|COMMON-LISP|::|GET| '|COMMON-LISP|::|STRUCTURE-OBJECT|
'|CLOS|::|CLOSCLASS|)))))
(|SYSTEM|::|STRUCTURE-UNDEFINE-ACCESSORIES| '|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|REMPROP| '|COMMON-LISP-USER|::|COMPOUND|
'|SYSTEM|::|DEFSTRUCT-DESCRIPTION|)
(|CLOS|::|DEFINE-STRUCTURE-CLASS| '|COMMON-LISP-USER|::|COMPOUND| #1#
'|COMMON-LISP-USER|::|MAKE-COMPOUND| '|COMMON-LISP|::|NIL|
'|COMMON-LISP-USER|::|COPY-COMPOUND| '|COMMON-LISP-USER|::|COMPOUND-P|
(|COMMON-LISP|::|LIST|
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP-USER|::|OP| :|INITARGS| '#2=(:|OP|) :|TYPE|
'|COMMON-LISP|::|T| :|ALLOCATION| ':|INSTANCE|
#3='|CLOS|::|INHERITABLE-INITER|
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#4=(|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION| |COMMON-LISP|::|NIL|))
#5='|CLOS|::|INHERITABLE-DOC| '(|COMMON-LISP|::|NIL|)
#6='|CLOS|::|LOCATION| '1. #7='|CLOS|::|READONLY| '|COMMON-LISP|::|NIL|)
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP|::|&REST| :|INITARGS| '#8=(:|&REST|) :|TYPE|
'|COMMON-LISP|::|T| :|ALLOCATION| ':|INSTANCE| #3#
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#9=(|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION| |COMMON-LISP|::|NIL|))
#5# '(|COMMON-LISP|::|NIL|) #6# '2. #7# '|COMMON-LISP|::|NIL|)
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP-USER|::|ARGS| :|INITARGS| '#10=(:|ARGS|) :|TYPE|
'|COMMON-LISP|::|T| :|ALLOCATION| ':|INSTANCE| #3#
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#11=(|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION| |COMMON-LISP|::|NIL|))
#5# '(|COMMON-LISP|::|NIL|) #6# '3. #7# '|COMMON-LISP|::|NIL|))
(|COMMON-LISP|::|LIST|
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-DIRECT-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP-USER|::|OP| :|INITARGS| '#2# :|TYPE| '|COMMON-LISP|::|T|
:|ALLOCATION| ':|INSTANCE| #12='|CLOS|::|INHERITABLE-INITER|
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#4#)
#13='|CLOS|::|INHERITABLE-DOC| '(|COMMON-LISP|::|NIL|) :|READERS|
'(|COMMON-LISP-USER|::|COMPOUND-OP|) :|WRITERS|
'((|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)))
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-DIRECT-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP|::|&REST| :|INITARGS| '#8# :|TYPE| '|COMMON-LISP|::|T|
:|ALLOCATION| ':|INSTANCE| #12#
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#9#)
#13# '(|COMMON-LISP|::|NIL|) :|READERS|
'(|COMMON-LISP-USER|::|COMPOUND-&REST|) :|WRITERS|
'((|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)))
(|CLOS|::|MAKE-INSTANCE-<STRUCTURE-DIRECT-SLOT-DEFINITION>|
|CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| :|NAME|
'|COMMON-LISP-USER|::|ARGS| :|INITARGS| '#10# :|TYPE| '|COMMON-LISP|::|T|
:|ALLOCATION| ':|INSTANCE| #12#
(|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| '|COMMON-LISP|::|NIL|
#11#)
#13# '(|COMMON-LISP|::|NIL|) :|READERS|
'(|COMMON-LISP-USER|::|COMPOUND-ARGS|) :|WRITERS|
'((|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)))))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|MAKE-COMPOUND|
(|COMMON-LISP|::|&KEY| (#14=#:|OP| |COMMON-LISP|::|NIL|)
(#15=#:|&REST| |COMMON-LISP|::|NIL|) (#16=#:|ARGS| |COMMON-LISP|::|NIL|))
(|COMMON-LISP|::|LET|
((|SYSTEM|::|OBJECT| (|SYSTEM|::|%MAKE-STRUCTURE| #1# 4.)))
(|COMMON-LISP|::|SETF|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1.)
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T| #14#))
(|COMMON-LISP|::|SETF|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2.)
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T| #15#))
(|COMMON-LISP|::|SETF|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3.)
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T| #16#))
|SYSTEM|::|OBJECT|)))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-P|))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|COMPOUND-P| (|SYSTEM|::|OBJECT|)
(|SYSTEM|::|%STRUCTURE-TYPE-P| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COPY-COMPOUND|))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|COPY-COMPOUND|
(|COMMON-LISP|::|STRUCTURE|)
(|COMMON-LISP|::|COPY-STRUCTURE| |COMMON-LISP|::|STRUCTURE|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-OP|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-OP|))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|COMPOUND-OP|
#17=(|SYSTEM|::|OBJECT|)
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1.)))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-OP|
#18='|SYSTEM|::|DEFSTRUCT-READER| '|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-&REST|))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|COMPOUND-&REST| #17#
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2.)))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-&REST| #18#
'|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-ARGS|))
(|COMMON-LISP|::|DEFUN| |COMMON-LISP-USER|::|COMPOUND-ARGS| #17#
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3.)))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-ARGS| #18#
'|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)))
(|COMMON-LISP|::|DEFUN|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)
#19=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|)
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1. |SYSTEM|::|VALUE|))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-OP|
#20='|SYSTEM|::|DEFSTRUCT-WRITER| '|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)))
(|COMMON-LISP|::|DEFUN|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|) #19#
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2. |SYSTEM|::|VALUE|))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-&REST| #20#
'|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|COMMON-LISP|::|PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)))
(|COMMON-LISP|::|DEFUN|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|) #19#
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3. |SYSTEM|::|VALUE|))
(|SYSTEM|::|%PUT| '|COMMON-LISP-USER|::|COMPOUND-ARGS| #20#
'|COMMON-LISP-USER|::|COMPOUND|)
(|SYSTEM|::|%SET-DOCUMENTATION| '|COMMON-LISP-USER|::|COMPOUND|
'|COMMON-LISP|::|TYPE| |COMMON-LISP|::|NIL|)
(|CLOS|::|DEFMETHOD| |CLOS|::|PRINT-OBJECT|
((|SYSTEM|::|STRUCT| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|STREAM|)
(|COMMON-LISP|::|PROGN|
((|COMMON-LISP|::|LAMBDA|
(|COMMON-LISP-USER|::|STRUCT| |COMMON-LISP|::|STREAM|
|COMMON-LISP-USER|::|DEPTH|)
(|COMMON-LISP|::|DECLARE|
(|COMMON-LISP|::|IGNORE| |COMMON-LISP-USER|::|DEPTH|))
(|COMMON-LISP|::|FORMAT| |COMMON-LISP|::|STREAM| "~A~A"
(|COMMON-LISP-USER|::|COMPOUND-OP| |COMMON-LISP-USER|::|STRUCT|)
(|COMMON-LISP-USER|::|COMPOUND-ARGS| |COMMON-LISP-USER|::|STRUCT|)))
|SYSTEM|::|STRUCT| |COMMON-LISP|::|STREAM| |SYSTEM|::|*PRIN-LEVEL*|)))
'|COMMON-LISP-USER|::|COMPOUND|)
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|MAKE-COMPOUND|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP|::|&KEY| (#:|OP| |COMMON-LISP|::|NIL|)
(#:|&REST| |COMMON-LISP|::|NIL|) (#:|ARGS| |COMMON-LISP|::|NIL|))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-P|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|COMPOUND-P|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
'(#1#
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN| |COMMON-LISP-USER|::|COMPOUND-P|))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-P|
(|SYSTEM|::|%STRUCTURE-TYPE-P| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT|))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COPY-COMPOUND|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|COPY-COMPOUND|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|COMMON-LISP|::|STRUCTURE|))
'(#1#
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN| |COMMON-LISP-USER|::|COPY-COMPOUND|))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COPY-COMPOUND|
(|COMMON-LISP|::|COPY-STRUCTURE| |COMMON-LISP|::|STRUCTURE|))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-OP|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-OP|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|COMPOUND-OP|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
'(#1#
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN| |COMMON-LISP-USER|::|COMPOUND-OP|))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-OP|
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1.)))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-&REST|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|COMPOUND-&REST|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
'(#1#
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN| |COMMON-LISP-USER|::|COMPOUND-&REST|))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2.)))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-ARGS|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|COMPOUND-ARGS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '#1=(|SYSTEM|::|OBJECT|))
'(#1#
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN| |COMMON-LISP-USER|::|COMPOUND-ARGS|))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|COMMON-LISP|::|THE| |COMMON-LISP|::|T|
(|SYSTEM|::|%STRUCTURE-REF| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3.)))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)))
(|SYSTEM|::|C-DEFUN|
'#1=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'#2=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|))
'(#2# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| #1#))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-OP|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1. |SYSTEM|::|VALUE|))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)))
(|SYSTEM|::|C-DEFUN|
'#1=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'#2=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|))
'(#2# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| #1#))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2. |SYSTEM|::|VALUE|))))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)))
(|SYSTEM|::|C-DEFUN|
'#1=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'#2=(|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|))
'(#2# (|COMMON-LISP|::|DECLARE| (|SYSTEM|::|IN-DEFUN| #1#))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3. |SYSTEM|::|VALUE|))))
(|SYSTEM|::|C-DEFUN| '|CLOS|::|PRINT-OBJECT|
#(2. 0. |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
|COMMON-LISP|::|NIL|)
|COMMON-LISP|::|NIL| '|CLOS|::|DEFMETHOD|)
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|M-C|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|A| |COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|B|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|ATP|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|KB| |COMMON-LISP-USER|::|A|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|RESLV|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|NRES| |COMMON-LISP-USER|::|PRES|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|GET-NEXT-RES|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|NODE| |COMMON-LISP-USER|::|FRINGE|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|R-S|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|R+S|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNI-REM|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|UNIFIED| |COMMON-LISP-USER|::|LST|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNI-NF|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|N| |COMMON-LISP-USER|::|F|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNIFY-FACTS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNIFY-F|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|REMOVE-DUPES|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|X|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNIFY-CLAUSES|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNIFY|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y| |COMMON-LISP|::|&OPTIONAL|
|COMMON-LISP-USER|::|+THETA+|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|UNIFY-VAR|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|VAR| |COMMON-LISP-USER|::|X|
|COMMON-LISP-USER|::|+THETA+|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|VAR?|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|A|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|OCCURS?|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|VAR| |COMMON-LISP-USER|::|X|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|SUBS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|CLAUSE| |COMMON-LISP-USER|::|+THETA+|)))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CURRENT-SD*|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|STANDARDIZE|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|CLAUSE|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|VAR-REPLACE|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|STMT| |COMMON-LISP-USER|::|I|)))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*TUNA-KB*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*TUNA-QUERY*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*WEST-KB*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*WEST-QUERY*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*SMUGGLER-KB*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*SMUGGLER-QUERY*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CORAL-CLUB-KB*|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CORAL-CLUB-QUERY*|))