1 |
|
|
2 |
|
(SUBST 'A 'B |
3 |
|
'(U B |
4 |
|
(B) |
5 |
|
C)) |
6 |
|
(U A |
7 |
|
(A) |
8 |
|
C) |
9 |
|
|
10 |
|
(SUBST 'A 'B |
11 |
|
'(U B |
12 |
|
(B) |
13 |
|
C) |
14 |
|
:TEST-NOT |
15 |
|
#'(LAMBDA (X Y) |
16 |
|
(IF (ATOM Y) |
17 |
|
(EQL X Y) |
18 |
|
T))) |
19 |
|
(A B |
20 |
|
(B . A) |
21 |
|
A . A) |
22 |
|
|
23 |
|
(SUBST 'A 'B |
24 |
|
'(U B |
25 |
|
(B) |
26 |
|
C) |
27 |
|
:TEST |
28 |
|
#'(LAMBDA (X Y) |
29 |
|
(NOT (EQL X Y)))) |
30 |
|
A |
31 |
|
|
32 |
|
(SUBST 'A 'B |
33 |
|
'(U B |
34 |
|
(B) |
35 |
|
C) |
36 |
|
:TEST-NOT |
37 |
|
#'(LAMBDA (X Y) |
38 |
|
(NOT (EQL X Y)))) |
39 |
|
(U A |
40 |
|
(A) |
41 |
|
C) |
42 |
|
|
43 |
|
(SUBST 'A 'B |
44 |
|
'(U B |
45 |
|
(B) |
46 |
|
C) |
47 |
|
:TEST-NOT |
48 |
|
#'(LAMBDA (X Y) |
49 |
|
(NOT (EQL X Y))) |
50 |
|
:KEY |
51 |
|
#'(LAMBDA (U) |
52 |
|
(IF (LISTP U) |
53 |
|
(CAR U)))) |
54 |
|
(U . A) |
55 |
|
|
56 |
|
(SUBST-IF 'NUMMMER 'NUMBERP |
57 |
|
'((A (7 (V 6))))) |
58 |
|
((A (NUMMMER (V NUMMMER)))) |
59 |
|
|
60 |
|
(SUBST-IF-NOT 'NUMMMER 'NUMBERP |
61 |
|
'((A (7 (V 6))))) |
62 |
|
NUMMMER |
63 |
|
|
64 |
|
(SUBST-IF-NOT 'NUMMMER |
65 |
|
#'(LAMBDA (X) |
66 |
|
(AND (LISTP X) |
67 |
|
(NUMBERP X))) |
68 |
|
'((A (7 (V 6))))) |
69 |
|
NUMMMER |
70 |
|
|
71 |
|
(SUBST-IF-NOT 'NUMMMER |
72 |
|
#'(LAMBDA (X) |
73 |
|
(OR (LISTP X) |
74 |
|
(NUMBERP X))) |
75 |
|
'((A (7 (V 6))))) |
76 |
|
((NUMMMER (7 (NUMMMER 6)))) |
77 |
|
|
78 |
|
(NSUBST 'A 'B |
79 |
|
'(U B |
80 |
|
(B) |
81 |
|
C) |
82 |
|
:TEST-NOT |
83 |
|
#'(LAMBDA (X Y) |
84 |
|
(IF (ATOM Y) |
85 |
|
(EQL X Y) |
86 |
|
T))) |
87 |
|
(A B |
88 |
|
(B . A) |
89 |
|
A . A) |
90 |
|
|
91 |
|
(NSUBST 'A 'B |
92 |
|
'(U B |
93 |
|
(B) |
94 |
|
C) |
95 |
|
:TEST-NOT |
96 |
|
#'(LAMBDA (X Y) |
97 |
|
(NOT (EQL X Y)))) |
98 |
|
(U A |
99 |
|
(A) |
100 |
|
C) |
101 |
|
|
102 |
|
(NSUBST 'A 'B |
103 |
|
'(U B |
104 |
|
(B) |
105 |
|
C) |
106 |
|
:TEST |
107 |
|
#'(LAMBDA (X Y) |
108 |
|
(NOT (EQL X Y)))) |
109 |
|
A |
110 |
|
|
111 |
|
(NSUBST-IF 'OO 'NUMBERP |
112 |
|
'(A B C |
113 |
|
(3 (4) |
114 |
|
0))) |
115 |
|
(A B C |
116 |
|
(OO (OO) |
117 |
|
OO)) |
118 |
|
|
119 |
|
(NSUBST-IF-NOT 'OO 'NUMBERP |
120 |
|
'(A B C |
121 |
|
(3 (4) |
122 |
|
0))) |
123 |
|
OO |
124 |
|
|
125 |
|
(NSUBST-IF-NOT 'OO |
126 |
|
#'(LAMBDA (X) |
127 |
|
(OR (ATOM X) |
128 |
|
(NUMBERP X))) |
129 |
|
'(A B C |
130 |
|
(3 (4) |
131 |
|
0))) |
132 |
|
OO |
133 |
|
|
134 |
|
(NSUBST-IF-NOT 'OO |
135 |
|
#'(LAMBDA (X) |
136 |
|
(AND (ATOM X) |
137 |
|
(NUMBERP X))) |
138 |
|
'(A B C |
139 |
|
(3 (4) |
140 |
|
0))) |
141 |
|
OO |
142 |
|
|
143 |
|
(NSUBST-IF-NOT 'OO |
144 |
|
#'(LAMBDA (X) |
145 |
|
(OR (LIST X) |
146 |
|
(NUMBERP X))) |
147 |
|
'(A B C |
148 |
|
(3 (4) |
149 |
|
0))) |
150 |
|
(A B C |
151 |
|
(3 (4) |
152 |
|
0)) |
153 |
|
|
154 |
|
(NSUBST-IF-NOT 'OO |
155 |
|
#'(LAMBDA (X) |
156 |
|
(OR (LIST X) |
157 |
|
(SYMBOLP X))) |
158 |
|
'(A B C |
159 |
|
(3 (4) |
160 |
|
0))) |
161 |
|
(A B C |
162 |
|
(3 (4) |
163 |
|
0)) |
164 |
|
|
165 |
|
(SUBLIS '((A . A1) |
166 |
|
(B . B1)) |
167 |
|
'(A B)) |
168 |
|
(A1 B1) |
169 |
|
|
170 |
|
(SUBLIS '((A . A1) |
171 |
|
(B . B1)) |
172 |
|
'(A B |
173 |
|
(B . C))) |
174 |
|
(A1 B1 |
175 |
|
(B1 . C)) |
176 |
|
|
177 |
|
(SUBLIS '((A . A1) |
178 |
|
(B . B1) |
179 |
|
(NIL . NIL1)) |
180 |
|
'(A B |
181 |
|
(B . C))) |
182 |
|
(A1 B1 |
183 |
|
(B1 . C) . |
184 |
|
NIL1) |
185 |
|
|
186 |
|
(SUBLIS '((A . A1) |
187 |
|
(B . B1) |
188 |
|
(NIL . NIL1)) |
189 |
|
'(A B |
190 |
|
(B C))) |
191 |
|
(A1 B1 |
192 |
|
(B1 C . NIL1) . |
193 |
|
NIL1) |
194 |
|
|
195 |
|
(SUBLIS '((A . A1) |
196 |
|
(B . B1) |
197 |
|
(NIL . NIL1)) |
198 |
|
'(A B |
199 |
|
(B C)) |
200 |
|
:TEST-NOT 'EQL) |
201 |
|
A1 |
202 |
|
|
203 |
|
(SUBLIS '((A . A1) |
204 |
|
(B . B1) |
205 |
|
(NIL . NIL1)) |
206 |
|
'(A B |
207 |
|
(B C)) |
208 |
|
:TEST-NOT |
209 |
|
#'(LAMBDA (X Y) |
210 |
|
(IF (ATOM Y) |
211 |
|
(EQL X Y)))) |
212 |
|
A1 |
213 |
|
|
214 |
|
(SUBLIS '(((A) . |
215 |
|
UU) |
216 |
|
(A . II)) |
217 |
|
'(I (A) |
218 |
|
A)) |
219 |
|
(I (II) |
220 |
|
II) |
221 |
|
|
222 |
|
(SUBLIS '(((A) . UU) (A . II)) |
223 |
|
'(I (A) A) |
224 |
|
:KEY #'(LAMBDA (X) (IF (LISTP X) (CAR X)))) |
225 |
|
(I II . II) ; KEY wird angewandt auf: X ein Blatt des Baumes |
226 |
|
|
227 |
|
(SUBLIS '(((A) . UU) (A . II)) |
228 |
|
'(I (A) A) |
229 |
|
:TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQL X (CAR Y))))) |
230 |
|
#+(or XCL LUCID) (I II . II) ; X aus der Aliste, Y ein Blatt des Baumes |
231 |
|
#+(or CLISP CMU) (I (UU) UU) ; X ein Blatt, Y aus der Aliste |
232 |
|
|
233 |
|
(NSUBLIS '(((A) . UU) (A . II)) |
234 |
|
'(I (A) A) |
235 |
|
:KEY #'(LAMBDA (X) (IF (LISTP X) (CAR X)))) |
236 |
|
(I II . II) ; KEY wird angewandt auf: X ein Blatt des Baumes |
237 |
|
|
238 |
|
(NSUBLIS '(((A) . UU) (A . II)) |
239 |
|
'(I (A) A) |
240 |
|
:TEST #'(LAMBDA (X Y) (IF (LISTP X) (EQUAL X Y)))) |
241 |
|
(I UU . UU) |
242 |
|
|
243 |
|
(NSUBLIS '(((A) . UU) (A . II)) |
244 |
|
'(I (A) A) |
245 |
|
:TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQUAL X Y)))) |
246 |
|
(I UU . UU) |
247 |
|
|
248 |
|
(NSUBLIS '(((A) . UU) (A . II)) |
249 |
|
'(I (A) A) |
250 |
|
:TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQL X (CAR Y))))) |
251 |
|
#+XCL (I II . II) ; X aus der Aliste, Y ein Blatt des Baumes |
252 |
|
#+(or CLISP CMU LUCID) (I (UU) UU) ; X ein Blatt, Y aus der Aliste |
253 |
|
|