/ Liren Large Software Subsidy 9 / 09.iso / e / e070 / 6.ddi / EXPLORER / SLIDES / TO-REPEA.TF

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 41 53 4c 20 46 49 4c | 45 0d 0a 43 6f 70 79 72 |FASL FIL|E..Copyr|
|00000010| 69 67 68 74 20 28 63 29 | 20 31 39 38 34 20 53 61 |ight (c)| 1984 Sa|
|00000020| 6e 20 4d 61 72 63 6f 20 | 41 73 73 6f 63 69 61 74 |n Marco |Associat|
|00000030| 65 73 0d 0a 09 41 6c 6c | 20 72 69 67 68 74 73 20 |es...All| rights |
|00000040| 72 65 73 65 72 76 65 64 | 2e 0d 0a 1a ff 07 04 55 |reserved|.......U|
|00000050| 53 45 52 0e 0d 00 00 00 | 00 07 04 4c 49 53 50 0e |SER.....|...LISP.|
|00000060| 0b 01 04 53 45 54 46 07 | 0a 47 45 54 2d 4c 45 53 |...SETF.|.GET-LES|
|00000070| 53 4f 4e 0b 01 05 51 55 | 4f 54 45 07 09 54 4f 2d |SON...QU|OTE..TO-|
|00000080| 52 45 50 45 41 54 04 10 | 02 04 10 02 0b 01 05 51 |REPEAT..|.......Q|
|00000090| 55 4f 54 45 07 06 4c 45 | 53 53 4f 4e 07 09 54 4f |UOTE..LE|SSON..TO|
|000000a0| 2d 52 45 50 45 41 54 0b | 01 04 4e 41 4d 45 07 09 |-REPEAT.|..NAME..|
|000000b0| 54 4f 2d 52 45 50 45 41 | 54 04 10 01 07 04 4e 45 |TO-REPEA|T.....NE|
|000000c0| 58 54 07 10 44 4f 55 42 | 4c 45 2d 52 45 43 55 52 |XT..DOUB|LE-RECUR|
|000000d0| 53 49 4f 4e 04 10 01 07 | 08 50 52 45 56 49 4f 55 |SION....|.PREVIOU|
|000000e0| 53 07 06 41 4e 44 2d 4f | 52 0b 01 04 43 4f 4e 44 |S..AND-O|R...COND|
|000000f0| 04 10 02 04 10 01 07 0b | 4c 45 53 53 4f 4e 2d 4e |........|LESSON-N|
|00000100| 41 4d 45 26 16 52 65 70 | 65 61 74 69 6e 67 20 62 |AME&.Rep|eating b|
|00000110| 79 20 52 65 63 75 72 73 | 69 6e 67 04 10 01 04 10 |y Recurs|ing.....|
|00000120| 08 07 05 53 4c 49 44 45 | 07 0a 45 58 50 4f 53 49 |...SLIDE|..EXPOSI|
|00000130| 54 49 4f 4e 23 01 00 00 | 00 04 07 0a 45 58 50 4f |TION#...|....EXPO|
|00000140| 53 49 54 49 4f 4e 25 3b | 01 00 00 0a 4d 61 6e 79 |SITION%;|....Many|
|00000150| 20 4c 49 53 50 20 70 72 | 6f 63 65 64 75 72 65 73 | LISP pr|ocedures|
|00000160| 20 77 6f 72 6b 20 62 79 | 20 72 65 70 65 61 74 69 | work by| repeati|
|00000170| 6e 67 20 61 20 70 61 72 | 74 69 63 75 6c 61 72 20 |ng a par|ticular |
|00000180| 61 63 74 69 6f 6e 20 6f | 76 65 72 0a 61 6e 64 20 |action o|ver.and |
|00000190| 6f 76 65 72 20 75 6e 74 | 69 6c 20 61 20 63 65 72 |over unt|il a cer|
|000001a0| 74 61 69 6e 20 63 6f 6e | 64 69 74 69 6f 6e 20 69 |tain con|dition i|
|000001b0| 73 20 6d 65 74 2e 00 02 | 54 68 65 72 65 20 61 72 |s met...|There ar|
|000001c0| 65 20 73 65 76 65 72 61 | 6c 0a 77 61 79 73 20 74 |e severa|l.ways t|
|000001d0| 68 61 74 20 74 68 69 73 | 20 69 73 20 61 72 72 61 |hat this| is arra|
|000001e0| 6e 67 65 64 3a 0a 0a 00 | 0f c3 c4 c4 c4 c4 c4 20 |nged:...|....... |
|000001f0| 52 65 63 75 72 73 65 0a | 54 6f 20 72 65 70 65 61 |Recurse.|To repea|
|00000200| 74 20 c4 c4 c4 c4 c4 b4 | 00 13 c3 c4 c4 c4 c4 c4 |t ......|........|
|00000210| 20 55 73 69 6e 67 20 44 | 4f 0a 00 0f c3 c4 c4 c4 | Using D|O.......|
|00000220| c4 c4 20 49 74 65 72 61 | 74 65 20 c4 c4 c4 c4 c4 |.. Itera|te .....|
|00000230| b4 0a 00 23 c3 c4 c4 c4 | c4 c4 20 55 73 69 6e 67 |...#....|.. Using|
|00000240| 20 4d 41 50 43 41 52 0a | 0a 4c 65 74 27 73 20 62 | MAPCAR.|.Let's b|
|00000250| 65 67 69 6e 20 77 69 74 | 68 20 72 65 63 75 72 73 |egin wit|h recurs|
|00000260| 69 6f 6e 2c 20 64 65 66 | 65 72 72 69 6e 67 20 69 |ion, def|erring i|
|00000270| 74 65 72 61 74 69 6f 6e | 20 75 6e 74 69 6c 20 6c |teration| until l|
|00000280| 61 74 65 72 2e 0a 23 0c | 00 00 00 10 01 04 27 03 |ater..#.|......'.|
|00000290| 00 00 00 2e 27 05 00 00 | 00 2e 07 05 53 4c 49 44 |....'...|....SLID|
|000002a0| 45 07 0a 45 58 50 4f 53 | 49 54 49 4f 4e 23 02 00 |E..EXPOS|ITION#..|
|000002b0| 00 00 04 07 0a 45 58 50 | 4f 53 49 54 49 4f 4e 25 |.....EXP|OSITION%|
|000002c0| df 02 00 00 0a 43 75 72 | 69 6f 75 73 6c 79 2c 20 |.....Cur|iously, |
|000002d0| 74 68 65 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 6f |the defi|nition o|
|000002e0| 66 20 61 20 70 72 6f 63 | 65 64 75 72 65 20 6d 61 |f a proc|edure ma|
|000002f0| 79 20 75 73 65 20 74 68 | 65 20 70 72 6f 63 65 64 |y use th|e proced|
|00000300| 75 72 65 0a 69 74 73 65 | 6c 66 2e 00 02 54 6f 20 |ure.itse|lf...To |
|00000310| 73 65 65 20 68 6f 77 2c | 20 77 65 20 63 72 65 61 |see how,| we crea|
|00000320| 74 65 20 61 20 70 72 6f | 63 65 64 75 72 65 20 6e |te a pro|cedure n|
|00000330| 61 6d 65 64 20 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |amed COU|NT-ELEME|
|00000340| 4e 54 53 0a 74 68 61 74 | 20 64 6f 65 73 20 74 68 |NTS.that| does th|
|00000350| 65 20 73 61 6d 65 20 74 | 68 69 6e 67 20 61 73 20 |e same t|hing as |
|00000360| 4c 45 4e 47 54 48 3a 20 | 69 74 20 63 6f 75 6e 74 |LENGTH: |it count|
|00000370| 73 20 74 68 65 20 74 6f | 70 2d 6c 65 76 65 6c 0a |s the to|p-level.|
|00000380| 65 6c 65 6d 65 6e 74 73 | 20 69 6e 20 61 20 6c 69 |elements| in a li|
|00000390| 73 74 2e 00 02 46 69 72 | 73 74 2c 20 68 6f 77 65 |st...Fir|st, howe|
|000003a0| 76 65 72 20 6c 6f 6f 6b | 20 61 74 20 74 68 65 20 |ver look| at the |
|000003b0| 66 6f 6c 6c 6f 77 69 6e | 67 0a 65 78 61 6d 70 6c |followin|g.exampl|
|000003c0| 65 73 20 63 61 72 65 66 | 75 6c 6c 79 2c 20 61 73 |es caref|ully, as|
|000003d0| 73 75 6d 69 6e 67 20 74 | 68 61 74 20 4c 27 73 20 |suming t|hat L's |
|000003e0| 76 61 6c 75 65 20 69 73 | 20 27 28 41 20 42 20 43 |value is| '(A B C|
|000003f0| 29 3a 0a 0a 2a 20 28 49 | 46 20 28 45 4e 44 50 20 |):..* (I|F (ENDP |
|00000400| 4c 29 20 30 20 28 4c 45 | 4e 47 54 48 20 4c 29 29 |L) 0 (LE|NGTH L))|
|00000410| 0a 33 00 05 3b 4c 27 73 | 20 76 61 6c 75 65 20 69 |.3..;L's| value i|
|00000420| 73 20 6e 6f 74 20 61 6e | 20 65 6d 70 74 79 20 6c |s not an| empty l|
|00000430| 69 73 74 2c 20 73 6f 0a | 00 06 3b 49 46 20 72 65 |ist, so.|..;IF re|
|00000440| 74 75 72 6e 73 20 74 68 | 65 20 76 61 6c 75 65 20 |turns th|e value |
|00000450| 6f 66 20 74 68 65 20 74 | 68 69 72 64 20 61 72 67 |of the t|hird arg|
|00000460| 75 6d 65 6e 74 2c 0a 00 | 06 3b 72 61 74 68 65 72 |ument,..|.;rather|
|00000470| 20 74 68 61 6e 20 74 68 | 65 20 73 65 63 6f 6e 64 | than th|e second|
|00000480| 20 61 72 67 75 6d 65 6e | 74 2e 0a 0a 2a 20 28 49 | argumen|t...* (I|
|00000490| 46 20 28 45 4e 44 50 20 | 4c 29 20 30 20 28 4c 45 |F (ENDP |L) 0 (LE|
|000004a0| 4e 47 54 48 20 28 52 45 | 53 54 20 4c 29 29 29 0a |NGTH (RE|ST L))).|
|000004b0| 32 00 05 3b 53 61 6d 65 | 20 73 69 74 75 61 74 69 |2..;Same| situati|
|000004c0| 6f 6e 20 61 73 20 62 65 | 66 6f 72 65 2c 20 65 78 |on as be|fore, ex|
|000004d0| 63 65 70 74 20 74 68 61 | 74 0a 00 06 3b 4c 45 4e |cept tha|t...;LEN|
|000004e0| 47 54 48 20 73 65 65 73 | 20 61 20 6c 69 73 74 20 |GTH sees| a list |
|000004f0| 74 68 61 74 20 69 73 0a | 00 06 3b 6f 6e 65 20 65 |that is.|..;one e|
|00000500| 6c 65 6d 65 6e 74 20 73 | 68 6f 72 74 65 72 20 62 |lement s|horter b|
|00000510| 65 63 61 75 73 65 20 6f | 66 20 74 68 65 20 52 45 |ecause o|f the RE|
|00000520| 53 54 2e 0a 0a 2a 20 28 | 49 46 20 28 45 4e 44 50 |ST...* (|IF (ENDP|
|00000530| 20 4c 29 20 30 20 28 2b | 20 31 20 28 4c 45 4e 47 | L) 0 (+| 1 (LENG|
|00000540| 54 48 20 28 52 45 53 54 | 20 4c 29 29 29 29 0a 33 |TH (REST| L)))).3|
|00000550| 00 05 3b 53 61 6d 65 20 | 73 69 74 75 61 74 69 6f |..;Same |situatio|
|00000560| 6e 20 61 73 20 62 65 66 | 6f 72 65 2c 20 65 78 63 |n as bef|ore, exc|
|00000570| 65 70 74 20 74 68 61 74 | 0a 00 06 3b 77 65 20 61 |ept that|...;we a|
|00000580| 64 64 20 31 20 74 6f 20 | 72 65 73 75 6c 74 20 72 |dd 1 to |result r|
|00000590| 65 74 75 72 6e 65 64 20 | 62 79 20 4c 45 4e 47 54 |eturned |by LENGT|
|000005a0| 48 2e 0a 23 15 00 00 00 | 10 01 04 27 03 00 00 00 |H..#....|...'....|
|000005b0| 2e 27 05 00 00 00 2e 07 | 05 53 4c 49 44 45 07 0a |.'......|.SLIDE..|
|000005c0| 45 58 50 4f 53 49 54 49 | 4f 4e 23 03 00 00 00 04 |EXPOSITI|ON#.....|
|000005d0| 07 0a 45 58 50 4f 53 49 | 54 49 4f 4e 25 7b 02 00 |..EXPOSI|TION%{..|
|000005e0| 00 0a 46 72 6f 6d 20 74 | 68 65 20 65 78 61 6d 70 |..From t|he examp|
|000005f0| 6c 65 73 20 6f 6e 20 74 | 68 65 20 70 72 65 76 69 |les on t|he previ|
|00000600| 6f 75 73 20 73 6c 69 64 | 65 2c 20 69 74 20 69 73 |ous slid|e, it is|
|00000610| 20 63 6c 65 61 72 20 74 | 68 61 74 20 74 68 65 0a | clear t|hat the.|
|00000620| 66 6f 6c 6c 6f 77 69 6e | 67 20 66 6f 72 6d 20 72 |followin|g form r|
|00000630| 65 74 75 72 6e 73 20 74 | 68 65 20 6c 65 6e 67 74 |eturns t|he lengt|
|00000640| 68 20 6f 66 20 74 68 65 | 20 6c 69 73 74 20 74 68 |h of the| list th|
|00000650| 61 74 20 69 73 20 4c 27 | 73 20 76 61 6c 75 65 2c |at is L'|s value,|
|00000660| 0a 6e 6f 20 6d 61 74 74 | 65 72 20 68 6f 77 20 6c |.no matt|er how l|
|00000670| 6f 6e 67 20 74 68 61 74 | 20 6c 69 73 74 20 6d 61 |ong that| list ma|
|00000680| 79 20 62 65 3a 0a 0a 2a | 20 28 49 46 20 28 45 4e |y be:..*| (IF (EN|
|00000690| 44 50 20 4c 29 20 30 20 | 28 2b 20 31 20 28 4c 45 |DP L) 0 |(+ 1 (LE|
|000006a0| 4e 47 54 48 20 28 52 45 | 53 54 20 4c 29 29 29 29 |NGTH (RE|ST L))))|
|000006b0| 0a 0a 57 65 20 63 6f 75 | 6c 64 20 65 76 65 6e 20 |..We cou|ld even |
|000006c0| 75 73 65 20 74 68 65 20 | 66 6f 72 6d 20 69 6e 20 |use the |form in |
|000006d0| 74 68 65 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 6f |the defi|nition o|
|000006e0| 66 20 74 68 65 20 70 72 | 6f 63 65 64 75 72 65 0a |f the pr|ocedure.|
|000006f0| 74 68 61 74 20 77 65 20 | 77 61 6e 74 2c 20 43 4f |that we |want, CO|
|00000700| 55 4e 54 2d 45 4c 45 4d | 45 4e 54 53 3a 0a 0a 28 |UNT-ELEM|ENTS:..(|
|00000710| 44 45 46 55 4e 20 43 4f | 55 4e 54 2d 45 4c 45 4d |DEFUN CO|UNT-ELEM|
|00000720| 45 4e 54 53 20 28 4c 29 | 0a 00 02 28 49 46 20 28 |ENTS (L)|...(IF (|
|00000730| 45 4e 44 50 20 4c 29 20 | 30 20 28 2b 20 31 20 28 |ENDP L) |0 (+ 1 (|
|00000740| 4c 45 4e 47 54 48 20 28 | 52 45 53 54 20 4c 29 29 |LENGTH (|REST L))|
|00000750| 29 29 29 0a 0a 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |)))..COU|NT-ELEME|
|00000760| 4e 54 53 20 6d 75 73 74 | 20 73 75 72 65 6c 79 20 |NTS must| surely |
|00000770| 77 6f 72 6b 20 61 73 20 | 6c 6f 6e 67 20 61 73 20 |work as |long as |
|00000780| 6f 6e 65 20 6f 66 20 74 | 68 65 20 66 6f 6c 6c 6f |one of t|he follo|
|00000790| 77 69 6e 67 0a 74 77 6f | 20 73 69 74 75 61 74 69 |wing.two| situati|
|000007a0| 6f 6e 73 20 68 6f 6c 64 | 3a 0a 0a 31 2e 00 02 4c |ons hold|:..1...L|
|000007b0| 20 69 73 20 61 6e 20 65 | 6d 70 74 79 20 6c 69 73 | is an e|mpty lis|
|000007c0| 74 2c 20 63 61 75 73 69 | 6e 67 20 74 68 65 20 49 |t, causi|ng the I|
|000007d0| 46 20 74 6f 20 72 65 74 | 75 72 6e 20 30 2c 20 74 |F to ret|urn 0, t|
|000007e0| 68 65 20 76 61 6c 75 65 | 20 6f 66 20 0a 00 04 49 |he value| of ...I|
|000007f0| 46 27 73 20 73 65 63 6f | 6e 64 20 61 72 67 75 6d |F's seco|nd argum|
|00000800| 65 6e 74 2e 0a 0a 32 2e | 00 02 4c 45 4e 47 54 48 |ent...2.|..LENGTH|
|00000810| 20 69 73 20 61 62 6c 65 | 20 74 6f 20 72 65 74 75 | is able| to retu|
|00000820| 72 6e 20 74 68 65 20 6c | 65 6e 67 74 68 20 6f 66 |rn the l|ength of|
|00000830| 20 61 20 6c 69 73 74 20 | 74 68 61 74 20 68 61 73 | a list |that has|
|00000840| 20 6f 6e 65 0a 00 04 6c | 65 73 73 20 65 6c 65 6d | one...l|ess elem|
|00000850| 65 6e 74 20 74 68 61 6e | 20 4c 2e 0a 23 16 00 00 |ent than| L..#...|
|00000860| 00 10 01 04 27 03 00 00 | 00 2e 27 05 00 00 00 2e |....'...|..'.....|
|00000870| 07 05 53 4c 49 44 45 07 | 0a 45 58 50 4f 53 49 54 |..SLIDE.|.EXPOSIT|
|00000880| 49 4f 4e 23 04 00 00 00 | 04 07 0a 45 58 50 4f 53 |ION#....|...EXPOS|
|00000890| 49 54 49 4f 4e 25 5f 02 | 00 00 0a 4e 6f 77 20 66 |ITION%_.|...Now f|
|000008a0| 6f 72 20 74 68 65 20 62 | 69 67 20 74 72 69 63 6b |or the b|ig trick|
|000008b0| 3a 00 02 77 65 20 72 65 | 70 6c 61 63 65 20 4c 45 |:..we re|place LE|
|000008c0| 4e 47 54 48 20 69 6e 20 | 43 4f 55 4e 54 2d 45 4c |NGTH in |COUNT-EL|
|000008d0| 45 4d 45 4e 54 53 20 62 | 79 0a 43 4f 55 4e 54 2d |EMENTS b|y.COUNT-|
|000008e0| 45 4c 45 4d 45 4e 54 53 | 20 69 74 73 65 6c 66 21 |ELEMENTS| itself!|
|000008f0| 0a 0a 28 44 45 46 55 4e | 20 43 4f 55 4e 54 2d 45 |..(DEFUN| COUNT-E|
|00000900| 4c 45 4d 45 4e 54 53 20 | 28 4c 29 0a 00 02 28 49 |LEMENTS |(L)...(I|
|00000910| 46 20 28 45 4e 44 50 20 | 4c 29 20 30 20 28 2b 20 |F (ENDP |L) 0 (+ |
|00000920| 31 20 28 4c 45 4e 47 54 | 48 20 28 52 45 53 54 20 |1 (LENGT|H (REST |
|00000930| 4c 29 29 29 29 29 0a 00 | 19 b3 0a 00 19 c0 c4 c4 |L)))))..|........|
|00000940| c4 bf 0a 00 1d b3 0a 28 | 44 45 46 55 4e 20 43 4f |.......(|DEFUN CO|
|00000950| 55 4e 54 2d 45 4c 45 4d | 45 4e 54 53 20 28 4c 29 |UNT-ELEM|ENTS (L)|
|00000960| 00 04 1f 0a 00 02 28 49 | 46 20 28 45 4e 44 50 20 |......(I|F (ENDP |
|00000970| 4c 29 20 30 20 28 2b 20 | 31 20 28 43 4f 55 4e 54 |L) 0 (+ |1 (COUNT|
|00000980| 2d 45 4c 45 4d 45 4e 54 | 53 20 28 52 45 53 54 20 |-ELEMENT|S (REST |
|00000990| 4c 29 29 29 29 29 0a 00 | 17 0a 54 68 65 20 6e 65 |L)))))..|..The ne|
|000009a0| 77 20 76 65 72 73 69 6f | 6e 20 77 6f 72 6b 73 20 |w versio|n works |
|000009b0| 62 65 63 61 75 73 65 3a | 0a 0a 31 2e 00 02 49 66 |because:|..1...If|
|000009c0| 20 4c 20 69 73 20 61 6e | 20 65 6d 70 74 79 20 6c | L is an| empty l|
|000009d0| 69 73 74 2c 20 74 68 65 | 20 49 46 20 72 65 74 75 |ist, the| IF retu|
|000009e0| 72 6e 73 20 30 2c 20 74 | 68 65 20 76 61 6c 75 65 |rns 0, t|he value|
|000009f0| 20 6f 66 20 49 46 27 73 | 0a 00 04 73 65 63 6f 6e | of IF's|...secon|
|00000a00| 64 20 61 72 67 75 6d 65 | 6e 74 2e 0a 0a 32 2e 00 |d argume|nt...2..|
|00000a10| 02 49 66 20 4c 20 69 73 | 20 6e 6f 74 20 65 6d 70 |.If L is| not emp|
|00000a20| 74 79 2c 20 43 4f 55 4e | 54 2d 45 4c 45 4d 45 4e |ty, COUN|T-ELEMEN|
|00000a30| 54 53 20 61 73 6b 73 20 | 61 20 63 6f 70 79 20 6f |TS asks |a copy o|
|00000a40| 66 20 69 74 73 65 6c 66 | 20 74 6f 20 77 6f 72 6b |f itself| to work|
|00000a50| 0a 00 04 6f 6e 20 61 20 | 6c 69 73 74 20 74 68 61 |...on a |list tha|
|00000a60| 74 20 68 61 73 20 6f 6e | 65 20 6c 65 73 73 20 65 |t has on|e less e|
|00000a70| 6c 65 6d 65 6e 74 20 74 | 68 61 6e 20 4c 2e 0a 0a |lement t|han L...|
|00000a80| 33 2e 00 02 49 66 20 4c | 20 69 73 20 6e 6f 74 20 |3...If L| is not |
|00000a90| 65 6d 70 74 79 2c 20 63 | 6f 70 69 65 73 20 6f 66 |empty, c|opies of|
|00000aa0| 20 43 4f 55 4e 54 2d 45 | 4c 45 4d 45 4e 54 53 20 | COUNT-E|LEMENTS |
|00000ab0| 6b 65 65 70 20 6d 75 6c | 74 69 70 6c 79 69 6e 67 |keep mul|tiplying|
|00000ac0| 0a 00 04 75 6e 74 69 6c | 20 74 68 65 20 6c 61 73 |...until| the las|
|00000ad0| 74 20 6f 6e 65 20 6e 65 | 65 64 20 6f 6e 6c 79 20 |t one ne|ed only |
|00000ae0| 64 65 61 6c 20 77 69 74 | 68 20 61 6e 20 65 6d 70 |deal wit|h an emp|
|00000af0| 74 79 20 6c 69 73 74 2e | 0a 23 17 00 00 00 10 01 |ty list.|.#......|
|00000b00| 04 27 03 00 00 00 2e 27 | 05 00 00 00 2e 07 05 53 |.'.....'|.......S|
|00000b10| 4c 49 44 45 07 0a 45 58 | 50 4f 53 49 54 49 4f 4e |LIDE..EX|POSITION|
|00000b20| 23 05 00 00 00 04 07 0a | 45 58 50 4f 53 49 54 49 |#.......|EXPOSITI|
|00000b30| 4f 4e 25 ec 02 00 00 0a | 54 68 75 73 20 77 65 20 |ON%.....|Thus we |
|00000b40| 68 61 76 65 20 61 20 64 | 65 66 69 6e 69 74 69 6f |have a d|efinitio|
|00000b50| 6e 20 6f 66 20 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |n of COU|NT-ELEME|
|00000b60| 4e 54 53 3a 0a 0a 28 44 | 45 46 55 4e 20 43 4f 55 |NTS:..(D|EFUN COU|
|00000b70| 4e 54 2d 45 4c 45 4d 45 | 4e 54 53 20 28 4c 29 0a |NT-ELEME|NTS (L).|
|00000b80| 00 02 28 49 46 20 28 45 | 4e 44 50 20 4c 29 00 04 |..(IF (E|NDP L)..|
|00000b90| 3b 49 66 20 74 68 65 20 | 6c 69 73 74 20 69 73 20 |;If the |list is |
|00000ba0| 65 6d 70 74 79 2c 0a 00 | 06 30 00 0b 3b 74 68 65 |empty,..|.0..;the|
|00000bb0| 6e 20 72 65 74 75 72 6e | 20 30 2c 0a 00 06 28 2b |n return| 0,...(+|
|00000bc0| 20 31 00 08 3b 6f 74 68 | 65 72 77 69 73 65 20 61 | 1..;oth|erwise a|
|00000bd0| 64 64 20 31 20 66 6f 72 | 20 61 74 6f 6d 20 73 6b |dd 1 for| atom sk|
|00000be0| 69 70 70 65 64 20 6f 76 | 65 72 2c 0a 00 09 28 43 |ipped ov|er,...(C|
|00000bf0| 4f 55 4e 54 2d 45 4c 45 | 4d 45 4e 54 53 20 28 52 |OUNT-ELE|MENTS (R|
|00000c00| 45 53 54 20 4c 29 29 29 | 29 29 00 06 3b 61 6e 64 |EST L)))|))..;and|
|00000c10| 20 75 73 65 20 73 65 6c | 66 21 0a 0a 54 68 75 73 | use sel|f!..Thus|
|00000c20| 20 74 68 65 20 64 65 66 | 69 6e 69 74 69 6f 6e 20 | the def|inition |
|00000c30| 6f 66 20 43 4f 55 4e 54 | 2d 45 4c 45 4d 45 4e 54 |of COUNT|-ELEMENT|
|00000c40| 53 20 69 6e 76 6f 6c 76 | 65 73 20 61 20 66 6f 72 |S involv|es a for|
|00000c50| 6d 20 75 73 69 6e 67 0a | 43 4f 55 4e 54 2d 45 4c |m using.|COUNT-EL|
|00000c60| 45 4d 45 4e 54 53 20 69 | 74 73 65 6c 66 2e 00 02 |EMENTS i|tself...|
|00000c70| 53 75 63 68 20 70 72 6f | 63 65 64 75 72 65 73 20 |Such pro|cedures |
|00000c80| 61 72 65 20 73 61 69 64 | 20 74 6f 20 62 65 20 52 |are said| to be R|
|00000c90| 45 43 55 52 53 49 56 45 | 2e 20 0a 57 68 65 6e 20 |ECURSIVE|. .When |
|00000ca0| 61 20 70 72 6f 63 65 64 | 75 72 65 20 63 61 6c 6c |a proced|ure call|
|00000cb0| 73 20 75 70 6f 6e 20 61 | 20 63 6f 70 79 20 6f 66 |s upon a| copy of|
|00000cc0| 20 69 74 73 65 6c 66 2c | 20 74 68 65 20 70 72 6f | itself,| the pro|
|00000cd0| 63 65 64 75 72 65 20 69 | 73 0a 73 61 69 64 20 74 |cedure i|s.said t|
|00000ce0| 6f 20 52 45 43 55 52 53 | 45 2e 20 0a 0a 54 68 65 |o RECURS|E. ..The|
|00000cf0| 72 65 20 69 73 20 6e 6f | 20 64 61 6e 67 65 72 20 |re is no| danger |
|00000d00| 74 68 61 74 20 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |that COU|NT-ELEME|
|00000d10| 4e 54 53 20 77 69 6c 6c | 20 72 65 63 75 72 73 65 |NTS will| recurse|
|00000d20| 20 66 6f 72 65 76 65 72 | 2c 0a 63 61 6c 6c 69 6e | forever|,.callin|
|00000d30| 67 20 75 70 20 61 6e 20 | 69 6e 66 69 6e 69 74 65 |g up an |infinite|
|00000d40| 20 6e 75 6d 62 65 72 20 | 6f 66 20 63 6f 70 69 65 | number |of copie|
|00000d50| 73 20 6f 66 20 69 74 73 | 65 6c 66 2c 20 62 65 63 |s of its|elf, bec|
|00000d60| 61 75 73 65 0a 65 76 65 | 6e 74 75 61 6c 6c 79 20 |ause.eve|ntually |
|00000d70| 61 6c 6c 20 74 68 65 20 | 65 6c 65 6d 65 6e 74 73 |all the |elements|
|00000d80| 20 6f 66 20 74 68 65 20 | 6c 69 73 74 20 77 69 6c | of the |list wil|
|00000d90| 6c 20 68 61 76 65 20 62 | 65 65 6e 20 73 6b 69 70 |l have b|een skip|
|00000da0| 70 65 64 0a 6f 76 65 72 | 2e 0a 0a 4f 6e 63 65 20 |ped.over|...Once |
|00000db0| 61 6c 6c 20 74 68 65 20 | 65 6c 65 6d 65 6e 74 73 |all the |elements|
|00000dc0| 20 68 61 76 65 20 62 65 | 65 6e 20 73 6b 69 70 70 | have be|en skipp|
|00000dd0| 65 64 20 6f 76 65 72 2c | 20 74 68 65 6e 20 74 68 |ed over,| then th|
|00000de0| 65 20 6c 69 73 74 20 69 | 73 0a 65 6d 70 74 79 2c |e list i|s.empty,|
|00000df0| 20 61 6e 64 20 74 68 65 | 20 6c 61 73 74 20 75 73 | and the| last us|
|00000e00| 65 20 6f 66 20 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |e of COU|NT-ELEME|
|00000e10| 4e 54 53 20 77 69 6c 6c | 20 72 65 74 75 72 6e 20 |NTS will| return |
|00000e20| 30 2e 0a 23 16 00 00 00 | 10 01 04 27 03 00 00 00 |0..#....|...'....|
|00000e30| 2e 27 05 00 00 00 2e 07 | 05 53 4c 49 44 45 07 0a |.'......|.SLIDE..|
|00000e40| 45 58 50 4f 53 49 54 49 | 4f 4e 23 06 00 00 00 04 |EXPOSITI|ON#.....|
|00000e50| 07 0a 45 58 50 4f 53 49 | 54 49 4f 4e 25 b0 01 00 |..EXPOSI|TION%...|
|00000e60| 00 0a 48 61 76 65 20 61 | 6e 6f 74 68 65 72 20 6c |..Have a|nother l|
|00000e70| 6f 6f 6b 20 61 74 20 43 | 4f 55 4e 54 2d 45 4c 45 |ook at C|OUNT-ELE|
|00000e80| 4d 45 4e 54 53 3a 0a 0a | 28 44 45 46 55 4e 20 43 |MENTS:..|(DEFUN C|
|00000e90| 4f 55 4e 54 2d 45 4c 45 | 4d 45 4e 54 53 20 28 4c |OUNT-ELE|MENTS (L|
|00000ea0| 29 0a 00 02 28 49 46 20 | 28 45 4e 44 50 20 4c 29 |)...(IF |(ENDP L)|
|00000eb0| 00 04 3b 49 66 20 74 68 | 65 20 6c 69 73 74 20 69 |..;If th|e list i|
|00000ec0| 73 20 65 6d 70 74 79 2c | 0a 00 06 30 00 0b 3b 74 |s empty,|...0..;t|
|00000ed0| 68 65 6e 20 75 73 65 20 | 74 68 65 20 62 61 73 65 |hen use |the base|
|00000ee0| 20 66 6f 72 6d 2c 0a 00 | 06 28 2b 20 31 00 08 3b | form,..|.(+ 1..;|
|00000ef0| 6f 74 68 65 72 77 69 73 | 65 20 75 73 65 20 74 68 |otherwis|e use th|
|00000f00| 65 20 72 65 63 75 72 73 | 69 6f 6e 20 66 6f 72 6d |e recurs|ion form|
|00000f10| 2e 0a 00 09 28 43 4f 55 | 4e 54 2d 45 4c 45 4d 45 |....(COU|NT-ELEME|
|00000f20| 4e 54 53 20 28 52 45 53 | 54 20 4c 29 29 29 29 29 |NTS (RES|T L)))))|
|00000f30| 0a 0a 4e 6f 74 65 20 74 | 68 61 74 20 74 68 65 20 |..Note t|hat the |
|00000f40| 73 69 6d 70 6c 65 20 74 | 68 69 6e 67 73 20 61 72 |simple t|hings ar|
|00000f50| 65 20 68 61 6e 64 6c 65 | 64 20 64 69 72 65 63 74 |e handle|d direct|
|00000f60| 6c 79 20 62 79 20 74 68 | 61 74 20 70 61 72 74 20 |ly by th|at part |
|00000f70| 6f 66 0a 74 68 65 20 64 | 65 66 69 6e 69 74 69 6f |of.the d|efinitio|
|00000f80| 6e 20 63 61 6c 6c 65 64 | 20 74 68 65 20 42 41 53 |n called| the BAS|
|00000f90| 45 20 66 6f 72 6d 73 2e | 0a 0a 54 68 65 20 68 61 |E forms.|..The ha|
|00000fa0| 72 64 20 74 68 69 6e 67 | 73 20 61 72 65 20 68 61 |rd thing|s are ha|
|00000fb0| 6e 64 6c 65 64 20 62 79 | 20 72 65 64 75 63 74 69 |ndled by| reducti|
|00000fc0| 6f 6e 20 74 6f 20 73 69 | 6d 70 6c 65 72 20 74 68 |on to si|mpler th|
|00000fd0| 69 6e 67 73 20 62 79 0a | 74 68 61 74 20 70 61 72 |ings by.|that par|
|00000fe0| 74 20 6f 66 20 74 68 65 | 20 64 65 66 69 6e 69 74 |t of the| definit|
|00000ff0| 69 6f 6e 20 63 61 6c 6c | 65 64 20 74 68 65 20 52 |ion call|ed the R|
|00001000| 45 43 55 52 53 49 4f 4e | 20 66 6f 72 6d 73 2e 0a |ECURSION| forms..|
|00001010| 0a 23 10 00 00 00 10 01 | 04 27 03 00 00 00 2e 27 |.#......|.'.....'|
|00001020| 05 00 00 00 2e 07 05 53 | 4c 49 44 45 07 0a 45 58 |.......S|LIDE..EX|
|00001030| 50 4f 53 49 54 49 4f 4e | 23 07 00 00 00 04 07 0a |POSITION|#.......|
|00001040| 45 58 50 4f 53 49 54 49 | 4f 4e 26 ae 0a 53 6f 6f |EXPOSITI|ON&..Soo|
|00001050| 6e 20 79 6f 75 20 77 69 | 6c 6c 20 77 61 74 63 68 |n you wi|ll watch|
|00001060| 20 70 72 6f 63 65 64 75 | 72 65 73 20 6c 69 6b 65 | procedu|res like|
|00001070| 20 43 4f 55 4e 54 2d 45 | 4c 45 4d 45 4e 54 53 20 | COUNT-E|LEMENTS |
|00001080| 61 73 20 74 68 65 79 20 | 77 6f 72 6b 0a 6f 6e 20 |as they |work.on |
|00001090| 65 78 61 6d 70 6c 65 73 | 20 75 73 69 6e 67 20 74 |examples| using t|
|000010a0| 68 65 20 53 61 6e 20 4d | 61 72 63 6f 20 49 6e 73 |he San M|arco Ins|
|000010b0| 70 65 63 74 6f 72 2e 0a | 0a 46 6f 72 20 72 69 67 |pector..|.For rig|
|000010c0| 68 74 20 6e 6f 77 2c 20 | 68 6f 77 65 76 65 72 2c |ht now, |however,|
|000010d0| 20 62 65 20 63 6f 6e 74 | 65 6e 74 20 74 6f 20 70 | be cont|ent to p|
|000010e0| 72 61 63 74 69 63 65 20 | 69 6e 20 74 68 65 20 75 |ractice |in the u|
|000010f0| 73 75 61 6c 20 77 61 79 | 2e 0a 23 06 00 00 00 10 |sual way|..#.....|
|00001100| 01 04 27 03 00 00 00 2e | 27 05 00 00 00 2e 07 05 |..'.....|'.......|
|00001110| 53 4c 49 44 45 07 08 50 | 52 41 43 54 49 43 45 23 |SLIDE..P|RACTICE#|
|00001120| 08 00 00 00 07 05 46 4f | 52 4d 53 0b 01 04 53 45 |......FO|RMS...SE|
|00001130| 54 46 07 01 4c 0b 01 05 | 51 55 4f 54 45 07 01 41 |TF..L...|QUOTE..A|
|00001140| 07 01 42 07 01 43 04 10 | 03 04 10 02 04 10 03 0b |..B..C..|........|
|00001150| 01 04 53 45 54 46 07 01 | 4d 0b 01 05 51 55 4f 54 |..SETF..|M...QUOT|
|00001160| 45 07 01 41 07 01 42 07 | 01 43 04 10 03 04 10 01 |E..A..B.|.C......|
|00001170| 04 10 02 04 10 03 0b 01 | 04 53 45 54 46 0b 01 01 |........|.SETF...|
|00001180| 4e 0b 01 05 51 55 4f 54 | 45 07 01 41 04 10 01 07 |N...QUOT|E..A....|
|00001190| 01 42 04 10 01 07 01 43 | 04 10 01 04 10 03 04 10 |.B.....C|........|
|000011a0| 02 04 10 03 0b 01 05 44 | 45 46 55 4e 07 0e 43 4f |.......D|EFUN..CO|
|000011b0| 55 4e 54 2d 45 4c 45 4d | 45 4e 54 53 07 01 4c 04 |UNT-ELEM|ENTS..L.|
|000011c0| 10 01 0b 01 02 49 46 0b | 01 04 45 4e 44 50 07 01 |.....IF.|..ENDP..|
|000011d0| 4c 04 10 02 23 00 00 00 | 00 0b 01 01 2b 23 01 00 |L...#...|....+#..|
|000011e0| 00 00 07 0e 43 4f 55 4e | 54 2d 45 4c 45 4d 45 4e |....COUN|T-ELEMEN|
|000011f0| 54 53 0b 01 04 52 45 53 | 54 07 01 4c 04 10 02 04 |TS...RES|T..L....|
|00001200| 10 02 04 10 03 04 10 04 | 04 10 04 04 10 04 04 10 |........|........|
|00001210| 02 26 89 54 72 79 20 43 | 4f 55 4e 54 2d 45 4c 45 |.&.Try C|OUNT-ELE|
|00001220| 4d 45 4e 54 53 20 6f 6e | 20 61 20 66 65 77 20 65 |MENTS on| a few e|
|00001230| 78 70 72 65 73 73 69 6f | 6e 73 2e 0a 0a 41 73 73 |xpressio|ns...Ass|
|00001240| 75 6d 65 20 4c 27 73 20 | 76 61 6c 75 65 20 69 73 |ume L's |value is|
|00001250| 20 28 41 20 42 20 43 29 | 3b 0a 61 73 73 75 6d 65 | (A B C)|;.assume|
|00001260| 20 4d 27 73 20 76 61 6c | 75 65 20 69 73 20 28 28 | M's val|ue is ((|
|00001270| 41 20 42 20 43 29 29 3b | 0a 61 73 73 75 6d 65 20 |A B C));|.assume |
|00001280| 4e 27 73 20 76 61 6c 75 | 65 20 69 73 20 28 28 41 |N's valu|e is ((A|
|00001290| 29 20 28 42 29 20 28 43 | 29 29 2e 0a 23 06 00 00 |) (B) (C|))..#...|
|000012a0| 00 10 01 27 05 00 00 00 | 2e 07 05 53 4c 49 44 45 |...'....|...SLIDE|
|000012b0| 07 0a 45 58 50 4f 53 49 | 54 49 4f 4e 23 09 00 00 |..EXPOSI|TION#...|
|000012c0| 00 04 07 0a 45 58 50 4f | 53 49 54 49 4f 4e 25 9d |....EXPO|SITION%.|
|000012d0| 01 00 00 0a 52 65 6d 65 | 6d 62 65 72 20 2e 2e 2e |....Reme|mber ...|
|000012e0| 0a 0a 6f 00 04 49 46 20 | 79 6f 75 20 68 61 76 65 |..o..IF |you have|
|000012f0| 20 61 20 68 61 72 64 20 | 70 72 6f 62 6c 65 6d 2c | a hard |problem,|
|00001300| 0a 00 05 54 48 45 4e 20 | 74 72 79 20 74 6f 20 62 |...THEN |try to b|
|00001310| 72 65 61 6b 20 69 74 20 | 75 70 20 69 6e 74 6f 20 |reak it |up into |
|00001320| 73 69 6d 70 6c 65 72 20 | 73 75 62 70 72 6f 62 6c |simpler |subprobl|
|00001330| 65 6d 73 2e 0a 0a 6f 00 | 04 49 46 20 79 6f 75 20 |ems...o.|.IF you |
|00001340| 61 72 65 20 77 72 69 74 | 69 6e 67 20 61 20 72 65 |are writ|ing a re|
|00001350| 63 75 72 73 69 76 65 20 | 70 72 6f 63 65 64 75 72 |cursive |procedur|
|00001360| 65 2c 0a 00 05 54 48 45 | 4e 20 79 6f 75 72 20 70 |e,...THE|N your p|
|00001370| 72 6f 63 65 64 75 72 65 | 20 6d 75 73 74 20 68 61 |rocedure| must ha|
|00001380| 6e 64 6c 65 20 74 68 65 | 20 73 69 6d 70 6c 65 73 |ndle the| simples|
|00001390| 74 20 63 61 73 65 73 2c | 0a 00 05 41 4e 44 20 69 |t cases,|...AND i|
|000013a0| 74 20 6d 75 73 74 20 74 | 72 61 6e 73 66 6f 72 6d |t must t|ransform|
|000013b0| 20 65 76 65 72 79 74 68 | 69 6e 67 20 65 6c 73 65 | everyth|ing else|
|000013c0| 20 69 6e 74 6f 20 74 68 | 65 20 73 69 6d 70 6c 65 | into th|e simple|
|000013d0| 73 74 20 63 61 73 65 73 | 2e 0a 0a 6f 00 04 54 68 |st cases|...o..Th|
|000013e0| 65 20 66 6f 72 6d 73 20 | 74 68 61 74 20 68 61 6e |e forms |that han|
|000013f0| 64 6c 65 20 74 68 65 20 | 73 69 6d 70 6c 65 73 74 |dle the |simplest|
|00001400| 20 63 61 73 65 73 20 61 | 72 65 20 63 61 6c 6c 65 | cases a|re calle|
|00001410| 64 20 74 68 65 0a 00 05 | 42 41 53 45 20 66 6f 72 |d the...|BASE for|
|00001420| 6d 73 3b 00 02 74 68 65 | 20 66 6f 72 6d 73 20 74 |ms;..the| forms t|
|00001430| 68 61 74 20 74 72 61 6e | 73 66 6f 72 6d 20 65 76 |hat tran|sform ev|
|00001440| 65 72 79 74 68 69 6e 67 | 20 65 6c 73 65 20 61 72 |erything| else ar|
|00001450| 65 0a 00 05 63 61 6c 6c | 65 64 20 74 68 65 20 52 |e...call|ed the R|
|00001460| 45 43 55 52 53 49 4f 4e | 20 66 6f 72 6d 73 2e 0a |ECURSION| forms..|
|00001470| 23 0e 00 00 00 10 01 04 | 27 03 00 00 00 2e 27 05 |#.......|'.....'.|
|00001480| 00 00 00 2e 27 09 00 00 | 00 04 27 05 00 00 00 2e |....'...|..'.....|
|00001490| 04 10 02 04 10 03 36 0b | 01 04 53 45 54 46 07 0a |......6.|..SETF..|
|000014a0| 47 45 54 2d 4c 45 53 53 | 4f 4e 0b 01 05 51 55 4f |GET-LESS|ON...QUO|
|000014b0| 54 45 07 10 44 4f 55 42 | 4c 45 2d 52 45 43 55 52 |TE..DOUB|LE-RECUR|
|000014c0| 53 49 4f 4e 04 10 02 04 | 10 02 0b 01 05 51 55 4f |SION....|.....QUO|
|000014d0| 54 45 07 06 4c 45 53 53 | 4f 4e 07 10 44 4f 55 42 |TE..LESS|ON..DOUB|
|000014e0| 4c 45 2d 52 45 43 55 52 | 53 49 4f 4e 0b 01 04 4e |LE-RECUR|SION...N|
|000014f0| 41 4d 45 07 10 44 4f 55 | 42 4c 45 2d 52 45 43 55 |AME..DOU|BLE-RECU|
|00001500| 52 53 49 4f 4e 04 10 01 | 07 04 4e 45 58 54 07 0a |RSION...|..NEXT..|
|00001510| 54 4f 2d 49 4e 53 50 45 | 43 54 04 10 01 07 08 50 |TO-INSPE|CT.....P|
|00001520| 52 45 56 49 4f 55 53 07 | 09 54 4f 2d 52 45 50 45 |REVIOUS.|.TO-REPE|
|00001530| 41 54 04 10 01 07 0b 4c | 45 53 53 4f 4e 2d 4e 41 |AT.....L|ESSON-NA|
|00001540| 4d 45 26 0f 52 65 63 75 | 72 73 69 6e 67 20 54 77 |ME&.Recu|rsing Tw|
|00001550| 69 63 65 04 10 01 04 10 | 08 07 05 53 4c 49 44 45 |ice.....|...SLIDE|
|00001560| 07 0a 45 58 50 4f 53 49 | 54 49 4f 4e 23 01 00 00 |..EXPOSI|TION#...|
|00001570| 00 04 07 0a 45 58 50 4f | 53 49 54 49 4f 4e 25 03 |....EXPO|SITION%.|
|00001580| 03 00 00 0a 4d 61 6e 79 | 20 72 65 63 75 72 73 69 |....Many| recursi|
|00001590| 76 65 20 70 72 6f 63 65 | 64 75 72 65 73 20 73 6f |ve proce|dures so|
|000015a0| 6c 76 65 20 70 72 6f 62 | 6c 65 6d 73 20 62 79 20 |lve prob|lems by |
|000015b0| 62 72 65 61 6b 69 6e 67 | 20 75 70 20 61 20 6c 69 |breaking| up a li|
|000015c0| 73 74 2c 0a 77 6f 72 6b | 69 6e 67 20 6f 6e 20 69 |st,.work|ing on i|
|000015d0| 74 73 20 70 69 65 63 65 | 73 2c 20 61 6e 64 20 63 |ts piece|s, and c|
|000015e0| 6f 6d 62 69 6e 69 6e 67 | 20 74 68 65 20 72 65 73 |ombining| the res|
|000015f0| 75 6c 74 73 20 6f 66 20 | 77 6f 72 6b 69 6e 67 20 |ults of |working |
|00001600| 6f 6e 0a 74 68 6f 73 65 | 20 70 69 65 63 65 73 2e |on.those| pieces.|
|00001610| 00 02 4f 6e 65 20 70 61 | 72 74 69 63 75 6c 61 72 |..One pa|rticular|
|00001620| 6c 79 20 6e 69 63 65 20 | 65 78 61 6d 70 6c 65 20 |ly nice |example |
|00001630| 69 73 20 43 4f 55 4e 54 | 2d 41 54 4f 4d 53 3a 0a |is COUNT|-ATOMS:.|
|00001640| 0a 28 44 45 46 55 4e 20 | 43 4f 55 4e 54 2d 41 54 |.(DEFUN |COUNT-AT|
|00001650| 4f 4d 53 20 28 45 29 0a | 00 02 28 43 4f 4e 44 20 |OMS (E).|..(COND |
|00001660| 28 28 41 4e 44 20 28 4c | 49 53 54 50 20 45 29 20 |((AND (L|ISTP E) |
|00001670| 28 45 4e 44 50 20 45 29 | 29 20 30 29 00 06 3b 4e |(ENDP E)|) 0)..;N|
|00001680| 6f 20 61 74 6f 6d 73 20 | 69 6e 20 65 6d 70 74 79 |o atoms |in empty|
|00001690| 20 6c 69 73 74 2e 0a 00 | 08 28 28 41 54 4f 4d 20 | list...|.((ATOM |
|000016a0| 45 29 20 31 29 00 16 3b | 41 74 6f 6d 20 63 6f 75 |E) 1)..;|Atom cou|
|000016b0| 6e 74 73 20 31 2e 0a 00 | 08 28 54 20 28 2b 20 28 |nts 1...|.(T (+ (|
|000016c0| 43 4f 55 4e 54 2d 41 54 | 4f 4d 53 20 28 46 49 52 |COUNT-AT|OMS (FIR|
|000016d0| 53 54 20 45 29 29 00 05 | 3b 41 64 64 20 66 69 72 |ST E))..|;Add fir|
|000016e0| 73 74 2d 65 6c 65 6d 65 | 6e 74 20 72 65 73 75 6c |st-eleme|nt resul|
|000016f0| 74 73 0a 00 0e 28 43 4f | 55 4e 54 2d 41 54 4f 4d |ts...(CO|UNT-ATOM|
|00001700| 53 20 28 52 45 53 54 20 | 45 29 29 29 29 29 29 00 |S (REST |E)))))).|
|00001710| 02 3b 74 6f 20 72 65 73 | 75 6c 74 73 20 66 6f 72 |.;to res|ults for|
|00001720| 20 72 65 73 74 2e 0a 0a | 54 68 65 20 54 20 74 68 | rest...|The T th|
|00001730| 61 74 20 61 70 70 65 61 | 72 73 20 61 73 20 74 68 |at appea|rs as th|
|00001740| 65 20 74 72 69 67 67 65 | 72 20 66 6f 72 6d 20 6f |e trigge|r form o|
|00001750| 66 20 74 68 65 20 66 69 | 6e 61 6c 20 43 4f 4e 44 |f the fi|nal COND|
|00001760| 20 63 6c 61 75 73 65 0a | 65 6e 73 75 72 65 73 20 | clause.|ensures |
|00001770| 74 68 61 74 20 4c 49 53 | 50 20 63 61 6e 20 6e 65 |that LIS|P can ne|
|00001780| 76 65 72 20 72 75 6e 20 | 6f 66 66 20 74 68 65 20 |ver run |off the |
|00001790| 65 6e 64 20 6f 66 20 74 | 68 65 20 43 4f 4e 44 20 |end of t|he COND |
|000017a0| 66 6f 72 6d 2e 0a 0a 54 | 68 65 20 74 65 73 74 73 |form...T|he tests|
|000017b0| 20 74 68 61 74 20 63 68 | 65 63 6b 20 69 66 20 45 | that ch|eck if E|
|000017c0| 20 69 73 20 61 6e 20 65 | 6d 70 74 79 20 6c 69 73 | is an e|mpty lis|
|000017d0| 74 20 6f 72 20 61 6e 20 | 61 74 6f 6d 20 65 6e 73 |t or an |atom ens|
|000017e0| 75 72 65 20 74 68 61 74 | 0a 4c 49 53 50 20 63 61 |ure that|.LISP ca|
|000017f0| 6e 6e 6f 74 20 72 65 65 | 6e 74 65 72 20 43 4f 55 |nnot ree|nter COU|
|00001800| 4e 54 2d 41 54 4f 4d 53 | 20 69 6e 64 65 66 69 6e |NT-ATOMS| indefin|
|00001810| 69 74 65 6c 79 2e 00 02 | 45 76 65 6e 74 75 61 6c |itely...|Eventual|
|00001820| 6c 79 2c 20 74 61 6b 69 | 6e 67 0a 6c 69 73 74 73 |ly, taki|ng.lists|
|00001830| 20 61 70 61 72 74 20 77 | 69 74 68 20 46 49 52 53 | apart w|ith FIRS|
|00001840| 54 20 61 6e 64 20 52 45 | 53 54 20 6c 65 61 64 73 |T and RE|ST leads|
|00001850| 20 74 6f 20 72 61 77 20 | 61 74 6f 6d 73 20 6f 72 | to raw |atoms or|
|00001860| 20 65 6d 70 74 79 0a 6c | 69 73 74 73 2c 20 73 74 | empty.l|ists, st|
|00001870| 6f 70 70 69 6e 67 20 74 | 68 65 20 72 65 63 75 72 |opping t|he recur|
|00001880| 73 69 6f 6e 2e 0a 23 13 | 00 00 00 10 01 04 27 03 |sion..#.|......'.|
|00001890| 00 00 00 2e 27 05 00 00 | 00 2e 07 05 53 4c 49 44 |....'...|....SLID|
|000018a0| 45 07 0a 45 58 50 4f 53 | 49 54 49 4f 4e 23 02 00 |E..EXPOS|ITION#..|
|000018b0| 00 00 04 07 0a 45 58 50 | 4f 53 49 54 49 4f 4e 25 |.....EXP|OSITION%|
|000018c0| ca 01 00 00 0a 43 4f 55 | 4e 54 2d 41 54 4f 4d 53 |.....COU|NT-ATOMS|
|000018d0| 20 69 73 20 61 6e 20 69 | 6e 73 74 61 6e 63 65 20 | is an i|nstance |
|000018e0| 6f 66 20 74 68 65 20 46 | 49 52 53 54 2d 52 45 53 |of the F|IRST-RES|
|000018f0| 54 20 74 65 6d 70 6c 61 | 74 65 3a 0a 0a 28 44 45 |T templa|te:..(DE|
|00001900| 46 55 4e 20 3c 70 72 6f | 63 65 64 75 72 65 20 6e |FUN <pro|cedure n|
|00001910| 61 6d 65 3e 20 28 45 29 | 0a 00 02 28 43 4f 4e 44 |ame> (E)|...(COND|
|00001920| 20 28 28 41 4e 44 20 28 | 4c 49 53 54 50 20 45 29 | ((AND (|LISTP E)|
|00001930| 20 28 45 4e 44 50 20 45 | 29 29 20 3c 72 65 73 75 | (ENDP E|)) <resu|
|00001940| 6c 74 20 66 6f 72 20 65 | 6d 70 74 79 20 6c 69 73 |lt for e|mpty lis|
|00001950| 74 73 3e 29 0a 00 08 28 | 28 41 54 4f 4d 20 45 29 |ts>)...(|(ATOM E)|
|00001960| 20 3c 72 65 73 75 6c 74 | 20 66 6f 72 20 61 74 6f | <result| for ato|
|00001970| 6d 73 3e 29 0a 00 08 28 | 54 20 28 3c 70 72 6f 63 |ms>)...(|T (<proc|
|00001980| 65 64 75 72 65 20 66 6f | 72 20 63 6f 6d 62 69 6e |edure fo|r combin|
|00001990| 69 6e 67 20 72 65 73 75 | 6c 74 73 3e 0a 00 0d 28 |ing resu|lts>...(|
|000019a0| 3c 70 72 6f 63 65 64 75 | 72 65 20 6e 61 6d 65 3e |<procedu|re name>|
|000019b0| 20 28 46 49 52 53 54 20 | 45 29 29 0a 00 0d 28 3c | (FIRST |E))...(<|
|000019c0| 70 72 6f 63 65 64 75 72 | 65 20 6e 61 6d 65 3e 20 |procedur|e name> |
|000019d0| 28 52 45 53 54 20 45 29 | 29 29 29 29 29 0a 0a 46 |(REST E)|)))))..F|
|000019e0| 6f 72 20 43 4f 55 4e 54 | 2d 41 54 4f 4d 53 2c 20 |or COUNT|-ATOMS, |
|000019f0| 74 68 65 20 63 6f 72 72 | 65 73 70 6f 6e 64 65 6e |the corr|esponden|
|00001a00| 63 65 73 20 61 72 65 20 | 61 73 20 66 6f 6c 6c 6f |ces are |as follo|
|00001a10| 77 73 3a 0a 0a 46 49 52 | 53 54 2d 52 45 53 54 20 |ws:..FIR|ST-REST |
|00001a20| 54 65 6d 70 6c 61 74 65 | 00 14 43 4f 55 4e 54 2d |Template|..COUNT-|
|00001a30| 41 54 4f 4d 53 0a 0a 3c | 72 65 73 75 6c 74 20 66 |ATOMS..<|result f|
|00001a40| 6f 72 20 65 6d 70 74 79 | 20 6c 69 73 74 73 3e 00 |or empty| lists>.|
|00001a50| 0f 30 0a 3c 72 65 73 75 | 6c 74 20 66 6f 72 20 61 |.0.<resu|lt for a|
|00001a60| 74 6f 6d 73 3e 00 15 31 | 0a 3c 70 72 6f 63 65 64 |toms>..1|.<proced|
|00001a70| 75 72 65 20 66 6f 72 20 | 63 6f 6d 62 69 6e 69 6e |ure for |combinin|
|00001a80| 67 20 72 65 73 75 6c 74 | 73 3e 00 06 2b 0a 23 12 |g result|s>..+.#.|
|00001a90| 00 00 00 10 01 04 27 03 | 00 00 00 2e 27 05 00 00 |......'.|....'...|
|00001aa0| 00 2e 07 05 53 4c 49 44 | 45 07 0a 45 58 50 4f 53 |....SLID|E..EXPOS|
|00001ab0| 49 54 49 4f 4e 23 03 00 | 00 00 04 07 0a 45 58 50 |ITION#..|.....EXP|
|00001ac0| 4f 53 49 54 49 4f 4e 25 | 55 02 00 00 0a 57 65 20 |OSITION%|U....We |
|00001ad0| 63 61 6e 20 65 61 73 69 | 6c 79 20 6d 61 6b 65 20 |can easi|ly make |
|00001ae0| 61 20 70 72 6f 63 65 64 | 75 72 65 20 74 68 61 74 |a proced|ure that|
|00001af0| 20 70 72 6f 64 75 63 65 | 73 20 61 6e 20 55 4e 6e | produce|s an UNn|
|00001b00| 65 73 74 65 64 20 6c 69 | 73 74 20 6f 66 0a 61 6c |ested li|st of.al|
|00001b10| 6c 20 74 68 65 20 61 74 | 6f 6d 73 20 69 6e 20 61 |l the at|oms in a|
|00001b20| 6e 20 65 78 70 72 65 73 | 73 69 6f 6e 20 62 79 20 |n expres|sion by |
|00001b30| 66 69 6c 6c 69 6e 67 20 | 74 68 65 20 46 49 52 53 |filling |the FIRS|
|00001b40| 54 2d 52 45 53 54 20 74 | 65 6d 70 6c 61 74 65 0a |T-REST t|emplate.|
|00001b50| 61 6e 6f 74 68 65 72 20 | 77 61 79 3a 0a 0a 28 44 |another |way:..(D|
|00001b60| 45 46 55 4e 20 53 51 55 | 41 53 48 20 28 45 29 0a |EFUN SQU|ASH (E).|
|00001b70| 00 02 28 43 4f 4e 44 20 | 28 28 41 4e 44 20 28 4c |..(COND |((AND (L|
|00001b80| 49 53 54 50 20 45 29 20 | 28 45 4e 44 50 20 45 29 |ISTP E) |(ENDP E)|
|00001b90| 29 20 4e 49 4c 29 00 04 | 3b 49 66 20 65 6d 70 74 |) NIL)..|;If empt|
|00001ba0| 79 20 6c 69 73 74 2c 20 | 72 65 74 75 72 6e 20 65 |y list, |return e|
|00001bb0| 6d 70 74 79 2e 0a 00 08 | 28 28 41 54 4f 4d 20 45 |mpty....|((ATOM E|
|00001bc0| 29 20 28 4c 49 53 54 20 | 45 29 29 00 0f 3b 49 66 |) (LIST |E))..;If|
|00001bd0| 20 61 74 6f 6d 2c 20 70 | 75 74 20 69 6e 20 6c 69 | atom, p|ut in li|
|00001be0| 73 74 2e 0a 00 08 28 54 | 20 28 41 50 50 45 4e 44 |st....(T| (APPEND|
|00001bf0| 00 18 3b 49 66 20 6c 69 | 73 74 2c 20 61 70 70 65 |..;If li|st, appe|
|00001c00| 6e 64 20 74 6f 67 65 74 | 68 65 72 0a 00 0e 28 53 |nd toget|her...(S|
|00001c10| 51 55 41 53 48 20 28 46 | 49 52 53 54 20 45 29 29 |QUASH (F|IRST E))|
|00001c20| 00 0a 3b 73 71 75 61 73 | 68 65 64 20 66 69 72 73 |..;squas|hed firs|
|00001c30| 74 20 65 6c 65 6d 65 6e | 74 20 77 69 74 68 0a 09 |t elemen|t with..|
|00001c40| 00 06 28 53 51 55 41 53 | 48 20 28 52 45 53 54 20 |..(SQUAS|H (REST |
|00001c50| 45 29 29 29 29 29 29 00 | 07 3b 73 71 75 61 73 68 |E)))))).|.;squash|
|00001c60| 65 64 20 72 65 73 74 2e | 0a 0a 48 65 72 65 20 61 |ed rest.|..Here a|
|00001c70| 72 65 20 74 68 65 20 63 | 6f 72 72 65 73 70 6f 6e |re the c|orrespon|
|00001c80| 64 65 6e 63 65 73 3a 0a | 0a 46 49 52 53 54 2d 52 |dences:.|.FIRST-R|
|00001c90| 45 53 54 20 54 65 6d 70 | 6c 61 74 65 00 14 43 4f |EST Temp|late..CO|
|00001ca0| 55 4e 54 2d 41 54 4f 4d | 53 00 02 53 51 55 41 53 |UNT-ATOM|S..SQUAS|
|00001cb0| 48 0a 0a 3c 72 65 73 75 | 6c 74 20 66 6f 72 20 65 |H..<resu|lt for e|
|00001cc0| 6d 70 74 79 20 6c 69 73 | 74 73 3e 00 0f 30 00 0c |mpty lis|ts>..0..|
|00001cd0| 4e 49 4c 0a 3c 72 65 73 | 75 6c 74 20 66 6f 72 20 |NIL.<res|ult for |
|00001ce0| 61 74 6f 6d 73 3e 00 15 | 31 00 0c 28 4c 49 53 54 |atoms>..|1..(LIST|
|00001cf0| 20 45 29 0a 3c 70 72 6f | 63 65 64 75 72 65 20 66 | E).<pro|cedure f|
|00001d00| 6f 72 20 63 6f 6d 62 69 | 6e 69 6e 67 20 72 65 73 |or combi|ning res|
|00001d10| 75 6c 74 73 3e 00 06 2b | 00 0c 41 50 50 45 4e 44 |ults>..+|..APPEND|
|00001d20| 0a 23 14 00 00 00 10 01 | 04 27 03 00 00 00 2e 27 |.#......|.'.....'|
|00001d30| 05 00 00 00 2e 07 05 53 | 4c 49 44 45 07 08 50 52 |.......S|LIDE..PR|
|00001d40| 41 43 54 49 43 45 23 04 | 00 00 00 07 05 46 4f 52 |ACTICE#.|.....FOR|
|00001d50| 4d 53 0b 01 04 53 45 54 | 46 07 01 4c 0b 01 05 51 |MS...SET|F..L...Q|
|00001d60| 55 4f 54 45 07 01 41 07 | 01 42 07 01 43 04 10 03 |UOTE..A.|.B..C...|
|00001d70| 04 10 02 04 10 03 0b 01 | 04 53 45 54 46 07 01 4d |........|.SETF..M|
|00001d80| 0b 01 05 51 55 4f 54 45 | 07 01 41 07 01 42 07 01 |...QUOTE|..A..B..|
|00001d90| 43 04 10 03 04 10 01 04 | 10 02 04 10 03 0b 01 04 |C.......|........|
|00001da0| 53 45 54 46 0b 01 01 4e | 0b 01 05 51 55 4f 54 45 |SETF...N|...QUOTE|
|00001db0| 07 01 41 04 10 01 07 01 | 42 04 10 01 07 01 43 04 |..A.....|B.....C.|
|00001dc0| 10 01 04 10 03 04 10 02 | 04 10 03 0b 01 05 44 45 |........|......DE|
|00001dd0| 46 55 4e 07 0b 43 4f 55 | 4e 54 2d 41 54 4f 4d 53 |FUN..COU|NT-ATOMS|
|00001de0| 07 01 45 04 10 01 0b 01 | 04 43 4f 4e 44 0b 01 03 |..E.....|.COND...|
|00001df0| 41 4e 44 0b 01 05 4c 49 | 53 54 50 07 01 45 04 10 |AND...LI|STP..E..|
|00001e00| 02 0b 01 04 45 4e 44 50 | 07 01 45 04 10 02 04 10 |....ENDP|..E.....|
|00001e10| 03 23 00 00 00 00 04 10 | 02 0b 01 04 41 54 4f 4d |.#......|....ATOM|
|00001e20| 07 01 45 04 10 02 23 01 | 00 00 00 04 10 02 0b 01 |..E...#.|........|
|00001e30| 01 54 0b 01 01 2b 07 0b | 43 4f 55 4e 54 2d 41 54 |.T...+..|COUNT-AT|
|00001e40| 4f 4d 53 0b 01 05 46 49 | 52 53 54 07 01 45 04 10 |OMS...FI|RST..E..|
|00001e50| 02 04 10 02 07 0b 43 4f | 55 4e 54 2d 41 54 4f 4d |......CO|UNT-ATOM|
|00001e60| 53 0b 01 04 52 45 53 54 | 07 01 45 04 10 02 04 10 |S...REST|..E.....|
|00001e70| 02 04 10 03 04 10 02 04 | 10 04 04 10 04 0b 01 05 |........|........|
|00001e80| 44 45 46 55 4e 07 06 53 | 51 55 41 53 48 07 01 45 |DEFUN..S|QUASH..E|
|00001e90| 04 10 01 0b 01 04 43 4f | 4e 44 0b 01 03 41 4e 44 |......CO|ND...AND|
|00001ea0| 0b 01 05 4c 49 53 54 50 | 07 01 45 04 10 02 0b 01 |...LISTP|..E.....|
|00001eb0| 04 45 4e 44 50 07 01 45 | 04 10 02 04 10 03 04 04 |.ENDP..E|........|
|00001ec0| 10 02 0b 01 04 41 54 4f | 4d 07 01 45 04 10 02 0b |.....ATO|M..E....|
|00001ed0| 01 04 4c 49 53 54 07 01 | 45 04 10 02 04 10 02 0b |..LIST..|E.......|
|00001ee0| 01 01 54 0b 01 06 41 50 | 50 45 4e 44 07 06 53 51 |..T...AP|PEND..SQ|
|00001ef0| 55 41 53 48 0b 01 05 46 | 49 52 53 54 07 01 45 04 |UASH...F|IRST..E.|
|00001f00| 10 02 04 10 02 07 06 53 | 51 55 41 53 48 0b 01 04 |.......S|QUASH...|
|00001f10| 52 45 53 54 07 01 45 04 | 10 02 04 10 02 04 10 03 |REST..E.|........|
|00001f20| 04 10 02 04 10 04 04 10 | 04 0b 01 05 44 45 46 55 |........|....DEFU|
|00001f30| 4e 07 0e 43 4f 55 4e 54 | 2d 45 4c 45 4d 45 4e 54 |N..COUNT|-ELEMENT|
|00001f40| 53 07 01 4c 04 10 01 0b | 01 02 49 46 0b 01 04 45 |S..L....|..IF...E|
|00001f50| 4e 44 50 07 01 4c 04 10 | 02 23 00 00 00 00 0b 01 |NDP..L..|.#......|
|00001f60| 01 2b 23 01 00 00 00 07 | 0e 43 4f 55 4e 54 2d 45 |.+#.....|.COUNT-E|
|00001f70| 4c 45 4d 45 4e 54 53 0b | 01 04 52 45 53 54 07 01 |LEMENTS.|..REST..|
|00001f80| 4c 04 10 02 04 10 02 04 | 10 03 04 10 04 04 10 04 |L.......|........|
|00001f90| 04 10 06 04 10 02 25 14 | 01 00 00 0a 43 4f 55 4e |......%.|....COUN|
|00001fa0| 54 2d 41 54 4f 4d 53 20 | 61 6e 64 20 53 51 55 41 |T-ATOMS |and SQUA|
|00001fb0| 53 48 20 68 61 76 65 20 | 6d 6f 72 65 20 69 6e 74 |SH have |more int|
|00001fc0| 65 72 65 73 74 69 6e 67 | 20 62 65 68 61 76 69 6f |eresting| behavio|
|00001fd0| 72 20 74 68 61 6e 0a 43 | 4f 55 4e 54 2d 45 4c 45 |r than.C|OUNT-ELE|
|00001fe0| 4d 45 4e 54 53 20 62 65 | 63 61 75 73 65 20 74 68 |MENTS be|cause th|
|00001ff0| 65 79 20 65 69 74 68 65 | 72 20 72 65 74 75 72 6e |ey eithe|r return|
|00002000| 20 61 20 76 61 6c 75 65 | 20 64 69 72 65 63 74 6c | a value| directl|
|00002010| 79 20 6f 72 0a 63 72 65 | 61 74 65 20 74 77 6f 20 |y or.cre|ate two |
|00002020| 63 6f 70 69 65 73 20 6f | 66 20 74 68 65 6d 73 65 |copies o|f themse|
|00002030| 6c 76 65 73 2c 20 6e 6f | 74 20 6a 75 73 74 20 6f |lves, no|t just o|
|00002040| 6e 65 2e 00 02 54 72 79 | 20 54 68 65 6d 2e 0a 0a |ne...Try| Them...|
|00002050| 41 73 73 75 6d 65 20 4c | 27 73 20 76 61 6c 75 65 |Assume L|'s value|
|00002060| 20 69 73 20 28 41 20 42 | 20 43 29 3b 0a 61 73 73 | is (A B| C);.ass|
|00002070| 75 6d 65 20 4d 27 73 20 | 76 61 6c 75 65 20 69 73 |ume M's |value is|
|00002080| 20 28 28 41 20 42 20 43 | 29 29 3b 0a 61 73 73 75 | ((A B C|));.assu|
|00002090| 6d 65 20 4e 27 73 20 76 | 61 6c 75 65 20 69 73 20 |me N's v|alue is |
|000020a0| 28 28 41 29 20 28 42 29 | 20 28 43 29 29 2e 0a 23 |((A) (B)| (C))..#|
|000020b0| 09 00 00 00 10 01 27 05 | 00 00 00 2e 07 05 53 4c |......'.|......SL|
|000020c0| 49 44 45 07 0a 45 58 50 | 4f 53 49 54 49 4f 4e 23 |IDE..EXP|OSITION#|
|000020d0| 05 00 00 00 04 07 0a 45 | 58 50 4f 53 49 54 49 4f |.......E|XPOSITIO|
|000020e0| 4e 25 e5 01 00 00 0a 52 | 65 6d 65 6d 62 65 72 20 |N%.....R|emember |
|000020f0| 2e 2e 2e 0a 0a 6f 00 04 | 50 72 6f 63 65 64 75 72 |.....o..|Procedur|
|00002100| 65 73 20 63 61 6e 20 63 | 61 6c 6c 20 75 70 6f 6e |es can c|all upon|
|00002110| 20 63 6f 70 69 65 73 20 | 6f 66 20 74 68 65 6d 73 | copies |of thems|
|00002120| 65 6c 76 65 73 20 61 73 | 20 6c 6f 6e 67 20 61 73 |elves as| long as|
|00002130| 0a 00 05 74 68 65 72 65 | 20 69 73 20 61 20 77 61 |...there| is a wa|
|00002140| 79 20 6f 66 20 65 76 65 | 6e 74 75 61 6c 6c 79 20 |y of eve|ntually |
|00002150| 73 74 6f 70 70 69 6e 67 | 20 74 68 65 20 72 65 63 |stopping| the rec|
|00002160| 75 72 73 69 6f 6e 20 70 | 72 6f 63 65 73 73 2e 0a |ursion p|rocess..|
|00002170| 0a 6f 00 04 49 46 20 79 | 6f 75 20 77 61 6e 74 20 |.o..IF y|ou want |
|00002180| 61 20 70 72 6f 63 65 64 | 75 72 65 20 74 68 61 74 |a proced|ure that|
|00002190| 20 77 6f 72 6b 73 20 6f | 6e 20 61 6e 79 20 65 78 | works o|n any ex|
|000021a0| 70 72 65 73 73 69 6f 6e | 2c 0a 00 05 54 48 45 4e |pression|,...THEN|
|000021b0| 20 74 72 79 20 74 6f 20 | 75 73 65 20 74 68 65 20 | try to |use the |
|000021c0| 46 49 52 53 54 2d 52 45 | 53 54 20 64 6f 75 62 6c |FIRST-RE|ST doubl|
|000021d0| 65 2d 72 65 63 75 72 73 | 69 6f 6e 20 74 65 6d 70 |e-recurs|ion temp|
|000021e0| 6c 61 74 65 3a 0a 0a 00 | 05 28 44 45 46 55 4e 20 |late:...|.(DEFUN |
|000021f0| 3c 70 72 6f 63 65 64 75 | 72 65 20 6e 61 6d 65 3e |<procedu|re name>|
|00002200| 20 28 45 29 0a 00 07 28 | 43 4f 4e 44 20 28 28 41 | (E)...(|COND ((A|
|00002210| 4e 44 20 28 4c 49 53 54 | 50 20 45 29 20 28 45 4e |ND (LIST|P E) (EN|
|00002220| 44 50 20 45 29 29 20 3c | 72 65 73 75 6c 74 20 66 |DP E)) <|result f|
|00002230| 6f 72 20 65 6d 70 74 79 | 20 6c 69 73 74 73 3e 29 |or empty| lists>)|
|00002240| 0a 00 0d 28 28 41 54 4f | 4d 20 45 29 20 3c 72 65 |...((ATO|M E) <re|
|00002250| 73 75 6c 74 20 66 6f 72 | 20 61 74 6f 6d 73 3e 29 |sult for| atoms>)|
|00002260| 0a 00 0d 28 54 20 28 3c | 70 72 6f 63 65 64 75 72 |...(T (<|procedur|
|00002270| 65 20 66 6f 72 20 63 6f | 6d 62 69 6e 69 6e 67 20 |e for co|mbining |
|00002280| 72 65 73 75 6c 74 73 3e | 0a 00 12 28 3c 70 72 6f |results>|...(<pro|
|00002290| 63 65 64 75 72 65 20 6e | 61 6d 65 3e 20 28 46 49 |cedure n|ame> (FI|
|000022a0| 52 53 54 20 45 29 29 0a | 00 12 28 3c 70 72 6f 63 |RST E)).|..(<proc|
|000022b0| 65 64 75 72 65 20 6e 61 | 6d 65 3e 20 28 52 45 53 |edure na|me> (RES|
|000022c0| 54 20 45 29 29 29 29 29 | 29 0a 0a 23 11 00 00 00 |T E)))))|)..#....|
|000022d0| 10 01 04 27 03 00 00 00 | 2e 27 05 00 00 00 2e 27 |...'....|.'.....'|
|000022e0| 05 00 00 00 04 27 05 00 | 00 00 2e 04 10 02 04 10 |.....'..|........|
|000022f0| 03 36 0b 01 04 53 45 54 | 46 07 15 2a 4c 41 53 54 |.6...SET|F..*LAST|
|00002300| 2d 4c 4f 41 44 45 44 2d | 4c 45 53 53 4f 4e 53 2a |-LOADED-|LESSONS*|
|00002310| 0b 01 05 51 55 4f 54 45 | 07 09 54 4f 2d 52 45 50 |...QUOTE|..TO-REP|
|00002320| 45 41 54 07 10 44 4f 55 | 42 4c 45 2d 52 45 43 55 |EAT..DOU|BLE-RECU|
|00002330| 52 53 49 4f 4e 04 10 02 | 04 10 02 04 10 03 36 40 |RSION...|......6@|
+--------+-------------------------+-------------------------+--------+--------+