-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathresolver.fas
More file actions
543 lines (543 loc) · 31.7 KB
/
Copy pathresolver.fas
File metadata and controls
543 lines (543 loc) · 31.7 KB
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
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|1 10 (DEFSTRUCT (COMPOUND #) OP ...)-1|
#530Y(00 00 00 00 00 00 00 00 20 01 00 2B 01 DA DB DC 38 01 72 9E 2F 03 5D
0B 00 00 DA 2F 04 DA DF 32 A3 DA 68 01 00 E0 63 E1 E2 6B 09 E4 E5 E6
E7 E8 64 E9 EA EB 01 02 6F 12 70 13 EE EF F0 F1 F2 63 6E 11 19 6B 09
E4 F4 E6 F5 E8 64 E9 EA EB 01 02 6F 12 70 13 EE F6 F0 F7 F2 63 6E 11
19 6B 09 E4 65 1E E6 65 1F E8 64 E9 EA EB 01 02 6F 12 70 13 EE 65 20
F0 65 21 F2 63 6E 11 19 7B 03 6B 22 E4 E5 E6 E7 E8 64 E9 EA EB 01 02
6F 12 70 13 EE 65 23 65 24 65 25 65 26 65 27 6E 11 28 6B 22 E4 F4 E6
F5 E8 64 E9 EA EB 01 02 6F 12 70 13 EE 65 29 65 24 65 2A 65 26 65 2B
6E 11 28 6B 22 E4 65 1E E6 65 1F E8 64 E9 EA EB 01 02 6F 12 70 13 EE
65 2C 65 24 65 2D 65 26 65 2E 6E 11 28 7B 03 2D 08 2F E0 2F 30 E0 AD
6D 31 01 32 9C 16 01 65 32 31 62 E2 2F 30 E2 65 33 65 34 32 A2 E2 65
35 32 9C 65 36 31 62 E1 2F 30 E1 65 33 65 37 32 A2 E1 65 38 32 9C 65
39 31 62 65 3A 31 62 65 3B 2F 30 65 3B 65 33 65 3C 32 A2 65 3B 65 3D
32 9C 65 3B 65 3E DA 32 A2 65 3F 31 62 65 40 31 62 65 41 2F 30 65 41
65 33 65 42 32 A2 65 41 65 43 32 9C 65 41 65 3E DA 32 A2 65 44 31 62
65 45 31 62 65 46 2F 30 65 46 65 33 65 47 32 A2 65 46 65 48 32 9C 65
46 65 3E DA 32 A2 65 49 31 62 65 4A 31 62 65 4B 2F 30 65 4B 65 33 65
4C 32 A2 65 4B 65 4D 32 9C 65 3B 65 4E DA 32 A2 65 4F 31 62 65 50 31
62 65 51 2F 30 65 51 65 33 65 52 32 A2 65 51 65 53 32 9C 65 41 65 4E
DA 32 A2 65 54 31 62 65 55 31 62 65 56 2F 30 65 56 65 33 65 57 32 A2
65 56 65 58 32 9C 65 46 65 4E DA 32 A2 DA 65 59 63 2D 03 5A 65 5B 65
5C 38 01 8F 9E 04 65 5B 2F 5D 65 5B 65 5E 65 5F 63 65 60 65 61 65 62
65 63 65 64 DA 38 02 72 3A 64 38 02 72 3A 7B 02 7B 08 2D 03 65 C5 19
01)
(|COMMON-LISP-USER|::|COMPOUND| |COMMON-LISP|::|STRUCTURE-OBJECT|
|CLOS|::|CLOSCLASS| |CLOS|::|CLASS-NAMES|
|SYSTEM|::|STRUCTURE-UNDEFINE-ACCESSORIES|
|SYSTEM|::|DEFSTRUCT-DESCRIPTION| |COMMON-LISP-USER|::|MAKE-COMPOUND|
|COMMON-LISP-USER|::|COPY-COMPOUND| |COMMON-LISP-USER|::|COMPOUND-P|
|CLOS|::|<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>| :|NAME|
|COMMON-LISP-USER|::|OP| :|INITARGS| (:|OP|) :|TYPE| :|ALLOCATION|
:|INSTANCE| |CLOS|::|INHERITABLE-INITER|
|SYSTEM|::|MAKE-CONSTANT-INITFUNCTION|
|CLOS|::|MAKE-INHERITABLE-SLOT-DEFINITION-INITER| |CLOS|::|INHERITABLE-DOC|
(|COMMON-LISP|::|NIL|) |CLOS|::|LOCATION| 1. |CLOS|::|READONLY|
|CLOS|::|MAKE-INSTANCE-<STRUCTURE-EFFECTIVE-SLOT-DEFINITION>|
|COMMON-LISP|::|&REST| (:|&REST|) (|COMMON-LISP|::|NIL|) 2.
|COMMON-LISP-USER|::|ARGS| (:|ARGS|) (|COMMON-LISP|::|NIL|) 3.
|CLOS|::|<STRUCTURE-DIRECT-SLOT-DEFINITION>| (|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>|
(|COMMON-LISP|::|NIL|) (|COMMON-LISP-USER|::|COMPOUND-&REST|)
((|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|))
(|COMMON-LISP|::|NIL|) (|COMMON-LISP-USER|::|COMPOUND-ARGS|)
((|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|))
|CLOS|::|DEFINE-STRUCTURE-CLASS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|MAKE-COMPOUND|
#47Y(00 00 00 00 00 00 00 00 A6 1B 03 00 01 00 3D 03 3D 02 3D 01 69 00
01 DE 72 45 DF AD E0 B3 32 44 DF AD E1 B2 32 44 DF AD E2 B1 32 44
15 19 04)
(|COMMON-LISP|::|NIL| :|OP| :|&REST| :|ARGS| 4.
|COMMON-LISP-USER|::|COMPOUND| 1. 2. 3.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP|::|&KEY| (#:|OP| |COMMON-LISP|::|NIL|)
(#:|&REST| |COMMON-LISP|::|NIL|) (#:|ARGS| |COMMON-LISP|::|NIL|))
|COMMON-LISP|::|NIL| 1)
(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-P|)
|SYSTEM|::|INLINE-EXPANSION|
((|SYSTEM|::|OBJECT|)
(|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|)))
#Y(|COMMON-LISP-USER|::|COMPOUND-P|
#16Y(00 00 00 00 01 00 00 00 20 02 DA AE 32 47 19 02)
(|COMMON-LISP-USER|::|COMPOUND|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COPY-COMPOUND|)
((|COMMON-LISP|::|STRUCTURE|)
(|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|)))
#Y(|COMMON-LISP-USER|::|COPY-COMPOUND|
#15Y(00 00 00 00 01 00 00 00 26 02 AD 32 46 19 02) ()
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP|::|STRUCTURE|) |COMMON-LISP|::|NIL| 1)
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-OP|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-OP|)
|COMMON-LISP-USER|::|COMPOUND-OP|
((|SYSTEM|::|OBJECT|)
(|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.))))
#Y(|COMMON-LISP-USER|::|COMPOUND-OP|
#17Y(00 00 00 00 01 00 00 00 20 02 DA AE DB 32 43 19 02)
(|COMMON-LISP-USER|::|COMPOUND| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
|SYSTEM|::|DEFSTRUCT-READER|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-&REST|)
|COMMON-LISP-USER|::|COMPOUND-&REST|
((|SYSTEM|::|OBJECT|)
(|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.))))
#Y(|COMMON-LISP-USER|::|COMPOUND-&REST|
#17Y(00 00 00 00 01 00 00 00 20 02 DA AE DB 32 43 19 02)
(|COMMON-LISP-USER|::|COMPOUND| 2.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE| |COMMON-LISP-USER|::|COMPOUND-ARGS|)
|COMMON-LISP-USER|::|COMPOUND-ARGS|
((|SYSTEM|::|OBJECT|)
(|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.))))
#Y(|COMMON-LISP-USER|::|COMPOUND-ARGS|
#17Y(00 00 00 00 01 00 00 00 20 02 DA AE DB 32 43 19 02)
(|COMMON-LISP-USER|::|COMPOUND| 3.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|))
#.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP-USER|::|COMPOUND-OP|)
((|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|)
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN|
#1=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-OP|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-OP|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 1. |SYSTEM|::|VALUE|)))
#Y(#1# #18Y(00 00 00 00 02 00 00 00 20 03 DA AE DB B1 32 44 19 03)
(|COMMON-LISP-USER|::|COMPOUND| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
|SYSTEM|::|DEFSTRUCT-WRITER|
(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|))
#.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP-USER|::|COMPOUND-&REST|)
((|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|)
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN|
#2=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-&REST|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-&REST|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 2. |SYSTEM|::|VALUE|)))
#Y(#2# #18Y(00 00 00 00 02 00 00 00 20 03 DA AE DB B1 32 44 19 03)
(|COMMON-LISP-USER|::|COMPOUND| 2.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
(|COMMON-LISP|::|FUNCTION|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)
(|COMMON-LISP|::|T| |COMMON-LISP-USER|::|COMPOUND|) |COMMON-LISP|::|T|)
(|COMMON-LISP|::|INLINE|
(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|))
#.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP-USER|::|COMPOUND-ARGS|)
((|SYSTEM|::|VALUE| |SYSTEM|::|OBJECT|)
(|COMMON-LISP|::|DECLARE|
(|SYSTEM|::|IN-DEFUN|
#3=(|COMMON-LISP|::|SETF| |COMMON-LISP-USER|::|COMPOUND-ARGS|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|COMPOUND-ARGS|
(|SYSTEM|::|%STRUCTURE-STORE| '|COMMON-LISP-USER|::|COMPOUND|
|SYSTEM|::|OBJECT| 3. |SYSTEM|::|VALUE|)))
#Y(#3# #18Y(00 00 00 00 02 00 00 00 20 03 DA AE DB B1 32 44 19 03)
(|COMMON-LISP-USER|::|COMPOUND| 3.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
|COMMON-LISP|::|TYPE| |SYSTEM|::|%SET-DOCUMENTATION| |CLOS|::|PRINT-OBJECT|
|SYSTEM|::|TRACED-DEFINITION| |SYSTEM|::|UNTRACE1|
#Y(#:|1 10 (DEFSTRUCT (COMPOUND #) OP ...)-1-1|
#15Y(00 00 00 00 01 00 00 00 20 02 DA C6 5D 19 02)
(#Y(#:|1 10 (DEFSTRUCT (COMPOUND #) OP ...)-1-1-1|
#27Y(00 00 00 00 02 00 00 00 20 03 AD DA DB B1 DC 72 43 DB B2 DD 72
43 2D 04 04 19 03)
(#Y(#:|1 10 (DEFSTRUCT (COMPOUND #) OP ...)-1-1-1-1|
#21Y(00 00 00 00 03 00 00 00 21 19 AF B1 31 90 AE B1 31 90 9E 19
05)
() (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
|COMMON-LISP-USER|::|COMPOUND| 1. 3. |COMMON-LISP|::|FORMAT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
(|COMMON-LISP|::|T|))
(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|))
:|QUALIFIERS| :|LAMBDA-LIST| (|SYSTEM|::|STRUCT| |COMMON-LISP|::|STREAM|)
|CLOS|::|SIGNATURE|
#(2. 0. |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
|COMMON-LISP|::|NIL|)
:|SPECIALIZERS| |CLOS|::|DO-DEFMETHOD|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|12 14 (DEFUN M-C (A &REST B) ...)-2|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|M-C| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|M-C|
#19Y(00 00 00 00 01 00 00 00 27 17 DA AF DB B0 2D 04 02 19 03)
(:|OP| :|ARGS| |COMMON-LISP-USER|::|MAKE-COMPOUND|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|A| |COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|B|)
"compound literal quick-make" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|16 18 (DEFUN ATP (KB A) ...)-3|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ATP| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ATP|
#18Y(00 00 00 00 02 00 00 00 26 03 AE AE 7B 01 30 00 19 03)
(|COMMON-LISP-USER|::|RESLV|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|KB| |COMMON-LISP-USER|::|A|)
"calls the resolve function" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|20 30 (DEFUN RESLV (NRES PRES) ...)-4|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|RESLV| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|RESLV|
#57Y(00 00 00 00 02 00 00 00 26 03 94 01 94 02 B0 B0 73 02 23 70 00 92
00 06 93 01 1B C9 19 05 AD AD B2 B2 73 02 23 DB 38 03 72 82 B0 B0
70 02 7B 01 6C 58 61 03 19 05 C8 19 05)
(|COMMON-LISP-USER|::|GET-NEXT-RES|
#Y(|COMMON-LISP-USER|::|RESLV-1|
#21Y(00 00 00 00 02 00 00 00 26 03 AE 71 A0 AE 71 A0 33 01 31 19 03)
() (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)
|COMMON-LISP|::|NIL| 1)
|COMMON-LISP-USER|::|R-S| |COMMON-LISP-USER|::|CONTRADICTION|
"No Resolution")
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|NRES| |COMMON-LISP-USER|::|PRES|)
"main resolution loop, including unit preference/linear resolution" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|31 37 (DEFUN GET-NEXT-RES (NODE FRINGE) ...)-5|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|GET-NEXT-RES| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|GET-NEXT-RES|
#36Y(00 00 00 00 02 00 00 00 26 03 AD 63 1B 0F 15 19 04 87 01 00 14 B1
70 00 25 01 73 83 01 AD 8D 9F 70 00 19 05)
(|COMMON-LISP-USER|::|UNIFY-FACTS| |COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|NODE| |COMMON-LISP-USER|::|FRINGE|)
"grabs the next clause to resolve against" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|39 42 (DEFUN R-S (X Y) ...)-6|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|R-S| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|R-S|
#25Y(00 00 00 00 02 00 00 00 26 03 AD 6F 00 AF AD 70 01 B0 AE 70 02 30
03 19 04)
(|COMMON-LISP-USER|::|STANDARDIZE| |COMMON-LISP-USER|::|R+S|
|COMMON-LISP-USER|::|UNIFY-FACTS| |COMMON-LISP-USER|::|SUBS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)
"resolves two full clauses" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|44 49 (DEFUN R+S (X Y) ...)-7|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|R+S| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|R+S|
#59Y(00 00 00 00 02 00 00 00 26 03 AE 01 03 1B 1E AE AD 31 B7 1B 0E 87
03 02 14 B2 70 00 71 AB 92 01 6E 9D F9 14 38 01 80 A9 02 16 01 83
03 AF 8D 9F 64 AC B3 B3 73 02 23 30 01 19 07)
(|COMMON-LISP-USER|::|UNI-NF| |COMMON-LISP-USER|::|UNI-REM|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)
"loops through clauses to and unifies" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|51 53 (DEFUN UNI-REM (UNIFIED LST) ...)-8|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNI-REM| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNI-REM|
#62Y(00 00 00 00 02 00 00 00 26 03 AD 01 03 1B 28 00 1B 13 AE AD 31 B7
1B 15 87 03 02 14 B3 38 06 8E 77 6D AE 61 01 14 71 AB 92 01 67 9D
F9 14 38 01 80 A9 02 16 01 83 03 AF 8D 9F 5D 15 19 06)
() (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|UNIFIED| |COMMON-LISP-USER|::|LST|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|55 58 (DEFUN UNI-NF (N F) ...)-9|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNI-NF| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNI-NF|
#44Y(00 00 00 00 02 00 00 00 26 03 AD 63 1B 17 B0 7B 01 AD 7B 01 33 02
23 19 05 87 01 00 B0 AD 70 00 25 01 6B 83 01 AD 8D 9F 70 00 19 05)
(|COMMON-LISP-USER|::|UNIFY-CLAUSES| |COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|N| |COMMON-LISP-USER|::|F|) |COMMON-LISP|::|NIL|
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|60 62 (DEFUN UNIFY-FACTS (X Y) ...)-10|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNIFY-FACTS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNIFY-FACTS|
#23Y(00 00 00 00 02 00 00 00 26 03 AE AE 70 00 93 00 03 15 19 03 C6 19
04)
(|COMMON-LISP-USER|::|UNIFY-F| |COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|) |COMMON-LISP|::|NIL|
1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|64 72 (DEFUN UNIFY-F (X Y) ...)-11|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNIFY-F| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNIFY-F|
#116Y(00 00 00 00 02 00 00 00 26 03 AE 01 03 1B 80 5A 87 03 02 B1 01 03
1B 39 00 1B 24 DC 61 01 1B 1F AE AD 31 B7 1B 21 AE AD 31 B7 1B 34
87 03 02 B2 AF 70 00 24 01 62 B2 AF 8B 00 60 B2 AF 30 00 14 71 AB
92 01 5B 9D F9 14 38 01 80 A9 02 16 01 83 03 AF 8D 9F 57 15 16 02
F8 71 AB 92 01 48 9D F9 14 38 01 80 A9 02 16 01 83 03 AF 8D 9F FF
A1 AC 2F 03 19 07)
(|COMMON-LISP-USER|::|UNIFY-CLAUSES| |COMMON-LISP-USER|::|FAILURE|
(|COMMON-LISP-USER|::|+N+|) |COMMON-LISP-USER|::|REMOVE-DUPES|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)
"returns all substitutions for two full facts" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|74 83 (DEFUN REMOVE-DUPES (X) ...)-12|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|REMOVE-DUPES| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|REMOVE-DUPES|
#85Y(00 00 00 00 01 00 00 00 26 02 AD 01 03 1B 3F 00 1B 2A 00 1B 27 AE
AD 38 06 8E 77 76 C5 1B 1D 00 1B 1A AE AD 31 B7 1B 1C 87 03 02 1D
62 AE 24 00 64 94 02 AD 38 03 8C C8 66 AE 61 01 14 71 AB 92 01 60
9D F9 14 38 01 80 A9 02 16 01 83 03 AF 8D 9F 56 15 19 05)
(|COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X|) "remove duplicates literals from x" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|85 95 (DEFUN UNIFY-CLAUSES (X Y) ...)-13|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNIFY-CLAUSES| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNIFY-CLAUSES|
#124Y(00 00 00 00 02 00 00 00 26 03 DA AF DB 72 43 71 51 DA AF DB 72 43
71 51 DA B1 DB 72 43 71 51 DC 71 31 DA B1 DB 72 43 71 51 DC 71 31
AD 25 03 0A AF DB 38 01 72 60 AF 8E 14 28 AC 25 03 3B AE DB 38 01
72 60 B0 8F 14 31 B2 DE B0 DB 38 01 72 60 38 01 71 E1 DF DA B6 E0
72 43 2D 04 07 14 30 08 19 07 DE B0 DB 38 01 72 60 38 01 71 E1 DF
DA B6 E0 72 43 6E 04 07 A3 1B 64 CE 19 07)
(|COMMON-LISP-USER|::|COMPOUND| 1. 0. #\! :|OP| :|ARGS| 3.
|COMMON-LISP-USER|::|MAKE-COMPOUND| |COMMON-LISP-USER|::|UNIFY|
|COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|)
"unifies two literals but only if one is opposite of the first" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|97 110 (DEFUN UNIFY (X Y &OPTIONAL ...) ...)-14|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNIFY| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNIFY|
#109Y(00 00 00 00 02 00 01 00 26 09 3D 01 AD 24 00 16 AF AF 8E 13 14 AF
88 01 13 AE 89 01 29 AE A1 14 AF 2D 03 02 19 04 C5 19 04 9E 19 04
AF A0 1B 6F DD B0 DE 72 43 DD B0 DE 72 43 DD B2 DF 72 43 DD B2 DF
32 43 1B 1A DD B0 8F 47 05 DD AF 8E 47 60 AF 8F 1D 16 AE 8F 1D 12
95 03 95 03 94 05 A2 5B 14 B1 6C FF A5 29 03 07 FF A0 C5 19 04)
(|COMMON-LISP-USER|::|FAILURE| |COMMON-LISP-USER|::|VAR?|
|COMMON-LISP-USER|::|UNIFY-VAR| |COMMON-LISP-USER|::|COMPOUND| 3. 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|X| |COMMON-LISP-USER|::|Y|
|COMMON-LISP|::|&OPTIONAL| |COMMON-LISP-USER|::|+THETA+|)
"unifies two literals" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|112 118 (DEFUN UNIFY-VAR (VAR X +THETA+) ...)-15|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|UNIFY-VAR| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|UNIFY-VAR|
#71Y(00 00 00 00 03 00 00 00 26 04 AE AE 70 00 B0 AF 38 03 8C C8 17 AF
AF 38 03 8D C8 1E B0 B0 B0 38 03 31 C8 5C 5B 14 B0 2D 03 01 19 05
B0 AF 38 03 31 C8 5C 78 A1 1B 6E C8 19 05 B0 AD 8A 02 78 B0 AD 7B
02 A0 5D 19 05)
(|COMMON-LISP-USER|::|SUBS| |COMMON-LISP-USER|::|UNIFY|
|COMMON-LISP-USER|::|OCCURS?| |COMMON-LISP-USER|::|FAILURE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|VAR| |COMMON-LISP-USER|::|X|
|COMMON-LISP-USER|::|+THETA+|)
"unify variables" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|120 122 (DEFUN VAR? (A) ...)-16|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|VAR?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|VAR?|
#27Y(00 00 00 00 01 00 00 00 26 02 AD 32 18 1F 0A AD 71 51 DA 71 31 C6
5A 19 02 19 02)
(0. #\?) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|A|) "checks if this is a variable" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|124 131 (DEFUN OCCURS? (VAR X) ...)-17|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|OCCURS?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|OCCURS?|
#62Y(00 00 00 00 02 00 00 00 26 03 AE AE 8E 14 12 93 01 0C 93 02 09 DA
AE 8E 47 0A AD 8E 1D 10 00 19 03 02 19 03 AE DA AF DB 72 43 29 02
05 5C AE 94 02 28 57 1E 07 AE 95 02 29 02 05 4E 19 03)
(|COMMON-LISP-USER|::|COMPOUND| 3.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|VAR| |COMMON-LISP-USER|::|X|)
"check if var occurs in x" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|133 142 (DEFUN SUBS (CLAUSE +THETA+) ...)-18|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|SUBS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|SUBS|
#80Y(00 00 00 00 02 00 00 00 26 03 AE AE 38 03 31 C8 5C 78 93 03 10 DA
B0 8E 47 0E AF 88 06 1E AF 8E 1D 20 A0 19 04 00 19 04 DB DA B1 DC
72 43 DD DA B3 DE 72 43 B2 6C 53 2D 04 05 19 04 93 00 63 15 19 03
94 03 AF 6C 43 95 04 B0 28 FF BD 5D 19 04)
(|COMMON-LISP-USER|::|COMPOUND| :|OP| 1. :|ARGS| 3.
|COMMON-LISP-USER|::|MAKE-COMPOUND| |COMMON-LISP-USER|::|VAR?|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|CLAUSE| |COMMON-LISP-USER|::|+THETA+|)
"substitute theta into clause" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|144 144 (DEFPARAMETER *CURRENT-SD* 1)-19|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC 31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CURRENT-SD*|)
|COMMON-LISP-USER|::|*CURRENT-SD*| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|146 149 (DEFUN STANDARDIZE (CLAUSE) ...)-20|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|STANDARDIZE| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|STANDARDIZE|
#23Y(00 00 00 00 01 00 00 00 26 02 6B 00 32 B1 0F 00 AD 6B 00 30 01 19
02)
(|COMMON-LISP-USER|::|*CURRENT-SD*| |COMMON-LISP-USER|::|VAR-REPLACE|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|CLAUSE|) "standardize-apart a clause" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|151 160 (DEFUN VAR-REPLACE (STMT I) ...)-21|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|VAR-REPLACE| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|VAR-REPLACE|
#82Y(00 00 00 00 02 00 00 00 26 03 DA AF 8E 47 0E 93 02 1F AE 8E 1D 1E
AE 88 06 27 9F 19 03 DB DA B0 DC 72 43 DD DA B2 DE 72 43 B1 6C 5E
2D 04 05 19 03 00 19 03 94 02 AE 6C 51 95 03 AF 28 4C 5D 19 03 AE
71 51 AE 38 10 71 91 73 02 13 38 01 31 E1 19 03)
(|COMMON-LISP-USER|::|COMPOUND| :|OP| 1. :|ARGS| 3.
|COMMON-LISP-USER|::|MAKE-COMPOUND| |COMMON-LISP-USER|::|VAR?|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|STMT| |COMMON-LISP-USER|::|I|)
"replace variables for standardization" 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|162 183 (DEFPARAMETER *TUNA-KB* (LIST # # ...))-22|
#119Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD DE 70 05 70 05 E0 E1
DE 70 05 DE 6E 03 05 7B 02 E2 DE DD DE 70 05 6E 03 05 E0 E1 DE 70 05
DE 6E 03 05 7B 02 E2 E3 DE 6E 03 05 E4 E5 70 05 E6 DE E5 6E 03 05 7B
03 E4 DE 70 05 E0 E7 DE 6E 03 05 7B 02 E8 E7 E9 6E 03 05 E8 EA E9 6E
03 05 7B 02 EB E9 70 05 7B 01 EC DE 70 05 DC DE 70 05 7B 02 7B 07 31
5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*TUNA-KB*|)
|COMMON-LISP-USER|::|*TUNA-KB*| |COMMON-LISP-USER|::|ANIMAL|
|COMMON-LISP-USER|::|F| |COMMON-LISP-USER|::|?X| |COMMON-LISP-USER|::|M-C|
|COMMON-LISP-USER|::|LOVES| |COMMON-LISP-USER|::|G|
|COMMON-LISP-USER|::|!LOVES| |COMMON-LISP-USER|::|?Y|
|COMMON-LISP-USER|::|!ANIMAL| |COMMON-LISP-USER|::|?Z|
|COMMON-LISP-USER|::|!KILLS| |COMMON-LISP-USER|::|JACK|
|COMMON-LISP-USER|::|KILLS| |COMMON-LISP-USER|::|TUNA|
|COMMON-LISP-USER|::|CURIOSITY| |COMMON-LISP-USER|::|CAT|
|COMMON-LISP-USER|::|!CAT|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|185 186 (DEFPARAMETER *TUNA-QUERY* (LIST #))-23|
#27Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD DE 6E 03 05 7B 01 31 5A
C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*TUNA-QUERY*|)
|COMMON-LISP-USER|::|*TUNA-QUERY*| |COMMON-LISP-USER|::|!KILLS|
|COMMON-LISP-USER|::|CURIOSITY| |COMMON-LISP-USER|::|TUNA|
|COMMON-LISP-USER|::|M-C|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|188 205 (DEFPARAMETER *WEST-KB* (LIST # # ...))-24|
#115Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 DF E0 70 04 E1
DD E0 E2 6E 04 04 E3 E2 70 04 E4 DD 70 04 7B 05 E5 DD 70 04 E6 E7 DD
6E 03 04 E8 E9 DD E7 6E 04 04 7B 03 EA DD EB 6E 03 04 EC DD 70 04 7B
02 E5 DD 70 04 ED DD 70 04 7B 02 EE E7 EF 6E 03 04 7B 01 F0 EF 70 04
7B 01 F1 E9 70 04 7B 01 F2 E7 EB 6E 03 04 7B 01 7B 08 31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*WEST-KB*|)
|COMMON-LISP-USER|::|*WEST-KB*| |COMMON-LISP-USER|::|!AMERICAN|
|COMMON-LISP-USER|::|?X| |COMMON-LISP-USER|::|M-C|
|COMMON-LISP-USER|::|!WEAPON| |COMMON-LISP-USER|::|?Y|
|COMMON-LISP-USER|::|!SELLS| |COMMON-LISP-USER|::|?Z|
|COMMON-LISP-USER|::|!HOSTILE| |COMMON-LISP-USER|::|CRIMINAL|
|COMMON-LISP-USER|::|!MISSLE| |COMMON-LISP-USER|::|!OWNS|
|COMMON-LISP-USER|::|NONO| |COMMON-LISP-USER|::|SELLS|
|COMMON-LISP-USER|::|WEST| |COMMON-LISP-USER|::|!ENEMY|
|COMMON-LISP-USER|::|AMERICA| |COMMON-LISP-USER|::|HOSTILE|
|COMMON-LISP-USER|::|WEAPON| |COMMON-LISP-USER|::|OWNS|
|COMMON-LISP-USER|::|M1| |COMMON-LISP-USER|::|MISSLE|
|COMMON-LISP-USER|::|AMERICAN| |COMMON-LISP-USER|::|ENEMY|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|207 208 (DEFPARAMETER *WEST-QUERY* (LIST #))-25|
#25Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 7B 01 31 5A C6 19
01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*WEST-QUERY*|)
|COMMON-LISP-USER|::|*WEST-QUERY*| |COMMON-LISP-USER|::|!CRIMINAL|
|COMMON-LISP-USER|::|WEST| |COMMON-LISP-USER|::|M-C|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|210 223 (DEFPARAMETER *SMUGGLER-KB* (LIST # # ...))-26|
#91Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 DF DD 70 04 E0 DD
E1 DD 70 04 6E 03 04 7B 03 DC DD 70 04 DF DD 70 04 E2 E1 DD 70 04 70 04
7B 03 E3 E2 70 04 7B 01 E4 E2 70 04 7B 01 E5 E2 E6 6E 03 04 E3 E6 70 04
7B 02 E7 E8 70 04 E9 E8 70 04 7B 02 7B 06 31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*SMUGGLER-KB*|)
|COMMON-LISP-USER|::|*SMUGGLER-KB*| |COMMON-LISP-USER|::|!E|
|COMMON-LISP-USER|::|?X| |COMMON-LISP-USER|::|M-C| |COMMON-LISP-USER|::|V|
|COMMON-LISP-USER|::|S| |COMMON-LISP-USER|::|F| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|P| |COMMON-LISP-USER|::|E| |COMMON-LISP-USER|::|!S|
|COMMON-LISP-USER|::|?Y| |COMMON-LISP-USER|::|!P| |COMMON-LISP-USER|::|?Z|
|COMMON-LISP-USER|::|!V|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|225 227 (DEFPARAMETER *SMUGGLER-QUERY* (LIST # #))-27|
#29Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 DF DD 70 04 7B 02
31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*SMUGGLER-QUERY*|)
|COMMON-LISP-USER|::|*SMUGGLER-QUERY*| |COMMON-LISP-USER|::|!P|
|COMMON-LISP-USER|::|?W| |COMMON-LISP-USER|::|M-C|
|COMMON-LISP-USER|::|!C|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|229 242 (DEFPARAMETER *CORAL-CLUB-KB* (LIST # # ...))-28|
#99Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 DF DD 70 04 7B 02
E0 E1 70 04 E2 E1 E3 6E 03 04 7B 02 E4 E5 70 04 E6 E5 E7 6E 03 04 7B 02
E2 E8 E9 6E 03 04 E2 EA E9 6E 03 04 7B 02 E6 EA E9 6E 03 04 E6 E8 E9 6E
03 04 7B 02 E6 EA E7 6E 03 04 7B 01 E6 EA E3 6E 03 04 7B 01 7B 07 31 5A
C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CORAL-CLUB-KB*|)
|COMMON-LISP-USER|::|*CORAL-CLUB-KB*| |COMMON-LISP-USER|::|WS|
|COMMON-LISP-USER|::|?X| |COMMON-LISP-USER|::|M-C| |COMMON-LISP-USER|::|SD|
|COMMON-LISP-USER|::|!SD| |COMMON-LISP-USER|::|?Y|
|COMMON-LISP-USER|::|!LIKES| |COMMON-LISP-USER|::|WAVES|
|COMMON-LISP-USER|::|!WS| |COMMON-LISP-USER|::|?Z|
|COMMON-LISP-USER|::|LIKES| |COMMON-LISP-USER|::|WARM|
|COMMON-LISP-USER|::|LAURA| |COMMON-LISP-USER|::|?W|
|COMMON-LISP-USER|::|JACOB|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|244 246 (DEFPARAMETER *CORAL-CLUB-QUERY* (LIST # #))-29|
#29Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB DC DD 70 04 DF DD 70 04 7B 02
31 5A C6 19 01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*CORAL-CLUB-QUERY*|)
|COMMON-LISP-USER|::|*CORAL-CLUB-QUERY*| |COMMON-LISP-USER|::|!SD|
|COMMON-LISP-USER|::|?V| |COMMON-LISP-USER|::|M-C|
|COMMON-LISP-USER|::|WS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))