1
2(MEMBER 'A
3       '((A)
4         (B)
5         (A)
6         (C)))
7NIL
8
9(MEMBER 'A
10       '((A)
11         (B)
12         (A)
13         (C))
14       :KEY 'CAR)
15((A)
16 (B)
17 (A)
18 (C))
19
20(MEMBER-IF 'NUMBERP
21       '((A)
22         (B)
23         (3)
24         (C))
25       :KEY 'CAR)
26((3)
27 (C))
28
29(MEMBER-IF-NOT 'NUMBERP
30       '((8)
31         (A)
32         (B)
33         (3)
34         (C))
35       :KEY 'CAR)
36((A)
37 (B)
38 (3)
39 (C))
40
41(TAILP '(A B)
42       '(U A B))
43NIL
44
45(TAILP (CDDR (SETQ XX
46                   '(U I A B)))
47       XX)
48T
49
50(TAILP (CDDR (SETQ XX
51                   '(U I A B)))
52       XX)
53T
54
55(ADJOIN 'A
56       '(A B C))
57(A B C)
58
59(ADJOIN 'A
60       '((A)
61         B C)
62       :TEST 'EQUAL)
63(A (A)
64   B C)
65
66(ADJOIN 'A
67       '((A)
68         B C)
69       :TEST 'EQUAL)
70(A (A)
71   B C)
72
73(UNION '(A B C D)
74       '(A D I V))
75#+(or XCL LISPWORKS) (V I A B C D)
76#+(or CLISP AKCL ECL) (B C A D I V)
77#+(or ALLEGRO CMU SBCL OpenMCL) (C B A D I V)
78#-(or XCL CLISP AKCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
79
80(NUNION '(A B C D)
81       '(U I B A))
82#+XCL (A B C D U I)
83#+(or CLISP AKCL ECL) (C D U I B A)
84#+(or ALLEGRO CMU SBCL OpenMCL) (D C U I B A)
85#+LISPWORKS (I U A B C D)
86#-(or XCL CLISP AKCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
87
88(NINTERSECTION '(A B C D)
89       '(C D E F G))
90#+(or XCL CLISP GCL ECL) (C D)
91#+(or ALLEGRO CMU SBCL OpenMCL LISPWORKS) (D C)
92#-(or XCL CLISP GCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
93
94(NINTERSECTION '(A B C D)
95       '(C D E F G)
96       :TEST-NOT 'EQL)
97#+(or XCL CLISP GCL ECL) (A B C D)
98#+(or ALLEGRO CMU SBCL OpenMCL LISPWORKS) (D C B A)
99#-(or XCL CLISP GCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
100
101(SET-DIFFERENCE '(A B C D E)
102       '(D B E))
103#+(or XCL ALLEGRO GCL CMU SBCL OpenMCL LISPWORKS) (C A)
104#+(or CLISP (and AKCL (not GCL)) ECL) (A C)
105#-(or XCL CLISP AKCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
106
107(SET-DIFFERENCE '(AUTO ANTON BERTA BERLIN)
108       '(A)
109       :TEST
110       #'(LAMBDA (X Y)
111                (EQL (ELT (SYMBOL-NAME X)
112                          1)
113                     (ELT (SYMBOL-NAME Y)
114                          1))))
115#+(or XCL ALLEGRO) (BERLIN BERTA ANTON AUTO)
116#-(or XCL ALLEGRO) ERROR
117
118(SET-DIFFERENCE '(ANTON BERTA AUTO BERLIN)
119       '(AMERILLA)
120       :TEST
121       #'(LAMBDA (X Y)
122                (EQL (ELT (SYMBOL-NAME X)
123                          0)
124                     (ELT (SYMBOL-NAME Y)
125                          0))))
126#+(or XCL GCL ALLEGRO CMU SBCL OpenMCL LISPWORKS) (BERLIN BERTA)
127#+(or CLISP (and AKCL (not GCL)) ECL) (BERTA BERLIN)
128#-(or XCL CLISP AKCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
129
130(NSET-DIFFERENCE '(A B C D)
131       '(I J C))
132#+(or XCL CLISP GCL ECL) (A B D)
133#+(or ALLEGRO CMU SBCL OpenMCL LISPWORKS) (D B A)
134#-(or XCL CLISP GCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
135
136(SET-EXCLUSIVE-OR '(A B C D)
137       '(C A I L))
138#+(or XCL GCL) (D B L I)
139#+(or CLISP (and AKCL (not GCL)) ECL) (B D I L)
140#+(or ALLEGRO CMU SBCL OpenMCL LISPWORKS) (L I D B)
141#-(or XCL CLISP AKCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
142
143(SET-EXCLUSIVE-OR '(ANTON ANNA EMIL)
144       '(BERTA AUTO AUGUST)
145       :TEST
146       #'(LAMBDA (X Y)
147                (EQL (ELT (SYMBOL-NAME X)
148                          0)
149                     (ELT (SYMBOL-NAME Y)
150                          0))))
151#+(or XCL CLISP GCL ECL) (EMIL BERTA)
152#+(or ALLEGRO CMU SBCL OpenMCL LISPWORKS) (BERTA EMIL)
153#-(or XCL CLISP GCL ECL ALLEGRO CMU SBCL OpenMCL LISPWORKS) UNKNOWN
154
155(NSET-EXCLUSIVE-OR '(A B C)
156       '(I A D C))
157#+OpenMCL (D I B)
158#-OpenMCL (B I D)
159
160(SUBSETP '(A B)
161       '(B U I A C D))
162T
163
164(SUBSETP '(A B)
165       '(B U I C D))
166NIL
167
168(SUBSETP '(A B)
169       '(B A U I C D))
170T
171
172(SUBSETP '(A B)
173       '(A U I C D))
174NIL
175
176