/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume6 / xlisp1.6 / part5

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 53 75 62 6a 65 63 74 3a | 20 20 76 30 36 69 31 31 |Subject:|  v06i11|
|00000010| 31 3a 20 20 58 6c 69 73 | 70 20 76 65 72 73 69 6f |1:  Xlis|p versio|
|00000020| 6e 20 31 2e 36 20 28 78 | 6c 69 73 70 31 2e 36 29 |n 1.6 (x|lisp1.6)|
|00000030| 2c 20 50 61 72 74 30 35 | 2f 30 36 0a 4e 65 77 73 |, Part05|/06.News|
|00000040| 67 72 6f 75 70 73 3a 20 | 6d 6f 64 2e 73 6f 75 72 |groups: |mod.sour|
|00000050| 63 65 73 0a 41 70 70 72 | 6f 76 65 64 3a 20 72 73 |ces.Appr|oved: rs|
|00000060| 40 6d 69 72 72 6f 72 2e | 55 55 43 50 0a 0a 53 75 |@mirror.|UUCP..Su|
|00000070| 62 6d 69 74 74 65 64 20 | 62 79 3a 20 73 65 69 73 |bmitted |by: seis|
|00000080| 6d 6f 21 75 74 61 68 2d | 63 73 21 62 2d 64 61 76 |mo!utah-|cs!b-dav|
|00000090| 69 73 20 28 42 72 61 64 | 20 44 61 76 69 73 29 0a |is (Brad| Davis).|
|000000a0| 4d 6f 64 2e 73 6f 75 72 | 63 65 73 3a 20 56 6f 6c |Mod.sour|ces: Vol|
|000000b0| 75 6d 65 20 36 2c 20 49 | 73 73 75 65 20 31 31 31 |ume 6, I|ssue 111|
|000000c0| 0a 41 72 63 68 69 76 65 | 2d 6e 61 6d 65 3a 20 78 |.Archive|-name: x|
|000000d0| 6c 69 73 70 31 2e 36 2f | 50 61 72 74 30 35 0a 0a |lisp1.6/|Part05..|
|000000e0| 0a 23 21 20 2f 62 69 6e | 2f 73 68 0a 23 20 54 68 |.#! /bin|/sh.# Th|
|000000f0| 69 73 20 69 73 20 61 20 | 73 68 65 6c 6c 20 61 72 |is is a |shell ar|
|00000100| 63 68 69 76 65 2c 20 6d | 65 61 6e 69 6e 67 3a 0a |chive, m|eaning:.|
|00000110| 23 20 31 2e 20 52 65 6d | 6f 76 65 20 65 76 65 72 |# 1. Rem|ove ever|
|00000120| 79 74 68 69 6e 67 20 61 | 62 6f 76 65 20 74 68 65 |ything a|bove the|
|00000130| 20 23 21 20 2f 62 69 6e | 2f 73 68 20 6c 69 6e 65 | #! /bin|/sh line|
|00000140| 2e 0a 23 20 32 2e 20 53 | 61 76 65 20 74 68 65 20 |..# 2. S|ave the |
|00000150| 72 65 73 75 6c 74 69 6e | 67 20 74 65 78 74 20 69 |resultin|g text i|
|00000160| 6e 20 61 20 66 69 6c 65 | 2e 0a 23 20 33 2e 20 45 |n a file|..# 3. E|
|00000170| 78 65 63 75 74 65 20 74 | 68 65 20 66 69 6c 65 20 |xecute t|he file |
|00000180| 77 69 74 68 20 2f 62 69 | 6e 2f 73 68 20 28 6e 6f |with /bi|n/sh (no|
|00000190| 74 20 63 73 68 29 20 74 | 6f 20 63 72 65 61 74 65 |t csh) t|o create|
|000001a0| 20 74 68 65 20 66 69 6c | 65 73 3a 0a 23 09 61 72 | the fil|es:.#.ar|
|000001b0| 74 2e 6c 73 70 0a 23 09 | 65 78 61 6d 70 6c 65 2e |t.lsp.#.|example.|
|000001c0| 6c 73 70 0a 23 09 66 61 | 63 74 2e 6c 73 70 0a 23 |lsp.#.fa|ct.lsp.#|
|000001d0| 09 66 69 62 2e 6c 73 70 | 0a 23 09 68 61 6e 6f 69 |.fib.lsp|.#.hanoi|
|000001e0| 2e 6c 73 70 0a 23 09 68 | 64 77 72 2e 6c 73 70 0a |.lsp.#.h|dwr.lsp.|
|000001f0| 23 09 69 66 74 68 65 6e | 2e 6c 73 70 0a 23 09 69 |#.ifthen|.lsp.#.i|
|00000200| 6e 69 74 2e 6c 73 70 0a | 23 09 6f 62 6a 65 63 74 |nit.lsp.|#.object|
|00000210| 2e 6c 73 70 0a 23 09 70 | 63 74 75 72 74 6c 65 2e |.lsp.#.p|cturtle.|
|00000220| 6c 73 70 0a 23 09 70 70 | 2e 6c 73 70 0a 23 09 70 |lsp.#.pp|.lsp.#.p|
|00000230| 72 6f 6c 6f 67 2e 6c 73 | 70 0a 23 09 70 74 2e 6c |rolog.ls|p.#.pt.l|
|00000240| 73 70 0a 23 09 71 75 65 | 65 6e 73 2e 6c 73 70 0a |sp.#.que|ens.lsp.|
|00000250| 23 09 71 75 65 65 6e 73 | 32 2e 6c 73 70 0a 23 09 |#.queens|2.lsp.#.|
|00000260| 73 69 6d 70 6c 65 70 70 | 2e 6c 73 70 0a 23 09 74 |simplepp|.lsp.#.t|
|00000270| 72 61 63 65 2e 6c 73 70 | 0a 23 20 54 68 69 73 20 |race.lsp|.# This |
|00000280| 61 72 63 68 69 76 65 20 | 63 72 65 61 74 65 64 3a |archive |created:|
|00000290| 20 4d 6f 6e 20 4a 75 6c | 20 31 34 20 31 30 3a 31 | Mon Jul| 14 10:1|
|000002a0| 36 3a 35 39 20 31 39 38 | 36 0a 65 78 70 6f 72 74 |6:59 198|6.export|
|000002b0| 20 50 41 54 48 3b 20 50 | 41 54 48 3d 2f 62 69 6e | PATH; P|ATH=/bin|
|000002c0| 3a 24 50 41 54 48 0a 69 | 66 20 74 65 73 74 20 2d |:$PATH.i|f test -|
|000002d0| 66 20 27 61 72 74 2e 6c | 73 70 27 0a 74 68 65 6e |f 'art.l|sp'.then|
|000002e0| 0a 09 65 63 68 6f 20 73 | 68 61 72 3a 20 77 69 6c |..echo s|har: wil|
|000002f0| 6c 20 6e 6f 74 20 6f 76 | 65 72 2d 77 72 69 74 65 |l not ov|er-write|
|00000300| 20 65 78 69 73 74 69 6e | 67 20 66 69 6c 65 20 22 | existin|g file "|
|00000310| 27 61 72 74 2e 6c 73 70 | 27 22 0a 65 6c 73 65 0a |'art.lsp|'".else.|
|00000320| 63 61 74 20 3c 3c 20 5c | 53 48 41 52 5f 45 4f 46 |cat << \|SHAR_EOF|
|00000330| 20 3e 20 27 61 72 74 2e | 6c 73 70 27 0a 3b 20 54 | > 'art.|lsp'.; T|
|00000340| 68 69 73 20 69 73 20 61 | 6e 20 65 78 61 6d 70 6c |his is a|n exampl|
|00000350| 65 20 75 73 69 6e 67 20 | 74 68 65 20 6f 62 6a 65 |e using |the obje|
|00000360| 63 74 2d 6f 72 69 65 6e | 74 65 64 20 70 72 6f 67 |ct-orien|ted prog|
|00000370| 72 61 6d 6d 69 6e 67 20 | 73 75 70 70 6f 72 74 20 |ramming |support |
|00000380| 69 6e 0a 3b 20 58 4c 49 | 53 50 2e 20 20 54 68 65 |in.; XLI|SP.  The|
|00000390| 20 65 78 61 6d 70 6c 65 | 20 69 6e 76 6f 6c 76 65 | example| involve|
|000003a0| 73 20 64 65 66 69 6e 69 | 6e 67 20 61 20 63 6c 61 |s defini|ng a cla|
|000003b0| 73 73 20 6f 66 20 6f 62 | 6a 65 63 74 73 20 72 65 |ss of ob|jects re|
|000003c0| 70 72 65 73 65 6e 74 69 | 6e 67 0a 3b 20 64 69 63 |presenti|ng.; dic|
|000003d0| 74 69 6f 6e 61 72 69 65 | 73 2e 20 20 45 61 63 68 |tionarie|s.  Each|
|000003e0| 20 69 6e 73 74 61 6e 63 | 65 20 6f 66 20 74 68 69 | instanc|e of thi|
|000003f0| 73 20 63 6c 61 73 73 20 | 77 69 6c 6c 20 62 65 20 |s class |will be |
|00000400| 61 20 64 69 63 74 69 6f | 6e 61 72 79 20 69 6e 0a |a dictio|nary in.|
|00000410| 3b 20 77 68 69 63 68 20 | 6e 61 6d 65 73 20 61 6e |; which |names an|
|00000420| 64 20 76 61 6c 75 65 73 | 20 63 61 6e 20 62 65 20 |d values| can be |
|00000430| 73 74 6f 72 65 64 2e 20 | 20 54 68 65 72 65 20 77 |stored. | There w|
|00000440| 69 6c 6c 20 61 6c 73 6f | 20 62 65 20 61 20 66 61 |ill also| be a fa|
|00000450| 63 69 6c 69 74 79 0a 3b | 20 66 6f 72 20 66 69 6e |cility.;| for fin|
|00000460| 64 69 6e 67 20 74 68 65 | 20 76 61 6c 75 65 73 20 |ding the| values |
|00000470| 61 73 73 6f 63 69 61 74 | 65 64 20 77 69 74 68 20 |associat|ed with |
|00000480| 6e 61 6d 65 73 20 61 66 | 74 65 72 20 74 68 65 79 |names af|ter they|
|00000490| 20 68 61 76 65 20 62 65 | 65 6e 0a 3b 20 73 74 6f | have be|en.; sto|
|000004a0| 72 65 64 2e 0a 0a 3b 20 | 43 72 65 61 74 65 20 74 |red...; |Create t|
|000004b0| 68 65 20 27 44 69 63 74 | 69 6f 6e 61 72 79 27 20 |he 'Dict|ionary' |
|000004c0| 63 6c 61 73 73 20 61 6e | 64 20 65 73 74 61 62 6c |class an|d establ|
|000004d0| 69 73 68 20 69 74 73 20 | 69 6e 73 74 61 6e 63 65 |ish its |instance|
|000004e0| 20 76 61 72 69 61 62 6c | 65 20 6c 69 73 74 2e 0a | variabl|e list..|
|000004f0| 3b 20 54 68 65 20 76 61 | 72 69 61 62 6c 65 20 27 |; The va|riable '|
|00000500| 65 6e 74 72 69 65 73 27 | 20 77 69 6c 6c 20 70 6f |entries'| will po|
|00000510| 69 6e 74 20 74 6f 20 61 | 6e 20 61 73 73 6f 63 69 |int to a|n associ|
|00000520| 61 74 69 6f 6e 20 6c 69 | 73 74 20 72 65 70 72 65 |ation li|st repre|
|00000530| 73 65 6e 74 69 6e 67 20 | 74 68 65 0a 3b 20 65 6e |senting |the.; en|
|00000540| 74 72 69 65 73 20 69 6e | 20 74 68 65 20 64 69 63 |tries in| the dic|
|00000550| 74 69 6f 6e 61 72 79 20 | 69 6e 73 74 61 6e 63 65 |tionary |instance|
|00000560| 2e 0a 0a 28 73 65 74 71 | 20 44 69 63 74 69 6f 6e |...(setq| Diction|
|00000570| 61 72 79 20 28 43 6c 61 | 73 73 20 3a 6e 65 77 20 |ary (Cla|ss :new |
|00000580| 27 28 65 6e 74 72 69 65 | 73 29 29 29 0a 0a 3b 20 |'(entrie|s)))..; |
|00000590| 53 65 74 75 70 20 74 68 | 65 20 6d 65 74 68 6f 64 |Setup th|e method|
|000005a0| 20 66 6f 72 20 74 68 65 | 20 27 3a 69 73 6e 65 77 | for the| ':isnew|
|000005b0| 27 20 69 6e 69 74 69 61 | 6c 69 7a 61 74 69 6f 6e |' initia|lization|
|000005c0| 20 6d 65 73 73 61 67 65 | 2e 0a 3b 20 54 68 69 73 | message|..; This|
|000005d0| 20 6d 65 73 73 61 67 65 | 20 77 69 6c 6c 20 62 65 | message| will be|
|000005e0| 20 73 65 6e 64 20 77 68 | 65 6e 65 76 65 72 20 61 | send wh|enever a|
|000005f0| 20 6e 65 77 20 69 6e 73 | 74 61 6e 63 65 20 6f 66 | new ins|tance of|
|00000600| 20 74 68 65 20 27 44 69 | 63 74 69 6f 6e 61 72 79 | the 'Di|ctionary|
|00000610| 27 0a 3b 20 63 6c 61 73 | 73 20 69 73 20 63 72 65 |'.; clas|s is cre|
|00000620| 61 74 65 64 2e 20 20 49 | 74 73 20 70 75 72 70 6f |ated.  I|ts purpo|
|00000630| 73 65 20 69 73 20 74 6f | 20 61 6c 6c 6f 77 20 74 |se is to| allow t|
|00000640| 68 65 20 6e 65 77 20 69 | 6e 73 74 61 6e 63 65 20 |he new i|nstance |
|00000650| 74 6f 20 62 65 0a 3b 20 | 69 6e 69 74 69 61 6c 69 |to be.; |initiali|
|00000660| 7a 65 64 20 62 65 66 6f | 72 65 20 61 6e 79 20 6f |zed befo|re any o|
|00000670| 74 68 65 72 20 6d 65 73 | 73 61 67 65 73 20 61 72 |ther mes|sages ar|
|00000680| 65 20 73 65 6e 74 20 74 | 6f 20 69 74 2e 20 20 49 |e sent t|o it.  I|
|00000690| 74 20 73 65 74 73 20 74 | 68 65 20 76 61 6c 75 65 |t sets t|he value|
|000006a0| 0a 3b 20 6f 66 20 27 65 | 6e 74 72 69 65 73 27 20 |.; of 'e|ntries' |
|000006b0| 74 6f 20 6e 69 6c 20 74 | 6f 20 69 6e 64 69 63 61 |to nil t|o indica|
|000006c0| 74 65 20 74 68 61 74 20 | 74 68 65 20 64 69 63 74 |te that |the dict|
|000006d0| 69 6f 6e 61 72 79 20 69 | 73 20 65 6d 70 74 79 2e |ionary i|s empty.|
|000006e0| 0a 0a 28 44 69 63 74 69 | 6f 6e 61 72 79 20 3a 61 |..(Dicti|onary :a|
|000006f0| 6e 73 77 65 72 20 3a 69 | 73 6e 65 77 20 27 28 29 |nswer :i|snew '()|
|00000700| 0a 09 20 20 20 20 27 28 | 28 73 65 74 71 20 65 6e |..    '(|(setq en|
|00000710| 74 72 69 65 73 20 6e 69 | 6c 29 0a 09 20 20 20 20 |tries ni|l)..    |
|00000720| 20 20 73 65 6c 66 29 29 | 0a 0a 3b 20 44 65 66 69 |  self))|..; Defi|
|00000730| 6e 65 20 74 68 65 20 6d | 65 73 73 61 67 65 20 27 |ne the m|essage '|
|00000740| 3a 61 64 64 27 20 74 6f | 20 6d 61 6b 65 20 61 20 |:add' to| make a |
|00000750| 6e 65 77 20 65 6e 74 72 | 79 20 69 6e 20 74 68 65 |new entr|y in the|
|00000760| 20 64 69 63 74 69 6f 6e | 61 72 79 2e 20 20 54 68 | diction|ary.  Th|
|00000770| 69 73 0a 3b 20 6d 65 73 | 73 61 67 65 20 74 61 6b |is.; mes|sage tak|
|00000780| 65 73 20 74 77 6f 20 61 | 72 67 75 6d 65 6e 74 73 |es two a|rguments|
|00000790| 2e 20 20 54 68 65 20 61 | 72 67 75 6d 65 6e 74 20 |.  The a|rgument |
|000007a0| 27 6e 61 6d 65 27 20 73 | 70 65 63 69 66 69 65 73 |'name' s|pecifies|
|000007b0| 20 74 68 65 20 6e 61 6d | 65 0a 3b 20 6f 66 20 74 | the nam|e.; of t|
|000007c0| 68 65 20 6e 65 77 20 65 | 6e 74 72 79 3b 20 74 68 |he new e|ntry; th|
|000007d0| 65 20 61 72 67 75 6d 65 | 6e 74 20 27 76 61 6c 75 |e argume|nt 'valu|
|000007e0| 65 27 20 73 70 65 63 69 | 66 69 65 73 20 74 68 65 |e' speci|fies the|
|000007f0| 20 76 61 6c 75 65 20 74 | 6f 20 62 65 0a 3b 20 61 | value t|o be.; a|
|00000800| 73 73 6f 63 69 61 74 65 | 64 20 77 69 74 68 20 74 |ssociate|d with t|
|00000810| 68 61 74 20 6e 61 6d 65 | 2e 0a 0a 28 44 69 63 74 |hat name|...(Dict|
|00000820| 69 6f 6e 61 72 79 20 3a | 61 6e 73 77 65 72 20 3a |ionary :|answer :|
|00000830| 61 64 64 20 27 28 6e 61 | 6d 65 20 76 61 6c 75 65 |add '(na|me value|
|00000840| 29 0a 09 20 20 20 20 27 | 28 28 73 65 74 71 20 65 |)..    '|((setq e|
|00000850| 6e 74 72 69 65 73 0a 09 | 20 20 20 20 20 20 20 20 |ntries..|        |
|00000860| 20 20 20 20 28 63 6f 6e | 73 20 28 63 6f 6e 73 20 |    (con|s (cons |
|00000870| 6e 61 6d 65 20 76 61 6c | 75 65 29 20 65 6e 74 72 |name val|ue) entr|
|00000880| 69 65 73 29 29 0a 09 20 | 20 20 20 20 20 76 61 6c |ies)).. |     val|
|00000890| 75 65 29 29 0a 0a 3b 20 | 43 72 65 61 74 65 20 61 |ue))..; |Create a|
|000008a0| 6e 20 69 6e 73 74 61 6e | 63 65 20 6f 66 20 74 68 |n instan|ce of th|
|000008b0| 65 20 27 44 69 63 74 69 | 6f 6e 61 72 79 27 20 63 |e 'Dicti|onary' c|
|000008c0| 6c 61 73 73 2e 20 20 54 | 68 69 73 20 69 6e 73 74 |lass.  T|his inst|
|000008d0| 61 6e 63 65 20 69 73 20 | 61 6e 20 65 6d 70 74 79 |ance is |an empty|
|000008e0| 0a 3b 20 64 69 63 74 69 | 6f 6e 61 72 79 20 74 6f |.; dicti|onary to|
|000008f0| 20 77 68 69 63 68 20 77 | 6f 72 64 73 20 6d 61 79 | which w|ords may|
|00000900| 20 62 65 20 61 64 64 65 | 64 2e 0a 0a 28 73 65 74 | be adde|d...(set|
|00000910| 71 20 64 20 28 44 69 63 | 74 69 6f 6e 61 72 79 20 |q d (Dic|tionary |
|00000920| 3a 6e 65 77 29 29 0a 0a | 3b 20 41 64 64 20 73 6f |:new))..|; Add so|
|00000930| 6d 65 20 65 6e 74 72 69 | 65 73 20 74 6f 20 74 68 |me entri|es to th|
|00000940| 65 20 6e 65 77 20 64 69 | 63 74 69 6f 6e 61 72 79 |e new di|ctionary|
|00000950| 2e 0a 0a 28 64 20 3a 61 | 64 64 20 27 6d 6f 7a 61 |...(d :a|dd 'moza|
|00000960| 72 74 20 27 63 6f 6d 70 | 6f 73 65 72 29 0a 28 64 |rt 'comp|oser).(d|
|00000970| 20 3a 61 64 64 20 27 77 | 69 6e 73 74 6f 6e 20 27 | :add 'w|inston '|
|00000980| 63 6f 6d 70 75 74 65 72 | 2d 73 63 69 65 6e 74 69 |computer|-scienti|
|00000990| 73 74 29 0a 0a 3b 20 44 | 65 66 69 6e 65 20 61 20 |st)..; D|efine a |
|000009a0| 6d 65 73 73 61 67 65 20 | 74 6f 20 66 69 6e 64 20 |message |to find |
|000009b0| 65 6e 74 72 69 65 73 20 | 69 6e 20 61 20 64 69 63 |entries |in a dic|
|000009c0| 74 69 6f 6e 61 72 79 2e | 20 20 54 68 69 73 20 6d |tionary.|  This m|
|000009d0| 65 73 73 61 67 65 20 74 | 61 6b 65 73 0a 3b 20 6f |essage t|akes.; o|
|000009e0| 6e 65 20 61 72 67 75 6d | 65 6e 74 20 27 6e 61 6d |ne argum|ent 'nam|
|000009f0| 65 27 20 77 68 69 63 68 | 20 73 70 65 63 69 66 69 |e' which| specifi|
|00000a00| 65 73 20 74 68 65 20 6e | 61 6d 65 20 6f 66 20 74 |es the n|ame of t|
|00000a10| 68 65 20 65 6e 74 72 79 | 20 66 6f 72 20 77 68 69 |he entry| for whi|
|00000a20| 63 68 20 74 6f 0a 3b 20 | 73 65 61 72 63 68 2e 20 |ch to.; |search. |
|00000a30| 20 49 74 20 72 65 74 75 | 72 6e 73 20 74 68 65 20 | It retu|rns the |
|00000a40| 76 61 6c 75 65 20 61 73 | 73 6f 63 69 61 74 65 64 |value as|sociated|
|00000a50| 20 77 69 74 68 20 74 68 | 65 20 65 6e 74 72 79 20 | with th|e entry |
|00000a60| 69 66 20 6f 6e 65 20 69 | 73 0a 3b 20 70 72 65 73 |if one i|s.; pres|
|00000a70| 65 6e 74 20 69 6e 20 74 | 68 65 20 64 69 63 74 69 |ent in t|he dicti|
|00000a80| 6f 6e 61 72 79 2e 20 20 | 4f 74 68 65 72 77 69 73 |onary.  |Otherwis|
|00000a90| 65 2c 20 69 74 20 72 65 | 74 75 72 6e 73 20 6e 69 |e, it re|turns ni|
|00000aa0| 6c 2e 0a 0a 28 44 69 63 | 74 69 6f 6e 61 72 79 20 |l...(Dic|tionary |
|00000ab0| 3a 61 6e 73 77 65 72 20 | 3a 66 69 6e 64 20 27 28 |:answer |:find '(|
|00000ac0| 6e 61 6d 65 20 26 61 75 | 78 20 65 6e 74 72 79 29 |name &au|x entry)|
|00000ad0| 0a 09 20 20 20 20 27 28 | 28 63 6f 6e 64 20 28 28 |..    '(|(cond ((|
|00000ae0| 73 65 74 71 20 65 6e 74 | 72 79 20 28 61 73 73 6f |setq ent|ry (asso|
|00000af0| 63 20 6e 61 6d 65 20 65 | 6e 74 72 69 65 73 29 29 |c name e|ntries))|
|00000b00| 0a 09 20 20 20 20 20 20 | 28 63 64 72 20 65 6e 74 |..      |(cdr ent|
|00000b10| 72 79 29 29 0a 09 20 20 | 20 20 20 28 74 0a 09 20 |ry))..  |   (t.. |
|00000b20| 20 20 20 20 20 6e 69 6c | 29 29 29 29 0a 0a 3b 20 |     nil|))))..; |
|00000b30| 54 72 79 20 74 6f 20 66 | 69 6e 64 20 73 6f 6d 65 |Try to f|ind some|
|00000b40| 20 65 6e 74 72 69 65 73 | 20 69 6e 20 74 68 65 20 | entries| in the |
|00000b50| 64 69 63 74 69 6f 6e 61 | 72 79 20 77 65 20 63 72 |dictiona|ry we cr|
|00000b60| 65 61 74 65 64 2e 0a 0a | 28 64 20 3a 66 69 6e 64 |eated...|(d :find|
|00000b70| 20 27 6d 6f 7a 61 72 74 | 29 0a 28 64 20 3a 66 69 | 'mozart|).(d :fi|
|00000b80| 6e 64 20 27 77 69 6e 73 | 74 6f 6e 29 0a 28 64 20 |nd 'wins|ton).(d |
|00000b90| 3a 66 69 6e 64 20 27 62 | 6f 7a 6f 29 0a 0a 3b 20 |:find 'b|ozo)..; |
|00000ba0| 54 68 65 20 6e 61 6d 65 | 73 20 27 6d 6f 7a 61 72 |The name|s 'mozar|
|00000bb0| 74 27 20 61 6e 64 20 27 | 77 69 6e 73 74 6f 6e 27 |t' and '|winston'|
|00000bc0| 20 61 72 65 20 66 6f 75 | 6e 64 20 69 6e 20 74 68 | are fou|nd in th|
|00000bd0| 65 20 64 69 63 74 69 6f | 6e 61 72 79 20 73 6f 20 |e dictio|nary so |
|00000be0| 74 68 65 69 72 0a 3b 20 | 76 61 6c 75 65 73 20 27 |their.; |values '|
|00000bf0| 63 6f 6d 70 6f 73 65 72 | 27 20 61 6e 64 20 27 63 |composer|' and 'c|
|00000c00| 6f 6d 70 75 74 65 72 2d | 73 63 69 65 6e 74 69 73 |omputer-|scientis|
|00000c10| 74 27 20 61 72 65 20 72 | 65 74 75 72 6e 65 64 2e |t' are r|eturned.|
|00000c20| 20 20 54 68 65 20 6e 61 | 6d 65 20 27 62 6f 7a 6f |  The na|me 'bozo|
|00000c30| 27 0a 3b 20 69 73 20 6e | 6f 74 20 66 6f 75 6e 64 |'.; is n|ot found|
|00000c40| 20 73 6f 20 6e 69 6c 20 | 69 73 20 72 65 74 75 72 | so nil |is retur|
|00000c50| 6e 65 64 20 69 6e 20 74 | 68 69 73 20 63 61 73 65 |ned in t|his case|
|00000c60| 2e 0a 53 48 41 52 5f 45 | 4f 46 0a 66 69 20 23 20 |..SHAR_E|OF.fi # |
|00000c70| 65 6e 64 20 6f 66 20 6f | 76 65 72 77 72 69 74 69 |end of o|verwriti|
|00000c80| 6e 67 20 63 68 65 63 6b | 0a 69 66 20 74 65 73 74 |ng check|.if test|
|00000c90| 20 2d 66 20 27 65 78 61 | 6d 70 6c 65 2e 6c 73 70 | -f 'exa|mple.lsp|
|00000ca0| 27 0a 74 68 65 6e 0a 09 | 65 63 68 6f 20 73 68 61 |'.then..|echo sha|
|00000cb0| 72 3a 20 77 69 6c 6c 20 | 6e 6f 74 20 6f 76 65 72 |r: will |not over|
|00000cc0| 2d 77 72 69 74 65 20 65 | 78 69 73 74 69 6e 67 20 |-write e|xisting |
|00000cd0| 66 69 6c 65 20 22 27 65 | 78 61 6d 70 6c 65 2e 6c |file "'e|xample.l|
|00000ce0| 73 70 27 22 0a 65 6c 73 | 65 0a 63 61 74 20 3c 3c |sp'".els|e.cat <<|
|00000cf0| 20 5c 53 48 41 52 5f 45 | 4f 46 20 3e 20 27 65 78 | \SHAR_E|OF > 'ex|
|00000d00| 61 6d 70 6c 65 2e 6c 73 | 70 27 0a 3b 20 4d 61 6b |ample.ls|p'.; Mak|
|00000d10| 65 20 74 68 65 20 63 6c | 61 73 73 20 73 68 69 70 |e the cl|ass ship|
|00000d20| 20 61 6e 64 20 69 74 73 | 20 69 6e 73 74 61 6e 63 | and its| instanc|
|00000d30| 65 20 76 61 72 69 61 62 | 6c 65 73 20 62 65 20 6b |e variab|les be k|
|00000d40| 6e 6f 77 6e 0a 0a 28 73 | 65 74 71 20 73 68 69 70 |nown..(s|etq ship|
|00000d50| 20 28 43 6c 61 73 73 20 | 3a 6e 65 77 20 27 28 78 | (Class |:new '(x|
|00000d60| 20 79 20 78 76 20 79 76 | 20 6d 20 6e 61 6d 65 20 | y xv yv| m name |
|00000d70| 63 61 70 74 61 69 6e 20 | 72 65 67 69 73 74 72 79 |captain |registry|
|00000d80| 29 29 29 0a 0a 0a 28 73 | 68 69 70 20 3a 61 6e 73 |)))...(s|hip :ans|
|00000d90| 77 65 72 20 3a 67 65 74 | 78 09 09 27 28 29 20 27 |wer :get|x..'() '|
|00000da0| 28 20 78 20 29 29 09 3b | 20 6a 75 73 74 20 65 76 |( x )).;| just ev|
|00000db0| 61 6c 75 61 74 65 20 78 | 0a 28 73 68 69 70 20 3a |aluate x|.(ship :|
|00000dc0| 61 6e 73 77 65 72 20 3a | 67 65 74 78 76 09 09 27 |answer :|getxv..'|
|00000dd0| 28 29 20 27 28 20 78 76 | 20 29 29 09 3b 20 6e 6f |() '( xv| )).; no|
|00000de0| 74 65 20 74 68 61 74 20 | 74 68 65 20 6d 65 74 68 |te that |the meth|
|00000df0| 6f 64 20 69 73 20 61 0a | 28 73 68 69 70 20 3a 61 |od is a.|(ship :a|
|00000e00| 6e 73 77 65 72 20 3a 67 | 65 74 79 09 09 27 28 29 |nswer :g|ety..'()|
|00000e10| 20 27 28 20 79 20 29 29 | 09 3b 20 6c 69 73 74 20 | '( y ))|.; list |
|00000e20| 6f 66 20 66 6f 72 6d 73 | 2c 20 74 68 65 20 76 61 |of forms|, the va|
|00000e30| 6c 75 65 0a 28 73 68 69 | 70 20 3a 61 6e 73 77 65 |lue.(shi|p :answe|
|00000e40| 72 20 3a 67 65 74 79 76 | 09 09 27 28 29 20 27 28 |r :getyv|..'() '(|
|00000e50| 20 79 76 20 29 29 09 3b | 20 6f 66 20 74 68 65 20 | yv )).;| of the |
|00000e60| 6c 61 73 74 20 6f 6e 65 | 20 62 65 69 6e 67 20 74 |last one| being t|
|00000e70| 68 65 0a 28 73 68 69 70 | 20 3a 61 6e 73 77 65 72 |he.(ship| :answer|
|00000e80| 20 3a 67 65 74 6d 09 09 | 27 28 29 20 27 28 20 6d | :getm..|'() '( m|
|00000e90| 20 29 29 09 3b 20 76 61 | 6c 75 65 20 6f 66 20 74 | )).; va|lue of t|
|00000ea0| 68 65 20 6d 65 74 68 6f | 64 0a 28 73 68 69 70 20 |he metho|d.(ship |
|00000eb0| 3a 61 6e 73 77 65 72 20 | 3a 67 65 74 6e 61 6d 65 |:answer |:getname|
|00000ec0| 09 09 27 28 29 20 27 28 | 20 6e 61 6d 65 20 29 29 |..'() '(| name ))|
|00000ed0| 0a 28 73 68 69 70 20 3a | 61 6e 73 77 65 72 20 3a |.(ship :|answer :|
|00000ee0| 67 65 74 63 61 70 74 61 | 69 6e 09 27 28 29 20 27 |getcapta|in.'() '|
|00000ef0| 28 20 63 61 70 74 61 69 | 6e 20 29 29 0a 28 73 68 |( captai|n )).(sh|
|00000f00| 69 70 20 3a 61 6e 73 77 | 65 72 20 3a 67 65 74 72 |ip :answ|er :getr|
|00000f10| 65 67 69 73 74 72 79 09 | 27 28 29 20 27 28 20 72 |egistry.|'() '( r|
|00000f20| 65 67 69 73 74 72 79 20 | 29 29 0a 0a 3b 09 09 09 |egistry |))..;...|
|00000f30| 20 20 20 66 6f 72 6d 61 | 6c 0a 3b 09 09 09 20 20 |   forma|l.;...  |
|00000f40| 20 70 61 72 61 6d 0a 3b | 09 09 09 20 20 20 6f 66 | param.;|...   of|
|00000f50| 0a 3b 09 09 09 20 20 20 | 6d 65 74 68 6f 64 0a 28 |.;...   |method.(|
|00000f60| 73 68 69 70 20 3a 61 6e | 73 77 65 72 20 3a 73 65 |ship :an|swer :se|
|00000f70| 74 78 20 20 09 20 20 20 | 27 28 74 6f 29 20 27 28 |tx  .   |'(to) '(|
|00000f80| 20 28 73 65 74 71 20 78 | 20 74 6f 29 20 29 20 29 | (setq x| to) ) )|
|00000f90| 0a 28 73 68 69 70 20 3a | 61 6e 73 77 65 72 20 3a |.(ship :|answer :|
|00000fa0| 73 65 74 78 76 20 09 20 | 20 20 27 28 74 6f 29 20 |setxv . |  '(to) |
|00000fb0| 27 28 20 28 73 65 74 71 | 20 78 76 20 74 6f 29 20 |'( (setq| xv to) |
|00000fc0| 29 20 29 0a 28 73 68 69 | 70 20 3a 61 6e 73 77 65 |) ).(shi|p :answe|
|00000fd0| 72 20 3a 73 65 74 79 20 | 20 09 20 20 20 27 28 74 |r :sety | .   '(t|
|00000fe0| 6f 29 20 27 28 20 28 73 | 65 74 71 20 79 20 74 6f |o) '( (s|etq y to|
|00000ff0| 29 20 29 20 29 0a 28 73 | 68 69 70 20 3a 61 6e 73 |) ) ).(s|hip :ans|
|00001000| 77 65 72 20 3a 73 65 74 | 79 76 09 20 20 20 27 28 |wer :set|yv.   '(|
|00001010| 74 6f 29 20 27 28 20 28 | 73 65 74 71 20 79 76 20 |to) '( (|setq yv |
|00001020| 74 6f 29 20 29 20 29 0a | 28 73 68 69 70 20 3a 61 |to) ) ).|(ship :a|
|00001030| 6e 73 77 65 72 20 3a 73 | 65 74 6d 09 20 20 20 27 |nswer :s|etm.   '|
|00001040| 28 74 6f 29 20 27 28 20 | 28 73 65 74 71 20 6d 20 |(to) '( |(setq m |
|00001050| 74 6f 29 20 29 20 29 0a | 28 73 68 69 70 20 3a 61 |to) ) ).|(ship :a|
|00001060| 6e 73 77 65 72 20 3a 73 | 65 74 6e 61 6d 65 20 20 |nswer :s|etname  |
|00001070| 20 20 20 27 28 74 6f 29 | 20 27 28 20 28 73 65 74 |   '(to)| '( (set|
|00001080| 71 20 6e 61 6d 65 20 74 | 6f 29 20 29 20 29 0a 28 |q name t|o) ) ).(|
|00001090| 73 68 69 70 20 3a 61 6e | 73 77 65 72 20 3a 73 65 |ship :an|swer :se|
|000010a0| 74 63 61 70 74 61 69 6e | 20 20 27 28 74 6f 29 20 |tcaptain|  '(to) |
|000010b0| 27 28 20 28 73 65 74 71 | 20 63 61 70 74 61 69 6e |'( (setq| captain|
|000010c0| 20 74 6f 29 20 29 20 29 | 0a 28 73 68 69 70 20 3a | to) ) )|.(ship :|
|000010d0| 61 6e 73 77 65 72 20 3a | 73 65 74 72 65 67 69 73 |answer :|setregis|
|000010e0| 74 72 79 20 27 28 74 6f | 29 20 27 28 20 28 73 65 |try '(to|) '( (se|
|000010f0| 74 71 20 72 65 67 69 73 | 74 72 79 20 74 6f 29 20 |tq regis|try to) |
|00001100| 29 20 29 0a 0a 28 73 68 | 69 70 20 3a 61 6e 73 77 |) )..(sh|ip :answ|
|00001110| 65 72 20 3a 73 61 69 6c | 20 27 28 74 69 6d 65 29 |er :sail| '(time)|
|00001120| 20 0a 09 3b 20 74 68 65 | 20 4d 45 54 48 4f 44 20 | ..; the| METHOD |
|00001130| 66 6f 72 20 73 61 69 6c | 69 6e 67 0a 09 27 28 20 |for sail|ing..'( |
|00001140| 28 70 72 69 6e 63 20 28 | 6c 69 73 74 20 22 73 61 |(princ (|list "sa|
|00001150| 69 6c 69 6e 67 20 66 6f | 72 20 22 20 74 69 6d 65 |iling fo|r " time|
|00001160| 20 22 20 68 6f 75 72 73 | 5c 6e 22 29 29 0a 09 20 | " hours|\n")).. |
|00001170| 20 20 3b 20 6e 6f 74 65 | 20 74 68 61 74 20 74 68 |  ; note| that th|
|00001180| 69 73 20 66 6f 72 6d 20 | 69 73 20 65 78 70 72 65 |is form |is expre|
|00001190| 73 73 65 64 20 69 6e 20 | 74 65 72 6d 73 20 6f 66 |ssed in |terms of|
|000011a0| 20 6f 62 6a 65 63 74 73 | 3a 20 20 22 73 65 6c 66 | objects|:  "self|
|000011b0| 22 0a 09 20 20 20 3b 20 | 69 73 20 62 6f 75 6e 64 |"..   ; |is bound|
|000011c0| 20 74 6f 20 74 68 65 20 | 6f 62 6a 65 63 74 20 62 | to the |object b|
|000011d0| 65 69 6e 67 20 74 61 6c | 6b 65 64 20 74 6f 20 64 |eing tal|ked to d|
|000011e0| 75 72 69 6e 67 20 74 68 | 65 20 65 78 65 63 75 74 |uring th|e execut|
|000011f0| 69 6f 6e 0a 09 20 20 20 | 3b 20 6f 66 20 69 74 73 |ion..   |; of its|
|00001200| 20 6d 65 73 73 61 67 65 | 2e 20 20 49 74 20 63 61 | message|.  It ca|
|00001210| 6e 20 61 73 6b 20 69 74 | 73 65 6c 66 20 74 6f 20 |n ask it|self to |
|00001220| 64 6f 20 74 68 69 6e 67 | 73 2e 0a 09 20 20 20 28 |do thing|s...   (|
|00001230| 73 65 6c 66 20 3a 73 65 | 74 78 20 28 2b 20 20 28 |self :se|tx (+  (|
|00001240| 73 65 6c 66 20 3a 67 65 | 74 78 29 0a 09 09 09 20 |self :ge|tx).... |
|00001250| 20 20 28 2a 20 28 73 65 | 6c 66 20 3a 67 65 74 78 |  (* (se|lf :getx|
|00001260| 76 29 20 74 69 6d 65 29 | 29 29 0a 09 20 20 20 3b |v) time)|))..   ;|
|00001270| 20 54 68 69 73 20 66 6f | 72 6d 20 70 65 72 66 6f | This fo|rm perfo|
|00001280| 72 6d 73 20 61 20 70 61 | 72 61 6c 6c 65 6c 20 61 |rms a pa|rallel a|
|00001290| 63 74 69 6f 6e 20 74 6f | 20 74 68 65 20 61 62 6f |ction to| the abo|
|000012a0| 76 65 2c 20 62 75 74 20 | 6d 6f 72 65 0a 09 20 20 |ve, but |more..  |
|000012b0| 20 3b 20 65 66 66 69 63 | 69 65 6e 74 6c 79 2c 20 | ; effic|iently, |
|000012c0| 61 6e 64 20 69 6e 20 74 | 68 69 73 20 69 6e 73 74 |and in t|his inst|
|000012d0| 61 6e 63 65 2c 20 6d 6f | 72 65 20 63 6c 65 61 72 |ance, mo|re clear|
|000012e0| 6c 79 0a 09 20 20 20 28 | 73 65 74 71 20 79 20 28 |ly..   (|setq y (|
|000012f0| 2b 20 79 20 28 2a 20 79 | 76 20 74 69 6d 65 29 29 |+ y (* y|v time))|
|00001300| 29 0a 09 20 20 20 3b 20 | 43 75 74 65 20 6d 65 73 |)..   ; |Cute mes|
|00001310| 73 61 67 65 20 66 6f 72 | 20 72 65 74 75 72 6e 20 |sage for| return |
|00001320| 76 61 6c 75 65 2e 20 20 | 54 65 65 20 48 65 65 2e |value.  |Tee Hee.|
|00001330| 0a 09 20 20 20 22 53 61 | 69 6c 69 6e 67 2c 20 73 |..   "Sa|iling, s|
|00001340| 61 69 6c 69 6e 67 2c 20 | 6f 76 65 72 20 74 68 65 |ailing, |over the|
|00001350| 20 62 6f 75 6e 74 69 66 | 75 6c 20 63 68 6f 77 20 | bountif|ul chow |
|00001360| 6d 65 69 6e 2e 2e 2e 22 | 29 29 0a 0a 3b 20 3c 4f |mein..."|))..; <O|
|00001370| 42 4a 45 43 54 3a 20 23 | 31 32 33 34 35 36 36 37 |BJECT: #|12345667|
|00001380| 3e 20 69 73 20 6e 6f 74 | 20 74 65 72 72 69 62 6c |> is not| terribl|
|00001390| 79 20 69 6e 73 74 72 75 | 63 74 69 76 65 2e 20 20 |y instru|ctive.  |
|000013a0| 48 6f 77 20 61 62 6f 75 | 74 20 61 20 6d 6f 72 65 |How abou|t a more|
|000013b0| 0a 3b 20 69 6e 66 6f 72 | 6d 61 74 69 76 65 20 70 |.; infor|mative p|
|000013c0| 72 69 6e 74 20 72 6f 75 | 74 69 6e 65 3f 0a 0a 28 |rint rou|tine?..(|
|000013d0| 73 68 69 70 20 3a 61 6e | 73 77 65 72 20 3a 70 72 |ship :an|swer :pr|
|000013e0| 69 6e 74 20 27 28 29 20 | 27 28 28 70 72 69 6e 63 |int '() |'((princ|
|000013f0| 20 28 6c 69 73 74 0a 09 | 09 09 09 22 53 48 49 50 | (list..|..."SHIP|
|00001400| 20 4e 41 4d 45 3a 20 22 | 20 28 73 65 6c 66 20 3a | NAME: "| (self :|
|00001410| 67 65 74 6e 61 6d 65 29 | 20 22 5c 6e 22 0a 09 09 |getname)| "\n"...|
|00001420| 09 09 22 52 45 47 49 53 | 54 52 59 3a 20 22 20 28 |.."REGIS|TRY: " (|
|00001430| 73 65 6c 66 20 3a 67 65 | 74 72 65 67 69 73 74 72 |self :ge|tregistr|
|00001440| 79 29 20 22 5c 6e 22 0a | 09 09 09 09 22 43 41 50 |y) "\n".|...."CAP|
|00001450| 54 41 49 4e 20 49 53 3a | 20 22 20 28 73 65 6c 66 |TAIN IS:| " (self|
|00001460| 20 3a 67 65 74 63 61 70 | 74 61 69 6e 29 20 22 5c | :getcap|tain) "\|
|00001470| 6e 22 0a 09 09 09 09 22 | 4d 41 53 53 20 49 53 3a |n"....."|MASS IS:|
|00001480| 20 22 20 28 73 65 6c 66 | 20 3a 67 65 74 6d 29 20 | " (self| :getm) |
|00001490| 22 20 54 4f 4e 4e 45 53 | 5c 6e 22 0a 09 09 09 09 |" TONNES|\n".....|
|000014a0| 22 43 55 52 52 45 4e 54 | 20 50 4f 53 49 54 49 4f |"CURRENT| POSITIO|
|000014b0| 4e 20 49 53 3a 20 22 20 | 0a 09 09 09 09 09 28 73 |N IS: " |......(s|
|000014c0| 65 6c 66 20 3a 67 65 74 | 78 29 09 22 20 58 20 42 |elf :get|x)." X B|
|000014d0| 59 20 22 0a 09 09 09 09 | 09 28 73 65 6c 66 20 3a |Y ".....|.(self :|
|000014e0| 67 65 74 79 29 09 22 20 | 59 5c 6e 22 0a 09 09 09 |gety)." |Y\n"....|
|000014f0| 09 22 53 50 45 45 44 20 | 49 53 3a 20 22 0a 09 09 |."SPEED |IS: "...|
|00001500| 09 09 09 28 73 65 6c 66 | 20 3a 67 65 74 78 76 29 |...(self| :getxv)|
|00001510| 09 22 20 58 56 20 42 59 | 20 22 0a 09 09 09 09 09 |." XV BY| "......|
|00001520| 28 73 65 6c 66 20 3a 67 | 65 74 79 76 29 09 22 20 |(self :g|etyv)." |
|00001530| 59 56 5c 6e 22 29 20 29 | 20 29 29 0a 0a 3b 20 61 |YV\n") )| ))..; a|
|00001540| 20 66 75 6e 63 74 69 6f | 6e 20 74 6f 20 6d 61 6b | functio|n to mak|
|00001550| 65 20 6c 69 66 65 20 65 | 61 73 69 65 72 0a 0a 28 |e life e|asier..(|
|00001560| 64 65 66 75 6e 20 6e 65 | 77 73 68 69 70 20 28 6d |defun ne|wship (m|
|00001570| 61 73 73 20 6e 61 6d 65 | 20 72 65 67 69 73 74 72 |ass name| registr|
|00001580| 79 20 63 61 70 74 61 69 | 6e 20 26 61 75 78 20 6e |y captai|n &aux n|
|00001590| 65 77 29 0a 09 28 73 65 | 74 71 20 6e 65 77 20 28 |ew)..(se|tq new (|
|000015a0| 73 68 69 70 20 3a 6e 65 | 77 29 29 0a 09 28 6e 65 |ship :ne|w))..(ne|
|000015b0| 77 20 3a 73 65 74 78 20 | 30 29 0a 09 28 6e 65 77 |w :setx |0)..(new|
|000015c0| 20 3a 73 65 74 79 20 30 | 29 0a 09 28 6e 65 77 20 | :sety 0|)..(new |
|000015d0| 3a 73 65 74 78 76 20 30 | 29 0a 09 28 6e 65 77 20 |:setxv 0|)..(new |
|000015e0| 3a 73 65 74 79 76 20 30 | 29 0a 09 28 6e 65 77 20 |:setyv 0|)..(new |
|000015f0| 3a 73 65 74 6d 20 6d 61 | 73 73 29 0a 09 28 6e 65 |:setm ma|ss)..(ne|
|00001600| 77 20 3a 73 65 74 6e 61 | 6d 65 20 6e 61 6d 65 29 |w :setna|me name)|
|00001610| 0a 09 28 6e 65 77 20 3a | 73 65 74 63 61 70 74 61 |..(new :|setcapta|
|00001620| 69 6e 20 63 61 70 74 61 | 69 6e 29 0a 09 28 6e 65 |in capta|in)..(ne|
|00001630| 77 20 3a 73 65 74 72 65 | 67 69 73 74 72 79 20 72 |w :setre|gistry r|
|00001640| 65 67 69 73 74 72 79 29 | 0a 09 28 6e 65 77 20 3a |egistry)|..(new :|
|00001650| 70 72 69 6e 74 29 0a 09 | 6e 65 77 29 0a 0a 3b 20 |print)..|new)..; |
|00001660| 61 6e 64 20 61 6e 20 65 | 78 61 6d 70 6c 65 20 6f |and an e|xample o|
|00001670| 62 6a 65 63 74 2e 0a 0a | 28 73 65 74 71 20 42 6f |bject...|(setq Bo|
|00001680| 75 6e 74 79 20 28 6e 65 | 77 73 68 69 70 20 35 30 |unty (ne|wship 50|
|00001690| 20 27 42 6f 75 6e 74 79 | 20 27 45 6e 67 6c 61 6e | 'Bounty| 'Englan|
|000016a0| 64 20 27 42 6c 69 67 68 | 29 29 0a 53 48 41 52 5f |d 'Bligh|)).SHAR_|
|000016b0| 45 4f 46 0a 66 69 20 23 | 20 65 6e 64 20 6f 66 20 |EOF.fi #| end of |
|000016c0| 6f 76 65 72 77 72 69 74 | 69 6e 67 20 63 68 65 63 |overwrit|ing chec|
|000016d0| 6b 0a 69 66 20 74 65 73 | 74 20 2d 66 20 27 66 61 |k.if tes|t -f 'fa|
|000016e0| 63 74 2e 6c 73 70 27 0a | 74 68 65 6e 0a 09 65 63 |ct.lsp'.|then..ec|
|000016f0| 68 6f 20 73 68 61 72 3a | 20 77 69 6c 6c 20 6e 6f |ho shar:| will no|
|00001700| 74 20 6f 76 65 72 2d 77 | 72 69 74 65 20 65 78 69 |t over-w|rite exi|
|00001710| 73 74 69 6e 67 20 66 69 | 6c 65 20 22 27 66 61 63 |sting fi|le "'fac|
|00001720| 74 2e 6c 73 70 27 22 0a | 65 6c 73 65 0a 63 61 74 |t.lsp'".|else.cat|
|00001730| 20 3c 3c 20 5c 53 48 41 | 52 5f 45 4f 46 20 3e 20 | << \SHA|R_EOF > |
|00001740| 27 66 61 63 74 2e 6c 73 | 70 27 0a 28 64 65 66 75 |'fact.ls|p'.(defu|
|00001750| 6e 20 66 61 63 74 6f 72 | 69 61 6c 20 28 6e 29 0a |n factor|ial (n).|
|00001760| 20 20 20 20 20 20 20 28 | 63 6f 6e 64 20 28 28 3d |       (|cond ((=|
|00001770| 20 6e 20 31 29 20 31 29 | 0a 09 20 20 20 20 20 28 | n 1) 1)|..     (|
|00001780| 74 20 28 2a 20 6e 20 28 | 66 61 63 74 6f 72 69 61 |t (* n (|factoria|
|00001790| 6c 20 28 2d 20 6e 20 31 | 29 29 29 29 29 29 0a 53 |l (- n 1|)))))).S|
|000017a0| 48 41 52 5f 45 4f 46 0a | 66 69 20 23 20 65 6e 64 |HAR_EOF.|fi # end|
|000017b0| 20 6f 66 20 6f 76 65 72 | 77 72 69 74 69 6e 67 20 | of over|writing |
|000017c0| 63 68 65 63 6b 0a 69 66 | 20 74 65 73 74 20 2d 66 |check.if| test -f|
|000017d0| 20 27 66 69 62 2e 6c 73 | 70 27 0a 74 68 65 6e 0a | 'fib.ls|p'.then.|
|000017e0| 09 65 63 68 6f 20 73 68 | 61 72 3a 20 77 69 6c 6c |.echo sh|ar: will|
|000017f0| 20 6e 6f 74 20 6f 76 65 | 72 2d 77 72 69 74 65 20 | not ove|r-write |
|00001800| 65 78 69 73 74 69 6e 67 | 20 66 69 6c 65 20 22 27 |existing| file "'|
|00001810| 66 69 62 2e 6c 73 70 27 | 22 0a 65 6c 73 65 0a 63 |fib.lsp'|".else.c|
|00001820| 61 74 20 3c 3c 20 5c 53 | 48 41 52 5f 45 4f 46 20 |at << \S|HAR_EOF |
|00001830| 3e 20 27 66 69 62 2e 6c | 73 70 27 0a 28 64 65 66 |> 'fib.l|sp'.(def|
|00001840| 75 6e 20 66 69 62 20 28 | 78 29 0a 20 20 20 20 20 |un fib (|x).     |
|00001850| 20 20 28 69 66 20 28 3c | 20 78 20 32 29 0a 20 20 |  (if (<| x 2).  |
|00001860| 20 20 20 20 20 20 20 20 | 20 78 0a 20 20 20 20 20 |        | x.     |
|00001870| 20 20 20 20 20 20 28 2b | 20 28 66 69 62 20 28 31 |      (+| (fib (1|
|00001880| 2d 20 78 29 29 20 28 66 | 69 62 20 28 2d 20 78 20 |- x)) (f|ib (- x |
|00001890| 32 29 29 29 29 29 0a 0a | 0a 53 48 41 52 5f 45 4f |2)))))..|.SHAR_EO|
|000018a0| 46 0a 66 69 20 23 20 65 | 6e 64 20 6f 66 20 6f 76 |F.fi # e|nd of ov|
|000018b0| 65 72 77 72 69 74 69 6e | 67 20 63 68 65 63 6b 0a |erwritin|g check.|
|000018c0| 69 66 20 74 65 73 74 20 | 2d 66 20 27 68 61 6e 6f |if test |-f 'hano|
|000018d0| 69 2e 6c 73 70 27 0a 74 | 68 65 6e 0a 09 65 63 68 |i.lsp'.t|hen..ech|
|000018e0| 6f 20 73 68 61 72 3a 20 | 77 69 6c 6c 20 6e 6f 74 |o shar: |will not|
|000018f0| 20 6f 76 65 72 2d 77 72 | 69 74 65 20 65 78 69 73 | over-wr|ite exis|
|00001900| 74 69 6e 67 20 66 69 6c | 65 20 22 27 68 61 6e 6f |ting fil|e "'hano|
|00001910| 69 2e 6c 73 70 27 22 0a | 65 6c 73 65 0a 63 61 74 |i.lsp'".|else.cat|
|00001920| 20 3c 3c 20 5c 53 48 41 | 52 5f 45 4f 46 20 3e 20 | << \SHA|R_EOF > |
|00001930| 27 68 61 6e 6f 69 2e 6c | 73 70 27 0a 3b 20 47 6f |'hanoi.l|sp'.; Go|
|00001940| 6f 64 20 6f 6c 20 74 6f | 77 65 72 73 20 6f 66 20 |od ol to|wers of |
|00001950| 68 61 6e 6f 69 0a 3b 0a | 3b 20 55 73 61 67 65 3a |hanoi.;.|; Usage:|
|00001960| 0a 3b 20 20 20 20 20 20 | 28 68 61 6e 6f 69 20 3c |.;      |(hanoi <|
|00001970| 6e 3e 29 0a 3b 20 20 20 | 20 20 20 20 20 20 20 3c |n>).;   |       <|
|00001980| 6e 3e 20 2d 20 61 6e 20 | 69 6e 74 65 67 65 72 20 |n> - an |integer |
|00001990| 74 68 65 20 6e 75 6d 62 | 65 72 20 6f 66 20 64 69 |the numb|er of di|
|000019a0| 73 63 73 0a 0a 28 64 65 | 66 75 6e 20 68 61 6e 6f |scs..(de|fun hano|
|000019b0| 69 28 6e 29 0a 20 20 28 | 20 74 72 61 6e 73 66 65 |i(n).  (| transfe|
|000019c0| 72 20 27 41 20 27 42 20 | 27 43 20 6e 20 29 29 0a |r 'A 'B |'C n )).|
|000019d0| 0a 28 64 65 66 75 6e 20 | 70 72 69 6e 74 2d 6d 6f |.(defun |print-mo|
|000019e0| 76 65 20 28 20 66 72 6f | 6d 20 74 6f 20 29 0a 20 |ve ( fro|m to ). |
|000019f0| 20 28 70 72 69 6e 63 20 | 22 4d 6f 76 65 20 44 69 | (princ |"Move Di|
|00001a00| 73 6b 20 46 72 6f 6d 20 | 22 29 0a 20 20 28 70 72 |sk From |").  (pr|
|00001a10| 69 6e 63 20 66 72 6f 6d | 29 0a 20 20 28 70 72 69 |inc from|).  (pri|
|00001a20| 6e 63 20 22 20 54 6f 20 | 22 29 0a 20 20 28 70 72 |nc " To |").  (pr|
|00001a30| 69 6e 63 20 74 6f 29 0a | 20 20 28 70 72 69 6e 63 |inc to).|  (princ|
|00001a40| 20 22 5c 6e 22 29 29 0a | 0a 0a 28 64 65 66 75 6e | "\n")).|..(defun|
|00001a50| 20 74 72 61 6e 73 66 65 | 72 20 28 20 66 72 6f 6d | transfe|r ( from|
|00001a60| 20 74 6f 20 76 69 61 20 | 6e 20 29 0a 20 20 28 63 | to via |n ).  (c|
|00001a70| 6f 6e 64 20 28 28 65 71 | 75 61 6c 20 6e 20 31 29 |ond ((eq|ual n 1)|
|00001a80| 20 28 70 72 69 6e 74 2d | 6d 6f 76 65 20 66 72 6f | (print-|move fro|
|00001a90| 6d 20 74 6f 20 29 29 0a | 09 28 74 20 28 74 72 61 |m to )).|.(t (tra|
|00001aa0| 6e 73 66 65 72 20 66 72 | 6f 6d 20 76 69 61 20 74 |nsfer fr|om via t|
|00001ab0| 6f 20 28 2d 20 6e 20 31 | 29 29 0a 09 20 20 20 28 |o (- n 1|))..   (|
|00001ac0| 70 72 69 6e 74 2d 6d 6f | 76 65 20 66 72 6f 6d 20 |print-mo|ve from |
|00001ad0| 74 6f 29 0a 09 20 20 20 | 28 74 72 61 6e 73 66 65 |to)..   |(transfe|
|00001ae0| 72 20 76 69 61 20 74 6f | 20 66 72 6f 6d 20 28 2d |r via to| from (-|
|00001af0| 20 6e 20 31 29 29 29 29 | 29 0a 0a 0a 53 48 41 52 | n 1))))|)...SHAR|
|00001b00| 5f 45 4f 46 0a 66 69 20 | 23 20 65 6e 64 20 6f 66 |_EOF.fi |# end of|
|00001b10| 20 6f 76 65 72 77 72 69 | 74 69 6e 67 20 63 68 65 | overwri|ting che|
|00001b20| 63 6b 0a 69 66 20 74 65 | 73 74 20 2d 66 20 27 68 |ck.if te|st -f 'h|
|00001b30| 64 77 72 2e 6c 73 70 27 | 0a 74 68 65 6e 0a 09 65 |dwr.lsp'|.then..e|
|00001b40| 63 68 6f 20 73 68 61 72 | 3a 20 77 69 6c 6c 20 6e |cho shar|: will n|
|00001b50| 6f 74 20 6f 76 65 72 2d | 77 72 69 74 65 20 65 78 |ot over-|write ex|
|00001b60| 69 73 74 69 6e 67 20 66 | 69 6c 65 20 22 27 68 64 |isting f|ile "'hd|
|00001b70| 77 72 2e 6c 73 70 27 22 | 0a 65 6c 73 65 0a 63 61 |wr.lsp'"|.else.ca|
|00001b80| 74 20 3c 3c 20 5c 53 48 | 41 52 5f 45 4f 46 20 3e |t << \SH|AR_EOF >|
|00001b90| 20 27 68 64 77 72 2e 6c | 73 70 27 0a 3b 20 2d 2a | 'hdwr.l|sp'.; -*|
|00001ba0| 2d 4c 69 73 70 2d 2a 2d | 0a 3b 0a 3b 20 4a 77 61 |-Lisp-*-|.;.; Jwa|
|00001bb0| 68 61 72 20 52 2e 20 42 | 61 6d 6d 69 0a 3b 20 41 |har R. B|ammi.; A|
|00001bc0| 20 73 69 6d 70 6c 65 20 | 64 65 73 63 72 69 70 74 | simple |descript|
|00001bd0| 69 6f 6e 20 6f 66 20 68 | 61 72 64 77 61 72 65 20 |ion of h|ardware |
|00001be0| 6f 62 6a 65 63 74 73 20 | 75 73 69 6e 67 20 78 6c |objects |using xl|
|00001bf0| 69 73 70 0a 3b 20 4d 69 | 78 20 61 6e 64 20 6d 61 |isp.; Mi|x and ma|
|00001c00| 74 63 68 20 69 6e 73 74 | 61 6e 63 65 73 20 6f 66 |tch inst|ances of|
|00001c10| 20 74 68 65 20 6f 62 6a | 65 63 74 73 20 74 6f 20 | the obj|ects to |
|00001c20| 63 72 65 61 74 65 20 79 | 6f 75 72 0a 3b 20 6f 72 |create y|our.; or|
|00001c30| 67 61 6e 69 7a 61 74 69 | 6f 6e 2e 0a 3b 20 4e 65 |ganizati|on..; Ne|
|00001c40| 65 64 73 3a 0a 3b 20 2d | 20 62 75 73 73 65 73 20 |eds:.; -| busses |
|00001c50| 61 6e 64 20 63 6f 6e 6e | 65 63 74 69 6f 6e 20 61 |and conn|ection a|
|00001c60| 6e 64 20 74 68 65 20 44 | 65 73 69 67 6e 0a 3b 20 |nd the D|esign.; |
|00001c70| 20 20 43 6c 61 73 73 20 | 74 68 61 74 20 77 69 6c |  Class |that wil|
|00001c80| 6c 20 68 61 76 65 20 74 | 68 65 20 63 6f 6e 6e 65 |l have t|he conne|
|00001c90| 63 74 69 6f 6e 73 20 61 | 73 20 69 6e 73 74 61 6e |ctions a|s instan|
|00001ca0| 63 65 20 76 61 72 73 2e | 0a 3b 20 2d 20 50 72 69 |ce vars.|.; - Pri|
|00001cb0| 6e 74 20 6d 65 74 68 6f | 64 20 66 6f 72 20 65 61 |nt metho|d for ea|
|00001cc0| 63 68 20 6f 62 6a 65 63 | 74 2c 20 74 68 61 74 20 |ch objec|t, that |
|00001cd0| 77 69 6c 6c 20 64 69 73 | 70 6c 61 79 0a 3b 20 20 |will dis|play.;  |
|00001ce0| 20 74 68 65 20 69 6e 73 | 74 61 6e 63 65 20 76 61 | the ins|tance va|
|00001cf0| 72 69 61 62 6c 65 73 20 | 69 6e 20 61 6e 20 68 75 |riables |in an hu|
|00001d00| 6d 61 6e 20 72 65 61 64 | 61 62 6c 65 20 66 6f 72 |man read|able for|
|00001d10| 6d 2e 0a 3b 20 53 6f 6d | 65 20 64 61 79 20 49 20 |m..; Som|e day I |
|00001d20| 77 69 6c 6c 20 63 6f 6d | 70 6c 65 74 65 20 69 74 |will com|plete it|
|00001d30| 2e 0a 3b 0a 3b 0a 3b 0a | 3b 20 75 74 69 6c 69 74 |..;.;.;.|; utilit|
|00001d40| 79 20 66 75 6e 63 74 69 | 6f 6e 73 0a 0a 0a 3b 20 |y functi|ons...; |
|00001d50| 66 75 6e 63 74 69 6f 6e | 20 74 6f 20 63 61 6c 63 |function| to calc|
|00001d60| 75 6c 61 74 65 20 32 5e | 6e 0a 0a 28 64 65 66 75 |ulate 2^|n..(defu|
|00001d70| 6e 20 70 6f 77 32 20 28 | 6e 29 0a 09 28 70 6f 77 |n pow2 (|n)..(pow|
|00001d80| 32 78 20 6e 20 31 29 29 | 0a 0a 28 64 65 66 75 6e |2x n 1))|..(defun|
|00001d90| 20 70 6f 77 32 78 20 28 | 6e 20 73 75 6d 29 0a 20 | pow2x (|n sum). |
|00001da0| 20 20 20 20 20 20 28 63 | 6f 6e 64 28 28 65 71 75 |      (c|ond((equ|
|00001db0| 61 6c 20 6e 20 30 29 20 | 73 75 6d 29 0a 09 20 20 |al n 0) |sum)..  |
|00001dc0| 20 20 28 74 20 28 70 6f | 77 32 78 20 28 2d 20 6e |  (t (po|w2x (- n|
|00001dd0| 20 31 29 20 28 2a 20 73 | 75 6d 20 32 29 29 29 29 | 1) (* s|um 2))))|
|00001de0| 29 0a 0a 0a 3b 20 68 61 | 72 64 77 61 72 65 20 6f |)...; ha|rdware o|
|00001df0| 62 6a 65 63 74 73 0a 0a | 3b 3b 3b 3b 3b 3b 3b 3b |bjects..|;;;;;;;;|
|00001e00| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00001e10| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00001e20| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00001e30| 3b 3b 3b 3b 0a 3b 54 68 | 65 20 63 6c 61 73 73 20 |;;;;.;Th|e class |
|00001e40| 61 72 65 67 0a 0a 28 73 | 65 74 71 20 61 72 65 67 |areg..(s|etq areg|
|00001e50| 20 28 43 6c 61 73 73 20 | 3a 6e 65 77 20 27 28 76 | (Class |:new '(v|
|00001e60| 61 6c 75 65 20 6e 62 69 | 74 73 20 6d 61 78 5f 76 |alue nbi|ts max_v|
|00001e70| 61 6c 20 6d 69 6e 5f 76 | 61 6c 29 29 29 0a 0a 3b |al min_v|al)))..;|
|00001e80| 20 6d 65 74 68 6f 64 73 | 0a 0a 3b 20 69 6e 69 74 | methods|..; init|
|00001e90| 69 61 6c 69 7a 61 74 69 | 6f 6e 20 6d 65 74 68 6f |ializati|on metho|
|00001ea0| 64 0a 3b 20 77 68 65 6e | 20 61 20 6e 65 77 20 69 |d.; when| a new i|
|00001eb0| 6e 73 74 61 6e 63 65 20 | 69 73 20 63 61 6c 6c 65 |nstance |is calle|
|00001ec0| 64 20 66 6f 72 20 74 68 | 65 20 75 73 65 72 20 73 |d for th|e user s|
|00001ed0| 75 70 70 6c 69 65 73 0a | 3b 20 74 68 65 20 70 61 |upplies.|; the pa|
|00001ee0| 72 61 6d 65 74 65 72 20 | 6e 62 69 74 73 2c 20 66 |rameter |nbits, f|
|00001ef0| 72 6f 6d 20 77 68 69 63 | 68 20 74 68 65 20 6d 61 |rom whic|h the ma|
|00001f00| 78 5f 76 61 6c 20 26 20 | 6d 69 6e 5f 76 61 6c 20 |x_val & |min_val |
|00001f10| 61 72 65 20 64 65 72 69 | 76 65 64 0a 0a 28 61 72 |are deri|ved..(ar|
|00001f20| 65 67 20 3a 61 6e 73 77 | 65 72 20 3a 69 73 6e 65 |eg :answ|er :isne|
|00001f30| 77 20 27 28 6e 29 0a 09 | 20 20 27 28 28 73 65 6c |w '(n)..|  '((sel|
|00001f40| 66 20 3a 69 6e 69 74 20 | 6e 29 0a 09 20 20 20 20 |f :init |n)..    |
|00001f50| 09 73 65 6c 66 29 29 0a | 0a 28 61 72 65 67 20 3a |.self)).|.(areg :|
|00001f60| 61 6e 73 77 65 72 20 3a | 69 6e 69 74 20 27 28 6e |answer :|init '(n|
|00001f70| 29 0a 09 20 20 27 28 28 | 73 65 74 71 20 76 61 6c |)..  '((|setq val|
|00001f80| 75 65 20 28 29 29 0a 09 | 20 20 20 20 28 73 65 74 |ue ())..|    (set|
|00001f90| 71 20 6e 62 69 74 73 20 | 6e 29 0a 09 20 20 20 20 |q nbits |n)..    |
|00001fa0| 28 73 65 74 71 20 6d 61 | 78 5f 76 61 6c 20 28 2d |(setq ma|x_val (-|
|00001fb0| 20 28 70 6f 77 32 20 28 | 2d 20 6e 20 31 29 29 20 | (pow2 (|- n 1)) |
|00001fc0| 31 29 29 0a 09 20 20 20 | 20 28 73 65 74 71 20 6d |1))..   | (setq m|
|00001fd0| 69 6e 5f 76 61 6c 20 28 | 2d 20 28 2d 20 30 20 6d |in_val (|- (- 0 m|
|00001fe0| 61 78 5f 76 61 6c 29 20 | 31 29 29 29 29 0a 0a 3b |ax_val) |1))))..;|
|00001ff0| 20 6c 6f 61 64 20 61 72 | 65 67 0a 0a 28 61 72 65 | load ar|eg..(are|
|00002000| 67 20 3a 61 6e 73 77 65 | 72 20 3a 6c 6f 61 64 20 |g :answe|r :load |
|00002010| 27 28 76 61 6c 29 0a 09 | 20 20 27 28 28 63 6f 6e |'(val)..|  '((con|
|00002020| 64 20 28 28 3e 20 76 61 | 6c 20 6d 61 78 5f 76 61 |d ((> va|l max_va|
|00002030| 6c 29 20 28 70 72 69 6e | 63 20 28 6c 69 73 74 20 |l) (prin|c (list |
|00002040| 22 54 68 65 20 6d 61 78 | 20 76 61 6c 75 65 20 61 |"The max| value a|
|00002050| 20 22 6e 62 69 74 73 22 | 20 62 69 74 20 72 65 67 | "nbits"| bit reg|
|00002060| 69 73 74 65 72 20 63 61 | 6e 20 68 6f 6c 64 20 69 |ister ca|n hold i|
|00002070| 73 20 22 6d 61 78 5f 76 | 61 6c 22 5c 6e 22 29 29 |s "max_v|al"\n"))|
|00002080| 29 0a 09 09 20 20 28 28 | 3c 20 76 61 6c 20 6d 69 |)...  ((|< val mi|
|00002090| 6e 5f 76 61 6c 29 20 28 | 70 72 69 6e 63 20 28 6c |n_val) (|princ (l|
|000020a0| 69 73 74 20 22 54 68 65 | 20 6d 69 6e 20 76 61 6c |ist "The| min val|
|000020b0| 75 65 20 61 20 22 6e 62 | 69 74 73 22 20 62 69 74 |ue a "nb|its" bit|
|000020c0| 20 72 65 67 69 73 74 65 | 72 20 63 61 6e 20 68 6f | registe|r can ho|
|000020d0| 6c 64 20 69 73 20 22 6d | 69 6e 5f 76 61 6c 22 5c |ld is "m|in_val"\|
|000020e0| 6e 22 29 29 29 0a 09 09 | 20 20 28 74 20 28 73 65 |n")))...|  (t (se|
|000020f0| 74 71 20 76 61 6c 75 65 | 20 76 61 6c 29 29 29 29 |tq value| val))))|
|00002100| 29 0a 0a 3b 20 73 65 65 | 20 61 72 65 67 0a 0a 28 |)..; see| areg..(|
|00002110| 61 72 65 67 20 3a 61 6e | 73 77 65 72 20 3a 73 65 |areg :an|swer :se|
|00002120| 65 20 27 28 29 0a 20 20 | 20 20 20 20 27 28 28 63 |e '().  |    '((c|
|00002130| 6f 6e 64 20 28 28 6e 75 | 6c 6c 20 76 61 6c 75 65 |ond ((nu|ll value|
|00002140| 29 20 28 70 72 69 6e 63 | 20 22 52 65 67 69 73 74 |) (princ| "Regist|
|00002150| 65 72 20 64 6f 65 73 20 | 6e 6f 74 20 63 6f 6e 74 |er does |not cont|
|00002160| 61 69 6e 20 61 20 76 61 | 6c 75 65 5c 6e 22 29 29 |ain a va|lue\n"))|
|00002170| 0a 09 20 20 20 20 20 20 | 28 74 20 76 61 6c 75 65 |..      |(t value|
|00002180| 29 29 29 29 0a 3b 0a 3b | 3b 3b 3b 3b 3b 3b 3b 3b |)))).;.;|;;;;;;;;|
|00002190| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000021a0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000021b0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000021c0| 3b 3b 3b 3b 3b 3b 3b 3b | 0a 0a 3b 20 54 68 65 20 |;;;;;;;;|..; The |
|000021d0| 63 6c 61 73 73 20 63 72 | 65 67 20 28 20 61 20 72 |class cr|eg ( a r|
|000021e0| 65 67 69 73 74 65 72 20 | 74 68 61 74 20 63 61 6e |egister |that can|
|000021f0| 20 62 65 20 63 6c 65 61 | 72 65 64 20 61 6e 64 20 | be clea|red and |
|00002200| 69 6e 63 72 65 6d 65 6e | 74 65 64 29 0a 3b 20 73 |incremen|ted).; s|
|00002210| 75 62 63 6c 61 73 73 20 | 6f 66 20 61 20 72 65 67 |ubclass |of a reg|
|00002220| 0a 0a 28 73 65 74 71 20 | 63 72 65 67 20 28 43 6c |..(setq |creg (Cl|
|00002230| 61 73 73 20 3a 6e 65 77 | 20 27 28 29 20 27 28 29 |ass :new| '() '()|
|00002240| 20 61 72 65 67 29 29 0a | 0a 3b 20 69 74 20 69 6e | areg)).|.; it in|
|00002250| 68 65 72 69 74 65 73 20 | 61 6c 6c 20 74 68 65 20 |herites |all the |
|00002260| 69 6e 73 74 61 6e 63 65 | 20 76 61 72 73 20 26 20 |instance| vars & |
|00002270| 6d 65 74 68 6f 64 73 20 | 6f 66 20 61 20 72 65 67 |methods |of a reg|
|00002280| 0a 3b 20 69 6e 20 61 64 | 64 69 74 69 6f 6e 20 74 |.; in ad|dition t|
|00002290| 6f 20 74 68 65 6d 20 69 | 74 20 68 61 73 20 74 68 |o them i|t has th|
|000022a0| 65 20 66 6f 6c 6c 6f 77 | 69 6e 67 20 6d 65 74 68 |e follow|ing meth|
|000022b0| 6f 64 73 0a 0a 28 63 72 | 65 67 20 3a 61 6e 73 77 |ods..(cr|eg :answ|
|000022c0| 65 72 20 3a 69 73 6e 65 | 77 20 27 28 6e 29 0a 20 |er :isne|w '(n). |
|000022d0| 20 20 20 20 20 27 28 28 | 73 65 6c 66 20 3a 69 6e |     '((|self :in|
|000022e0| 69 74 20 6e 29 0a 09 73 | 65 6c 66 29 29 0a 0a 28 |it n)..s|elf))..(|
|000022f0| 63 72 65 67 20 3a 61 6e | 73 77 65 72 20 3a 69 6e |creg :an|swer :in|
|00002300| 69 74 20 27 28 6e 29 0a | 20 20 20 20 20 20 27 28 |it '(n).|      '(|
|00002310| 28 73 65 74 71 20 76 61 | 6c 75 65 20 28 29 29 0a |(setq va|lue ()).|
|00002320| 09 28 73 65 74 71 20 6e | 62 69 74 73 20 6e 29 0a |.(setq n|bits n).|
|00002330| 09 28 73 65 74 71 20 6d | 61 78 5f 76 61 6c 20 28 |.(setq m|ax_val (|
|00002340| 2d 20 28 70 6f 77 32 20 | 6e 29 20 31 29 29 0a 09 |- (pow2 |n) 1))..|
|00002350| 28 73 65 74 71 20 6d 69 | 6e 5f 76 61 6c 20 30 29 |(setq mi|n_val 0)|
|00002360| 29 29 0a 0a 28 63 72 65 | 67 20 3a 61 6e 73 77 65 |))..(cre|g :answe|
|00002370| 72 20 3a 63 6c 72 20 27 | 28 29 0a 20 20 20 20 20 |r :clr '|().     |
|00002380| 20 27 28 28 73 65 74 71 | 20 76 61 6c 75 65 20 30 | '((setq| value 0|
|00002390| 29 29 29 0a 0a 28 63 72 | 65 67 20 3a 61 6e 73 77 |)))..(cr|eg :answ|
|000023a0| 65 72 20 3a 69 6e 63 20 | 27 28 29 0a 20 20 20 20 |er :inc |'().    |
|000023b0| 20 20 27 28 28 63 6f 6e | 64 20 28 28 6e 75 6c 6c |  '((con|d ((null|
|000023c0| 20 76 61 6c 75 65 29 20 | 28 70 72 69 6e 63 20 22 | value) |(princ "|
|000023d0| 52 65 67 69 73 74 65 72 | 20 64 6f 65 73 20 6e 6f |Register| does no|
|000023e0| 74 20 63 6f 6e 74 61 69 | 6e 20 61 20 76 61 6c 75 |t contai|n a valu|
|000023f0| 65 5c 6e 22 29 29 0a 09 | 20 20 20 20 20 20 28 74 |e\n"))..|      (t|
|00002400| 20 28 73 65 74 71 20 76 | 61 6c 75 65 20 28 72 65 | (setq v|alue (re|
|00002410| 6d 20 28 2b 20 76 61 6c | 75 65 20 31 29 20 28 2b |m (+ val|ue 1) (+|
|00002420| 20 6d 61 78 5f 76 61 6c | 20 31 29 29 29 29 29 29 | max_val| 1))))))|
|00002430| 29 0a 0a 3b 0a 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |)..;.;;;|;;;;;;;;|
|00002440| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002450| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002460| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002470| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002480| 3b 0a 3b 0a 3b 20 52 65 | 67 69 73 74 65 72 20 62 |;.;.; Re|gister b|
|00002490| 61 6e 6b 0a 3b 20 63 6f | 6e 74 61 69 6e 73 20 6e |ank.; co|ntains n|
|000024a0| 20 61 72 65 67 27 73 20 | 6e 5f 62 69 74 73 20 65 | areg's |n_bits e|
|000024b0| 61 63 68 0a 0a 28 73 65 | 74 71 20 72 65 67 5f 62 |ach..(se|tq reg_b|
|000024c0| 61 6e 6b 20 28 43 6c 61 | 73 73 20 3a 6e 65 77 20 |ank (Cla|ss :new |
|000024d0| 27 28 72 65 67 73 20 6e | 5f 72 65 67 73 20 63 75 |'(regs n|_regs cu|
|000024e0| 72 72 5f 72 65 67 29 29 | 29 0a 0a 3b 6d 65 74 68 |rr_reg))|)..;meth|
|000024f0| 6f 64 73 0a 0a 28 72 65 | 67 5f 62 61 6e 6b 20 3a |ods..(re|g_bank :|
|00002500| 61 6e 73 77 65 72 20 3a | 69 73 6e 65 77 20 27 28 |answer :|isnew '(|
|00002510| 6e 20 6e 5f 62 69 74 73 | 29 0a 09 20 20 27 28 28 |n n_bits|)..  '((|
|00002520| 73 65 6c 66 20 3a 69 6e | 69 74 20 6e 20 6e 5f 62 |self :in|it n n_b|
|00002530| 69 74 73 29 0a 09 20 20 | 20 20 73 65 6c 66 29 29 |its)..  |  self))|
|00002540| 0a 0a 28 72 65 67 5f 62 | 61 6e 6b 20 3a 61 6e 73 |..(reg_b|ank :ans|
|00002550| 77 65 72 20 3a 69 6e 69 | 74 20 27 28 6e 20 6e 5f |wer :ini|t '(n n_|
|00002560| 62 69 74 73 29 0a 09 20 | 20 27 28 28 73 65 74 71 |bits).. | '((setq|
|00002570| 20 72 65 67 73 20 28 29 | 29 0a 09 20 20 20 20 28 | regs ()|)..    (|
|00002580| 73 65 74 71 20 6e 5f 72 | 65 67 73 20 28 2d 20 6e |setq n_r|egs (- n|
|00002590| 20 31 29 29 0a 09 20 20 | 20 20 28 73 65 6c 66 20 | 1))..  |  (self |
|000025a0| 3a 69 6e 69 74 78 20 6e | 20 6e 5f 62 69 74 73 29 |:initx n| n_bits)|
|000025b0| 29 29 0a 0a 28 72 65 67 | 5f 62 61 6e 6b 20 3a 61 |))..(reg|_bank :a|
|000025c0| 6e 73 77 65 72 20 3a 69 | 6e 69 74 78 20 27 28 6e |nswer :i|nitx '(n|
|000025d0| 20 6e 5f 62 69 74 73 29 | 0a 09 20 20 27 28 28 63 | n_bits)|..  '((c|
|000025e0| 6f 6e 64 20 28 28 65 71 | 75 61 6c 20 6e 20 30 29 |ond ((eq|ual n 0)|
|000025f0| 20 74 29 0a 09 20 20 20 | 20 20 20 20 20 20 20 28 | t)..   |       (|
|00002600| 74 20 28 6c 69 73 74 20 | 28 73 65 74 71 20 72 65 |t (list |(setq re|
|00002610| 67 73 20 28 63 6f 6e 73 | 20 28 61 72 65 67 20 3a |gs (cons| (areg :|
|00002620| 6e 65 77 20 6e 5f 62 69 | 74 73 29 20 72 65 67 73 |new n_bi|ts) regs|
|00002630| 29 29 0a 09 09 20 20 28 | 73 65 6c 66 20 3a 69 6e |))...  (|self :in|
|00002640| 69 74 78 20 28 73 65 74 | 71 20 6e 20 28 2d 20 6e |itx (set|q n (- n|
|00002650| 20 31 29 29 20 6e 5f 62 | 69 74 73 29 29 29 29 29 | 1)) n_b|its)))))|
|00002660| 29 0a 0a 28 72 65 67 5f | 62 61 6e 6b 20 3a 61 6e |)..(reg_|bank :an|
|00002670| 73 77 65 72 20 3a 6c 6f | 61 64 20 27 28 72 65 67 |swer :lo|ad '(reg|
|00002680| 20 76 61 6c 29 0a 09 20 | 20 27 28 28 63 6f 6e 64 | val).. | '((cond|
|00002690| 28 28 3e 20 72 65 67 20 | 6e 5f 72 65 67 73 29 20 |((> reg |n_regs) |
|000026a0| 28 70 72 69 6e 63 20 28 | 6c 69 73 74 20 22 4f 6e |(princ (|list "On|
|000026b0| 6c 79 20 22 28 2b 20 31 | 20 6e 5f 72 65 67 73 29 |ly "(+ 1| n_regs)|
|000026c0| 22 20 72 65 67 69 73 74 | 65 72 73 20 69 6e 73 74 |" regist|ers inst|
|000026d0| 61 6e 74 69 61 74 65 64 | 5c 6e 22 29 29 29 0a 09 |antiated|\n")))..|
|000026e0| 09 20 28 74 20 28 73 65 | 74 71 20 63 75 72 72 5f |. (t (se|tq curr_|
|000026f0| 72 65 67 20 28 6e 74 68 | 20 28 2b 20 72 65 67 20 |reg (nth| (+ reg |
|00002700| 31 29 20 72 65 67 73 29 | 29 0a 09 09 20 20 20 20 |1) regs)|)...    |
|00002710| 28 63 75 72 72 5f 72 65 | 67 20 3a 6c 6f 61 64 20 |(curr_re|g :load |
|00002720| 76 61 6c 29 29 29 29 29 | 0a 0a 28 72 65 67 5f 62 |val)))))|..(reg_b|
|00002730| 61 6e 6b 20 3a 61 6e 73 | 77 65 72 20 3a 73 65 65 |ank :ans|wer :see|
|00002740| 20 27 28 72 65 67 29 0a | 09 20 20 27 28 28 63 6f | '(reg).|.  '((co|
|00002750| 6e 64 28 28 3e 20 72 65 | 67 20 6e 5f 72 65 67 73 |nd((> re|g n_regs|
|00002760| 29 20 28 70 72 69 6e 63 | 20 28 6c 69 73 74 20 22 |) (princ| (list "|
|00002770| 4f 6e 6c 79 20 22 28 2b | 20 31 20 6e 5f 72 65 67 |Only "(+| 1 n_reg|
|00002780| 73 29 22 20 72 65 67 69 | 73 74 65 72 73 20 69 6e |s)" regi|sters in|
|00002790| 73 74 61 6e 74 69 61 74 | 65 64 5c 6e 22 29 29 29 |stantiat|ed\n")))|
|000027a0| 0a 09 09 20 28 74 20 28 | 73 65 74 71 20 63 75 72 |... (t (|setq cur|
|000027b0| 72 5f 72 65 67 20 28 6e | 74 68 20 28 2b 20 72 65 |r_reg (n|th (+ re|
|000027c0| 67 20 31 29 20 72 65 67 | 73 29 29 0a 09 09 20 20 |g 1) reg|s))...  |
|000027d0| 20 20 28 63 75 72 72 5f | 72 65 67 20 3a 73 65 65 |  (curr_|reg :see|
|000027e0| 29 29 29 29 29 0a 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |))))).;;|;;;;;;;;|
|000027f0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002800| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002810| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002820| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00002830| 3b 3b 0a 3b 20 54 68 65 | 20 43 6c 61 73 73 20 61 |;;.; The| Class a|
|00002840| 6c 75 0a 0a 3b 61 6c 75 | 20 2d 20 61 6e 20 6e 20 |lu..;alu| - an n |
|00002850| 62 69 74 20 61 6c 75 0a | 0a 28 73 65 74 71 20 61 |bit alu.|.(setq a|
|00002860| 6c 75 20 28 43 6c 61 73 | 73 20 3a 6e 65 77 20 27 |lu (Clas|s :new '|
|00002870| 28 6e 5f 62 69 74 73 20 | 6d 61 78 73 5f 76 61 6c |(n_bits |maxs_val|
|00002880| 20 6d 69 6e 73 5f 76 61 | 6c 20 6d 61 78 75 5f 76 | mins_va|l maxu_v|
|00002890| 61 6c 20 6d 69 6e 75 5f | 76 61 6c 20 6e 66 20 7a |al minu_|val nf z|
|000028a0| 66 20 76 66 20 63 66 29 | 29 29 0a 0a 3b 20 6d 65 |f vf cf)|))..; me|
|000028b0| 74 68 6f 64 73 0a 0a 28 | 61 6c 75 20 3a 61 6e 73 |thods..(|alu :ans|
|000028c0| 77 65 72 20 3a 69 73 6e | 65 77 20 27 28 6e 29 0a |wer :isn|ew '(n).|
|000028d0| 20 20 20 20 20 27 28 28 | 73 65 6c 66 20 3a 69 6e |     '((|self :in|
|000028e0| 69 74 20 6e 29 0a 20 20 | 20 20 20 20 20 73 65 6c |it n).  |     sel|
|000028f0| 66 29 29 0a 0a 28 61 6c | 75 20 3a 61 6e 73 77 65 |f))..(al|u :answe|
|00002900| 72 20 3a 69 6e 69 74 20 | 27 28 6e 29 0a 20 20 20 |r :init |'(n).   |
|00002910| 20 20 27 28 28 73 65 74 | 71 20 6e 5f 62 69 74 73 |  '((set|q n_bits|
|00002920| 20 6e 29 0a 20 20 20 20 | 20 20 20 28 73 65 74 71 | n).    |   (setq|
|00002930| 20 6d 61 78 75 5f 76 61 | 6c 20 28 2d 20 28 70 6f | maxu_va|l (- (po|
|00002940| 77 32 20 6e 29 20 31 29 | 29 0a 20 20 20 20 20 20 |w2 n) 1)|).      |
|00002950| 20 28 73 65 74 71 20 6d | 61 78 73 5f 76 61 6c 20 | (setq m|axs_val |
|00002960| 28 2d 20 28 70 6f 77 32 | 20 28 2d 20 6e 20 31 29 |(- (pow2| (- n 1)|
|00002970| 29 20 31 29 29 0a 20 20 | 20 20 20 20 20 28 73 65 |) 1)).  |     (se|
|00002980| 74 71 20 6d 69 6e 73 5f | 76 61 6c 20 28 2d 20 28 |tq mins_|val (- (|
|00002990| 2d 20 30 20 6d 61 78 73 | 5f 76 61 6c 29 20 31 29 |- 0 maxs|_val) 1)|
|000029a0| 29 0a 20 20 20 20 20 20 | 20 28 73 65 74 71 20 6d |).      | (setq m|
|000029b0| 69 6e 75 5f 76 61 6c 20 | 30 29 0a 20 20 20 20 20 |inu_val |0).     |
|000029c0| 20 20 28 73 65 74 71 20 | 6e 66 20 30 29 0a 20 20 |  (setq |nf 0).  |
|000029d0| 20 20 20 20 20 28 73 65 | 74 71 20 7a 66 20 30 29 |     (se|tq zf 0)|
|000029e0| 0a 20 20 20 20 20 20 20 | 28 73 65 74 71 20 76 66 |.       |(setq vf|
|000029f0| 20 30 29 0a 20 20 20 20 | 20 20 20 28 73 65 74 71 | 0).    |   (setq|
|00002a00| 20 63 66 20 30 29 29 29 | 0a 0a 28 61 6c 75 20 3a | cf 0)))|..(alu :|
|00002a10| 61 6e 73 77 65 72 20 3a | 63 68 65 63 6b 5f 61 72 |answer :|check_ar|
|00002a20| 69 74 68 20 27 28 61 20 | 62 29 0a 20 20 20 20 20 |ith '(a |b).     |
|00002a30| 27 28 28 63 6f 6e 64 20 | 28 28 61 6e 64 20 28 73 |'((cond |((and (s|
|00002a40| 65 6c 66 20 3a 61 72 69 | 74 68 5f 72 61 6e 67 65 |elf :ari|th_range|
|00002a50| 20 61 29 20 28 73 65 6c | 66 20 3a 61 72 69 74 68 | a) (sel|f :arith|
|00002a60| 5f 72 61 6e 67 65 20 62 | 29 29 20 74 29 0a 09 20 |_range b|)) t).. |
|00002a70| 20 20 20 20 28 74 20 28 | 29 29 29 29 29 0a 0a 28 |    (t (|)))))..(|
|00002a80| 61 6c 75 20 3a 61 6e 73 | 77 65 72 20 3a 63 68 65 |alu :ans|wer :che|
|00002a90| 63 6b 5f 6c 6f 67 69 63 | 20 27 28 61 20 62 29 0a |ck_logic| '(a b).|
|00002aa0| 20 20 20 20 20 27 28 28 | 63 6f 6e 64 20 28 28 61 |     '((|cond ((a|
|00002ab0| 6e 64 20 28 73 65 6c 66 | 20 3a 6c 6f 67 69 63 5f |nd (self| :logic_|
|00002ac0| 72 61 6e 67 65 20 61 29 | 20 28 73 65 6c 66 20 3a |range a)| (self :|
|00002ad0| 6c 6f 67 69 63 5f 72 61 | 6e 67 65 20 62 29 29 20 |logic_ra|nge b)) |
|00002ae0| 74 29 0a 09 20 20 20 20 | 20 28 74 20 28 29 29 29 |t)..    | (t ()))|
|00002af0| 29 29 0a 0a 28 61 6c 75 | 20 3a 61 6e 73 77 65 72 |))..(alu| :answer|
|00002b00| 20 3a 61 72 69 74 68 5f | 72 61 6e 67 65 20 27 28 | :arith_|range '(|
|00002b10| 61 29 0a 20 20 20 20 20 | 27 28 28 63 6f 6e 64 20 |a).     |'((cond |
|00002b20| 28 28 3c 20 61 20 6d 69 | 6e 73 5f 76 61 6c 29 20 |((< a mi|ns_val) |
|00002b30| 28 70 72 69 6e 63 20 28 | 6c 69 73 74 20 22 4f 70 |(princ (|list "Op|
|00002b40| 65 72 61 6e 64 20 6f 75 | 74 20 6f 66 20 52 61 6e |erand ou|t of Ran|
|00002b50| 67 65 20 22 61 22 5c 6e | 22 29 29 29 0a 09 20 20 |ge "a"\n|")))..  |
|00002b60| 20 20 20 28 28 3e 20 61 | 20 6d 61 78 73 5f 76 61 |   ((> a| maxs_va|
|00002b70| 6c 29 20 28 70 72 69 6e | 63 20 28 6c 69 73 74 20 |l) (prin|c (list |
|00002b80| 22 4f 70 65 72 61 6e 64 | 20 6f 75 74 20 6f 66 20 |"Operand| out of |
|00002b90| 72 61 6e 67 65 20 22 61 | 22 5c 6e 22 29 29 29 0a |range "a|"\n"))).|
|00002ba0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 28 74 20 |        |     (t |
|00002bb0| 74 29 29 29 29 0a 0a 28 | 61 6c 75 20 3a 61 6e 73 |t))))..(|alu :ans|
|00002bc0| 77 65 72 20 3a 6c 6f 67 | 69 63 5f 72 61 6e 67 65 |wer :log|ic_range|
|00002bd0| 20 27 28 61 29 0a 20 20 | 20 20 20 27 28 28 63 6f | '(a).  |   '((co|
|00002be0| 6e 64 20 28 28 3c 20 28 | 61 62 73 20 61 29 20 6d |nd ((< (|abs a) m|
|00002bf0| 69 6e 75 5f 76 61 6c 29 | 20 28 70 72 69 6e 63 20 |inu_val)| (princ |
|00002c00| 28 6c 69 73 74 20 22 4f | 70 65 72 61 6e 64 20 6f |(list "O|perand o|
|00002c10| 75 74 20 6f 66 20 52 61 | 6e 67 65 20 22 61 22 5c |ut of Ra|nge "a"\|
|00002c20| 6e 22 29 29 29 0a 20 20 | 20 20 20 20 20 20 20 20 |n"))).  |        |
|00002c30| 20 20 20 28 74 20 74 29 | 29 29 29 0a 0a 28 61 6c |   (t t)|)))..(al|
|00002c40| 75 20 3a 61 6e 73 77 65 | 72 20 3a 73 65 74 5f 66 |u :answe|r :set_f|
|00002c50| 6c 61 67 73 20 27 28 61 | 20 62 20 72 29 0a 20 20 |lags '(a| b r).  |
|00002c60| 20 20 20 27 28 28 69 66 | 20 28 65 71 75 61 6c 20 |   '((if| (equal |
|00002c70| 30 20 72 29 20 28 28 73 | 65 74 71 20 7a 66 20 31 |0 r) ((s|etq zf 1|
|00002c80| 29 29 29 0a 20 20 20 20 | 20 20 20 28 69 66 20 28 |))).    |   (if (|
|00002c90| 3c 20 72 20 30 29 20 28 | 28 73 65 74 71 20 6e 66 |< r 0) (|(setq nf|
|00002ca0| 20 31 29 29 29 0a 20 20 | 20 20 20 20 20 28 69 66 | 1))).  |     (if|
|00002cb0| 20 28 6f 72 20 28 61 6e | 64 20 28 61 6e 64 20 28 | (or (an|d (and (|
|00002cc0| 3c 20 61 20 30 29 20 28 | 3c 20 30 20 62 29 29 20 |< a 0) (|< 0 b)) |
|00002cd0| 28 3e 3d 20 72 20 30 29 | 29 0a 09 09 20 20 28 61 |(>= r 0)|)...  (a|
|00002ce0| 6e 64 20 28 61 6e 64 20 | 28 3e 3d 20 61 20 30 29 |nd (and |(>= a 0)|
|00002cf0| 20 28 3e 3d 20 62 20 30 | 29 29 20 28 3c 20 72 20 | (>= b 0|)) (< r |
|00002d00| 30 29 29 29 20 28 28 73 | 65 74 71 20 76 66 20 31 |0))) ((s|etq vf 1|
|00002d10| 29 29 29 0a 20 20 20 20 | 20 20 20 28 69 66 20 28 |))).    |   (if (|
|00002d20| 6f 72 20 28 6f 72 20 28 | 61 6e 64 20 28 3c 20 61 |or (or (|and (< a|
|00002d30| 20 30 29 20 28 3c 20 62 | 20 30 29 29 20 28 61 6e | 0) (< b| 0)) (an|
|00002d40| 64 20 28 3c 20 61 20 30 | 29 20 28 3e 3d 20 72 20 |d (< a 0|) (>= r |
|00002d50| 30 29 29 29 0a 09 09 20 | 20 28 61 6e 64 20 28 3e |0)))... | (and (>|
|00002d60| 3d 20 72 20 30 29 20 28 | 3c 20 62 20 30 29 29 29 |= r 0) (|< b 0)))|
|00002d70| 20 28 28 73 65 74 71 20 | 63 66 20 31 29 29 29 29 | ((setq |cf 1))))|
|00002d80| 29 0a 20 20 20 20 20 20 | 20 0a 28 61 6c 75 20 3a |).      | .(alu :|
|00002d90| 61 6e 73 77 65 72 20 3a | 2b 20 27 28 61 20 62 20 |answer :|+ '(a b |
|00002da0| 26 61 75 78 20 72 65 73 | 75 6c 74 29 0a 20 20 20 |&aux res|ult).   |
|00002db0| 20 20 27 28 28 63 6f 6e | 64 20 28 28 6e 75 6c 6c |  '((con|d ((null|
|00002dc0| 20 28 73 65 6c 66 20 3a | 63 68 65 63 6b 5f 61 72 | (self :|check_ar|
|00002dd0| 69 74 68 20 61 20 62 29 | 29 20 28 29 29 0a 09 20 |ith a b)|) ()).. |
|00002de0| 20 20 20 28 74 20 28 73 | 65 6c 66 20 3a 63 6c 65 |   (t (s|elf :cle|
|00002df0| 61 72 5f 66 6c 61 67 73 | 29 0a 09 20 20 20 20 20 |ar_flags|)..     |
|00002e00| 20 20 28 73 65 74 71 20 | 72 65 73 75 6c 74 20 28 |  (setq |result (|
|00002e10| 2b 20 61 20 62 29 29 0a | 09 20 20 20 20 20 20 20 |+ a b)).|.       |
|00002e20| 28 69 66 20 28 3e 20 72 | 65 73 75 6c 74 20 6d 61 |(if (> r|esult ma|
|00002e30| 78 73 5f 76 61 6c 29 20 | 28 28 73 65 74 71 20 72 |xs_val) |((setq r|
|00002e40| 65 73 75 6c 74 20 28 2b | 20 28 2d 20 28 72 65 6d |esult (+| (- (rem|
|00002e50| 20 72 65 73 75 6c 74 20 | 6d 61 78 73 5f 76 61 6c | result |maxs_val|
|00002e60| 29 20 31 29 20 6d 69 6e | 73 5f 76 61 6c 29 29 29 |) 1) min|s_val)))|
|00002e70| 29 0a 09 09 20 20 20 28 | 69 66 20 28 3c 20 72 65 |)...   (|if (< re|
|00002e80| 73 75 6c 74 20 6d 69 6e | 73 5f 76 61 6c 29 20 28 |sult min|s_val) (|
|00002e90| 28 73 65 74 71 20 72 65 | 73 75 6c 74 20 28 2b 20 |(setq re|sult (+ |
|00002ea0| 28 72 65 6d 20 72 65 73 | 75 6c 74 20 6d 69 6e 73 |(rem res|ult mins|
|00002eb0| 5f 76 61 6c 29 20 28 2b | 20 6d 61 78 73 5f 76 61 |_val) (+| maxs_va|
|00002ec0| 6c 20 31 29 29 29 29 29 | 0a 09 20 20 20 20 20 20 |l 1)))))|..      |
|00002ed0| 20 28 73 65 6c 66 20 3a | 73 65 74 5f 66 6c 61 67 | (self :|set_flag|
|00002ee0| 73 20 61 20 62 20 72 65 | 73 75 6c 74 29 0a 09 20 |s a b re|sult).. |
|00002ef0| 20 20 20 20 20 20 72 65 | 73 75 6c 74 29 29 29 29 |      re|sult))))|
|00002f00| 0a 0a 28 61 6c 75 20 3a | 61 6e 73 77 65 72 20 3a |..(alu :|answer :|
|00002f10| 26 20 27 28 61 20 62 20 | 26 61 75 78 20 72 65 73 |& '(a b |&aux res|
|00002f20| 75 6c 74 29 0a 20 20 20 | 20 20 27 28 28 63 6f 6e |ult).   |  '((con|
|00002f30| 64 20 28 28 6e 75 6c 6c | 20 28 73 65 6c 66 20 3a |d ((null| (self :|
|00002f40| 63 68 65 63 6b 5f 6c 6f | 67 69 63 20 61 20 62 29 |check_lo|gic a b)|
|00002f50| 29 20 28 29 29 0a 09 20 | 20 20 20 28 74 20 28 73 |) ()).. |   (t (s|
|00002f60| 65 6c 66 20 3a 63 6c 65 | 61 72 5f 66 6c 61 67 73 |elf :cle|ar_flags|
|00002f70| 29 0a 09 20 20 20 20 20 | 20 20 28 73 65 74 71 20 |)..     |  (setq |
|00002f80| 72 65 73 75 6c 74 20 28 | 62 69 74 2d 61 6e 64 20 |result (|bit-and |
|00002f90| 61 20 62 29 29 0a 09 20 | 20 20 20 20 20 20 28 73 |a b)).. |      (s|
|00002fa0| 65 6c 66 20 3a 73 65 74 | 5f 66 6c 61 67 73 20 61 |elf :set|_flags a|
|00002fb0| 20 62 20 72 65 73 75 6c | 74 29 0a 09 20 20 20 20 | b resul|t)..    |
|00002fc0| 20 20 20 72 65 73 75 6c | 74 29 29 29 29 0a 0a 28 |   resul|t))))..(|
|00002fd0| 61 6c 75 20 3a 61 6e 73 | 77 65 72 20 3a 7c 20 27 |alu :ans|wer :| '|
|00002fe0| 28 61 20 62 20 26 61 75 | 78 20 72 65 73 75 6c 74 |(a b &au|x result|
|00002ff0| 29 0a 20 20 20 20 20 27 | 28 28 63 6f 6e 64 20 28 |).     '|((cond (|
|00003000| 28 6e 75 6c 6c 20 28 73 | 65 6c 66 20 3a 63 68 65 |(null (s|elf :che|
|00003010| 63 6b 5f 6c 6f 67 69 63 | 20 61 20 62 29 29 20 28 |ck_logic| a b)) (|
|00003020| 29 29 0a 09 20 20 20 20 | 28 74 20 28 73 65 6c 66 |))..    |(t (self|
|00003030| 20 3a 63 6c 65 61 72 5f | 66 6c 61 67 73 29 0a 09 | :clear_|flags)..|
|00003040| 20 20 20 20 20 20 20 28 | 73 65 74 71 20 72 65 73 |       (|setq res|
|00003050| 75 6c 74 20 28 62 69 74 | 2d 69 6f 72 20 61 20 62 |ult (bit|-ior a b|
|00003060| 29 29 0a 09 20 20 20 20 | 20 20 20 28 73 65 6c 66 |))..    |   (self|
|00003070| 20 3a 73 65 74 5f 66 6c | 61 67 73 20 61 20 62 20 | :set_fl|ags a b |
|00003080| 72 65 73 75 6c 74 29 0a | 09 20 20 20 20 20 20 20 |result).|.       |
|00003090| 72 65 73 75 6c 74 29 29 | 29 29 0a 0a 28 61 6c 75 |result))|))..(alu|
|000030a0| 20 3a 61 6e 73 77 65 72 | 20 3a 7e 20 27 28 61 20 | :answer| :~ '(a |
|000030b0| 20 26 61 75 78 20 72 65 | 73 75 6c 74 29 0a 20 20 | &aux re|sult).  |
|000030c0| 20 20 20 27 28 28 63 6f | 6e 64 20 28 28 6e 75 6c |   '((co|nd ((nul|
|000030d0| 6c 20 28 73 65 6c 66 20 | 3a 63 68 65 63 6b 5f 6c |l (self |:check_l|
|000030e0| 6f 67 69 63 20 61 20 30 | 29 29 20 28 29 29 0a 09 |ogic a 0|)) ())..|
|000030f0| 20 20 20 20 28 74 20 28 | 73 65 6c 66 20 3a 63 6c |    (t (|self :cl|
|00003100| 65 61 72 5f 66 6c 61 67 | 73 29 0a 09 20 20 20 20 |ear_flag|s)..    |
|00003110| 20 20 20 28 73 65 74 71 | 20 72 65 73 75 6c 74 20 |   (setq| result |
|00003120| 28 62 69 74 2d 6e 6f 74 | 20 61 29 29 0a 09 20 20 |(bit-not| a))..  |
|00003130| 20 20 20 20 20 28 73 65 | 6c 66 20 3a 73 65 74 5f |     (se|lf :set_|
|00003140| 66 6c 61 67 73 20 61 20 | 30 20 72 65 73 75 6c 74 |flags a |0 result|
|00003150| 29 0a 09 20 20 20 20 20 | 20 20 72 65 73 75 6c 74 |)..     |  result|
|00003160| 29 29 29 29 09 20 20 20 | 20 20 20 20 0a 0a 28 61 |)))).   |    ..(a|
|00003170| 6c 75 20 3a 61 6e 73 77 | 65 72 20 3a 2d 20 27 28 |lu :answ|er :- '(|
|00003180| 61 20 62 29 0a 20 20 20 | 20 20 27 28 28 73 65 6c |a b).   |  '((sel|
|00003190| 66 20 27 2b 20 61 20 28 | 2d 20 30 20 62 29 29 29 |f '+ a (|- 0 b)))|
|000031a0| 29 0a 0a 28 61 6c 75 20 | 3a 61 6e 73 77 65 72 20 |)..(alu |:answer |
|000031b0| 3a 70 61 73 73 61 20 27 | 28 61 29 0a 20 20 20 20 |:passa '|(a).    |
|000031c0| 20 27 28 61 29 29 0a 0a | 28 61 6c 75 20 3a 61 6e | '(a))..|(alu :an|
|000031d0| 73 77 65 72 20 3a 7a 65 | 72 6f 20 27 28 29 0a 20 |swer :ze|ro '(). |
|000031e0| 20 20 20 20 27 28 30 29 | 29 0a 0a 28 61 6c 75 20 |    '(0)|)..(alu |
|000031f0| 3a 61 6e 73 77 65 72 20 | 3a 63 6f 6d 20 27 28 61 |:answer |:com '(a|
|00003200| 29 0a 20 20 20 20 20 27 | 28 28 73 65 6c 66 20 3a |).     '|((self :|
|00003210| 2d 20 30 20 61 29 29 29 | 0a 0a 28 61 6c 75 20 3a |- 0 a)))|..(alu :|
|00003220| 61 6e 73 77 65 72 20 3a | 73 74 61 74 75 73 20 27 |answer :|status '|
|00003230| 28 29 0a 20 20 20 20 20 | 27 28 28 70 72 69 6e 63 |().     |'((princ|
|00003240| 20 28 6c 69 73 74 20 22 | 4e 46 20 22 6e 66 22 5c | (list "|NF "nf"\|
|00003250| 6e 22 29 29 0a 20 20 20 | 20 20 20 20 28 70 72 69 |n")).   |    (pri|
|00003260| 6e 63 20 28 6c 69 73 74 | 20 22 5a 46 20 22 7a 66 |nc (list| "ZF "zf|
|00003270| 22 5c 6e 22 29 29 0a 20 | 20 20 20 20 20 20 28 70 |"\n")). |      (p|
|00003280| 72 69 6e 63 20 28 6c 69 | 73 74 20 22 43 46 20 22 |rinc (li|st "CF "|
|00003290| 63 66 22 5c 6e 22 29 29 | 0a 20 20 20 20 20 20 20 |cf"\n"))|.       |
|000032a0| 28 70 72 69 6e 63 20 28 | 6c 69 73 74 20 22 56 46 |(princ (|list "VF|
|000032b0| 20 22 76 66 22 5c 6e 22 | 29 29 29 29 0a 0a 28 61 | "vf"\n"|))))..(a|
|000032c0| 6c 75 20 3a 61 6e 73 77 | 65 72 20 3a 63 6c 65 61 |lu :answ|er :clea|
|000032d0| 72 5f 66 6c 61 67 73 20 | 27 28 29 0a 20 20 20 20 |r_flags |'().    |
|000032e0| 20 27 28 28 73 65 74 71 | 20 6e 66 20 30 29 0a 20 | '((setq| nf 0). |
|000032f0| 20 20 20 20 20 20 28 73 | 65 74 71 20 7a 66 20 30 |      (s|etq zf 0|
|00003300| 29 0a 20 20 20 20 20 20 | 20 28 73 65 74 71 20 63 |).      | (setq c|
|00003310| 66 20 30 29 0a 20 20 20 | 20 20 20 20 28 73 65 74 |f 0).   |    (set|
|00003320| 71 20 76 66 20 30 29 29 | 29 0a 0a 3b 3b 3b 3b 3b |q vf 0))|)..;;;;;|
|00003330| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003340| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003350| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003360| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003370| 3b 3b 3b 3b 0a 3b 0a 3b | 20 54 68 65 20 63 6c 61 |;;;;.;.;| The cla|
|00003380| 73 73 20 4d 65 6d 6f 72 | 79 0a 3b 0a 0a 28 73 65 |ss Memor|y.;..(se|
|00003390| 74 71 20 6d 65 6d 6f 72 | 79 20 28 43 6c 61 73 73 |tq memor|y (Class|
|000033a0| 20 3a 6e 65 77 20 27 28 | 6e 61 62 69 74 73 20 6e | :new '(|nabits n|
|000033b0| 64 62 69 74 73 20 6d 61 | 78 75 5f 76 61 6c 20 6d |dbits ma|xu_val m|
|000033c0| 61 78 73 5f 76 61 6c 20 | 6d 69 6e 73 5f 76 61 6c |axs_val |mins_val|
|000033d0| 20 6d 61 78 5f 61 64 64 | 72 20 75 6e 64 65 66 20 | max_add|r undef |
|000033e0| 6d 65 6d 72 79 29 29 29 | 0a 0a 3b 20 6d 65 74 68 |memry)))|..; meth|
|000033f0| 6f 64 73 0a 0a 28 6d 65 | 6d 6f 72 79 20 3a 61 6e |ods..(me|mory :an|
|00003400| 73 77 65 72 20 3a 69 73 | 6e 65 77 20 27 28 61 64 |swer :is|new '(ad|
|00003410| 64 72 5f 62 69 74 73 20 | 64 61 74 61 5f 62 69 74 |dr_bits |data_bit|
|00003420| 73 29 0a 20 20 20 20 20 | 27 28 28 73 65 6c 66 20 |s).     |'((self |
|00003430| 3a 69 6e 69 74 20 61 64 | 64 72 5f 62 69 74 73 20 |:init ad|dr_bits |
|00003440| 64 61 74 61 5f 62 69 74 | 73 29 0a 20 20 20 20 20 |data_bit|s).     |
|00003450| 20 20 73 65 6c 66 29 29 | 0a 0a 28 6d 65 6d 6f 72 |  self))|..(memor|
|00003460| 79 20 3a 61 6e 73 77 65 | 72 20 3a 69 6e 69 74 20 |y :answe|r :init |
|00003470| 27 28 61 64 64 72 5f 62 | 69 74 73 20 64 61 74 61 |'(addr_b|its data|
|00003480| 5f 62 69 74 73 29 0a 20 | 20 20 20 20 27 28 28 73 |_bits). |    '((s|
|00003490| 65 74 71 20 6e 61 62 69 | 74 73 20 61 64 64 72 5f |etq nabi|ts addr_|
|000034a0| 62 69 74 73 29 0a 20 20 | 20 20 20 20 20 28 73 65 |bits).  |     (se|
|000034b0| 74 71 20 6e 64 62 69 74 | 73 20 64 61 74 61 5f 62 |tq ndbit|s data_b|
|000034c0| 69 74 73 29 0a 20 20 20 | 20 20 20 20 28 73 65 74 |its).   |    (set|
|000034d0| 71 20 6d 61 78 75 5f 76 | 61 6c 20 28 2d 20 28 70 |q maxu_v|al (- (p|
|000034e0| 6f 77 32 20 64 61 74 61 | 5f 62 69 74 73 29 20 31 |ow2 data|_bits) 1|
|000034f0| 29 29 0a 20 20 20 20 20 | 20 20 28 73 65 74 71 20 |)).     |  (setq |
|00003500| 6d 61 78 5f 61 64 64 72 | 20 28 2d 20 28 70 6f 77 |max_addr| (- (pow|
|00003510| 32 20 61 64 64 72 5f 62 | 69 74 73 29 20 31 29 29 |2 addr_b|its) 1))|
|00003520| 0a 20 20 20 20 20 20 20 | 28 73 65 74 71 20 6d 61 |.       |(setq ma|
|00003530| 78 73 5f 76 61 6c 20 28 | 2d 20 28 70 6f 77 32 20 |xs_val (|- (pow2 |
|00003540| 28 2d 20 64 61 74 61 5f | 62 69 74 73 20 31 29 29 |(- data_|bits 1))|
|00003550| 20 31 29 29 0a 20 20 20 | 20 20 20 20 28 73 65 74 | 1)).   |    (set|
|00003560| 71 20 6d 69 6e 73 5f 76 | 61 6c 20 28 2d 20 30 20 |q mins_v|al (- 0 |
|00003570| 28 70 6f 77 32 20 28 2d | 20 64 61 74 61 5f 62 69 |(pow2 (-| data_bi|
|00003580| 74 73 20 31 29 29 29 29 | 0a 20 20 20 20 20 20 20 |ts 1))))|.       |
|00003590| 28 73 65 74 71 20 75 6e | 64 65 66 20 28 2b 20 6d |(setq un|def (+ m|
|000035a0| 61 78 75 5f 76 61 6c 20 | 31 29 29 0a 20 20 20 20 |axu_val |1)).    |
|000035b0| 20 20 20 28 73 65 74 71 | 20 6d 65 6d 72 79 20 28 |   (setq| memry (|
|000035c0| 61 72 72 61 79 20 3a 6e | 65 77 20 6d 61 78 5f 61 |array :n|ew max_a|
|000035d0| 64 64 72 20 75 6e 64 65 | 66 29 29 29 29 0a 0a 0a |ddr unde|f))))...|
|000035e0| 28 6d 65 6d 6f 72 79 20 | 3a 61 6e 73 77 65 72 20 |(memory |:answer |
|000035f0| 3a 6c 6f 61 64 20 27 28 | 6c 6f 63 20 76 61 6c 29 |:load '(|loc val)|
|00003600| 0a 20 20 20 20 20 27 28 | 28 63 6f 6e 64 20 28 28 |.     '(|(cond ((|
|00003610| 3e 20 28 61 62 73 20 6c | 6f 63 29 20 6d 61 78 5f |> (abs l|oc) max_|
|00003620| 61 64 64 72 29 20 28 70 | 72 69 6e 63 20 28 6c 69 |addr) (p|rinc (li|
|00003630| 73 74 20 22 41 64 64 72 | 65 73 73 20 22 6c 6f 63 |st "Addr|ess "loc|
|00003640| 22 20 6f 75 74 20 6f 66 | 20 72 61 6e 67 65 5c 6e |" out of| range\n|
|00003650| 22 29 29 29 0a 09 20 20 | 20 20 20 28 28 3c 20 76 |")))..  |   ((< v|
|00003660| 61 6c 20 30 29 20 28 70 | 72 69 6e 63 20 28 6c 69 |al 0) (p|rinc (li|
|00003670| 73 74 20 22 43 61 6e 74 | 20 73 74 6f 72 65 20 22 |st "Cant| store "|
|00003680| 76 61 6c 22 20 69 6e 20 | 22 6e 64 62 69 74 73 22 |val" in |"ndbits"|
|00003690| 20 62 69 74 73 5c 6e 22 | 29 29 29 0a 09 20 20 20 | bits\n"|)))..   |
|000036a0| 20 20 28 28 3e 20 76 61 | 6c 20 6d 61 78 75 5f 76 |  ((> va|l maxu_v|
|000036b0| 61 6c 29 20 28 70 72 69 | 6e 63 20 28 6c 69 73 74 |al) (pri|nc (list|
|000036c0| 20 22 43 61 6e 74 20 73 | 74 6f 72 65 20 22 76 61 | "Cant s|tore "va|
|000036d0| 6c 22 20 69 6e 20 22 6e | 64 62 69 74 73 22 20 62 |l" in "n|dbits" b|
|000036e0| 69 74 73 5c 6e 22 29 29 | 29 0a 09 20 20 20 20 20 |its\n"))|)..     |
|000036f0| 28 74 20 28 6d 65 6d 72 | 79 20 3a 6c 6f 61 64 20 |(t (memr|y :load |
|00003700| 6c 6f 63 20 76 61 6c 29 | 29 29 29 29 0a 0a 28 6d |loc val)|))))..(m|
|00003710| 65 6d 6f 72 79 20 3a 61 | 6e 73 77 65 72 20 3a 77 |emory :a|nswer :w|
|00003720| 72 69 74 65 20 27 28 6c | 6f 63 20 76 61 6c 29 0a |rite '(l|oc val).|
|00003730| 20 20 20 20 20 27 28 28 | 63 6f 6e 64 20 28 28 3e |     '((|cond ((>|
|00003740| 20 28 61 62 73 20 6c 6f | 63 29 20 6d 61 78 5f 61 | (abs lo|c) max_a|
|00003750| 64 64 72 29 20 28 70 72 | 69 6e 63 20 28 6c 69 73 |ddr) (pr|inc (lis|
|00003760| 74 20 22 41 64 64 72 65 | 73 73 20 22 6c 6f 63 22 |t "Addre|ss "loc"|
|00003770| 20 6f 75 74 20 6f 66 20 | 72 61 6e 67 65 5c 6e 22 | out of |range\n"|
|00003780| 29 29 29 0a 09 20 20 20 | 20 20 28 28 3e 20 76 61 |)))..   |  ((> va|
|00003790| 6c 20 6d 61 78 73 5f 76 | 61 6c 29 20 28 70 72 69 |l maxs_v|al) (pri|
|000037a0| 6e 63 20 28 6c 69 73 74 | 20 22 43 61 6e 74 20 73 |nc (list| "Cant s|
|000037b0| 74 6f 72 65 20 22 76 61 | 6c 22 20 69 6e 20 22 6e |tore "va|l" in "n|
|000037c0| 64 62 69 74 73 22 20 62 | 69 74 73 5c 6e 22 29 29 |dbits" b|its\n"))|
|000037d0| 29 0a 09 20 20 20 20 20 | 28 28 3c 20 76 61 6c 20 |)..     |((< val |
|000037e0| 6d 69 6e 73 5f 76 61 6c | 29 20 28 70 72 69 6e 63 |mins_val|) (princ|
|000037f0| 20 28 6c 69 73 74 20 22 | 43 61 6e 74 20 73 74 6f | (list "|Cant sto|
|00003800| 72 65 20 22 76 61 6c 22 | 20 69 6e 20 22 6e 64 62 |re "val"| in "ndb|
|00003810| 69 74 73 22 20 62 69 74 | 73 5c 6e 22 29 29 29 0a |its" bit|s\n"))).|
|00003820| 09 20 20 20 20 20 28 74 | 20 28 6d 65 6d 72 79 20 |.     (t| (memry |
|00003830| 3a 6c 6f 61 64 20 6c 6f | 63 20 76 61 6c 29 29 29 |:load lo|c val)))|
|00003840| 29 29 0a 0a 0a 28 6d 65 | 6d 6f 72 79 20 3a 61 6e |))...(me|mory :an|
|00003850| 73 77 65 72 20 3a 72 65 | 61 64 20 27 28 6c 6f 63 |swer :re|ad '(loc|
|00003860| 20 26 61 75 78 20 76 61 | 6c 29 0a 20 20 20 20 20 | &aux va|l).     |
|00003870| 27 28 28 63 6f 6e 64 20 | 28 28 3e 20 28 61 62 73 |'((cond |((> (abs|
|00003880| 20 6c 6f 63 29 20 6d 61 | 78 5f 61 64 64 72 29 20 | loc) ma|x_addr) |
|00003890| 28 70 72 69 6e 63 20 28 | 6c 69 73 74 20 22 41 64 |(princ (|list "Ad|
|000038a0| 64 72 65 73 73 20 22 6c | 6f 63 22 20 6f 75 74 20 |dress "l|oc" out |
|000038b0| 6f 66 20 72 61 6e 67 65 | 5c 6e 22 29 29 29 0a 09 |of range|\n")))..|
|000038c0| 20 20 20 20 20 28 74 20 | 28 73 65 74 71 20 76 61 |     (t |(setq va|
|000038d0| 6c 20 28 6d 65 6d 72 79 | 20 3a 73 65 65 20 6c 6f |l (memry| :see lo|
|000038e0| 63 29 29 0a 09 09 28 63 | 6f 6e 64 20 28 28 65 71 |c))...(c|ond ((eq|
|000038f0| 75 61 6c 20 75 6e 64 65 | 66 20 76 61 6c 29 20 28 |ual unde|f val) (|
|00003900| 70 72 69 6e 63 20 28 6c | 69 73 74 20 22 41 64 64 |princ (l|ist "Add|
|00003910| 72 65 73 73 20 22 6c 6f | 63 22 20 72 65 61 64 20 |ress "lo|c" read |
|00003920| 62 65 66 6f 72 65 20 77 | 72 69 74 65 5c 6e 22 29 |before w|rite\n")|
|00003930| 29 29 0a 09 09 20 20 20 | 20 20 20 28 74 20 76 61 |))...   |   (t va|
|00003940| 6c 29 29 29 29 29 29 0a | 0a 0a 3b 3b 3b 3b 3b 3b |l)))))).|..;;;;;;|
|00003950| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003960| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003970| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003980| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003990| 3b 3b 3b 0a 3b 0a 3b 20 | 54 68 65 20 63 6c 61 73 |;;;.;.; |The clas|
|000039a0| 73 20 61 72 72 61 79 0a | 0a 28 73 65 74 71 20 61 |s array.|.(setq a|
|000039b0| 72 72 61 79 20 28 43 6c | 61 73 73 20 3a 6e 65 77 |rray (Cl|ass :new|
|000039c0| 20 27 28 61 72 72 79 29 | 29 29 0a 0a 3b 20 6d 65 | '(arry)|))..; me|
|000039d0| 74 68 6f 64 73 0a 0a 28 | 61 72 72 61 79 20 3a 61 |thods..(|array :a|
|000039e0| 6e 73 77 65 72 20 3a 69 | 73 6e 65 77 20 27 28 6e |nswer :i|snew '(n|
|000039f0| 20 76 61 6c 29 0a 20 20 | 20 20 20 20 20 27 28 28 | val).  |     '((|
|00003a00| 73 65 6c 66 20 3a 69 6e | 69 74 20 6e 20 76 61 6c |self :in|it n val|
|00003a10| 29 0a 09 20 73 65 6c 66 | 29 29 0a 0a 28 61 72 72 |).. self|))..(arr|
|00003a20| 61 79 20 3a 61 6e 73 77 | 65 72 20 3a 69 6e 69 74 |ay :answ|er :init|
|00003a30| 20 27 28 6e 20 76 61 6c | 29 0a 09 27 28 28 63 6f | '(n val|)..'((co|
|00003a40| 6e 64 20 28 28 3c 20 6e | 20 30 29 20 74 29 0a 09 |nd ((< n| 0) t)..|
|00003a50| 20 20 20 20 20 20 28 74 | 20 28 73 65 74 71 20 61 |      (t| (setq a|
|00003a60| 72 72 79 20 28 63 6f 6e | 73 20 76 61 6c 20 61 72 |rry (con|s val ar|
|00003a70| 72 79 29 29 0a 09 09 20 | 28 73 65 6c 66 20 3a 69 |ry))... |(self :i|
|00003a80| 6e 69 74 20 28 2d 20 6e | 20 31 29 20 76 61 6c 29 |nit (- n| 1) val)|
|00003a90| 29 29 29 29 0a 0a 28 61 | 72 72 61 79 20 3a 61 6e |))))..(a|rray :an|
|00003aa0| 73 77 65 72 20 3a 73 65 | 65 20 27 28 6e 29 0a 09 |swer :se|e '(n)..|
|00003ab0| 20 20 20 20 20 20 20 27 | 28 28 6e 74 68 20 28 2b |       '|((nth (+|
|00003ac0| 20 6e 20 31 29 20 61 72 | 72 79 29 29 29 0a 0a 0a | n 1) ar|ry)))...|
|00003ad0| 28 61 72 72 61 79 20 3a | 61 6e 73 77 65 72 20 3a |(array :|answer :|
|00003ae0| 6c 6f 61 64 20 27 28 6e | 20 76 61 6c 20 26 61 75 |load '(n| val &au|
|00003af0| 78 20 6c 65 66 74 20 72 | 69 67 68 74 20 74 65 6d |x left r|ight tem|
|00003b00| 70 29 0a 20 20 20 20 20 | 20 20 27 28 28 73 65 74 |p).     |  '((set|
|00003b10| 71 20 6c 65 66 74 20 28 | 73 65 6c 66 20 3a 6c 65 |q left (|self :le|
|00003b20| 66 74 5f 70 61 72 74 20 | 6e 20 61 72 72 79 20 74 |ft_part |n arry t|
|00003b30| 65 6d 70 29 29 0a 09 20 | 28 73 65 74 71 20 72 69 |emp)).. |(setq ri|
|00003b40| 67 68 74 20 28 73 65 6c | 66 20 3a 72 69 67 68 74 |ght (sel|f :right|
|00003b50| 5f 70 61 72 74 20 6e 20 | 61 72 72 79 29 29 0a 09 |_part n |arry))..|
|00003b60| 20 28 73 65 74 71 20 61 | 72 72 79 20 28 61 70 70 | (setq a|rry (app|
|00003b70| 65 6e 64 20 6c 65 66 74 | 20 28 6c 69 73 74 20 76 |end left| (list v|
|00003b80| 61 6c 29 29 29 0a 09 20 | 28 73 65 74 71 20 61 72 |al))).. |(setq ar|
|00003b90| 72 79 20 28 61 70 70 65 | 6e 64 20 61 72 72 79 20 |ry (appe|nd arry |
|00003ba0| 72 69 67 68 74 29 29 0a | 09 20 76 61 6c 29 29 0a |right)).|. val)).|
|00003bb0| 0a 28 61 72 72 61 79 20 | 3a 61 6e 73 77 65 72 20 |.(array |:answer |
|00003bc0| 3a 6c 65 66 74 5f 70 61 | 72 74 20 27 28 6e 20 61 |:left_pa|rt '(n a|
|00003bd0| 72 79 20 6c 65 66 74 29 | 0a 20 20 20 20 20 20 20 |ry left)|.       |
|00003be0| 27 28 28 63 6f 6e 64 20 | 28 28 65 71 75 61 6c 20 |'((cond |((equal |
|00003bf0| 6e 20 30 29 20 28 72 65 | 76 65 72 73 65 20 6c 65 |n 0) (re|verse le|
|00003c00| 66 74 29 29 0a 09 20 20 | 20 20 20 20 20 28 74 20 |ft))..  |     (t |
|00003c10| 28 73 65 74 71 20 6c 65 | 66 74 20 28 63 6f 6e 73 |(setq le|ft (cons|
|00003c20| 20 28 63 61 72 20 61 72 | 79 29 20 6c 65 66 74 29 | (car ar|y) left)|
|00003c30| 29 0a 09 09 20 20 28 73 | 65 6c 66 20 3a 6c 65 66 |)...  (s|elf :lef|
|00003c40| 74 5f 70 61 72 74 20 28 | 2d 20 6e 20 31 29 20 28 |t_part (|- n 1) (|
|00003c50| 63 64 72 20 61 72 79 29 | 20 6c 65 66 74 29 29 29 |cdr ary)| left)))|
|00003c60| 29 29 0a 0a 28 61 72 72 | 61 79 20 3a 61 6e 73 77 |))..(arr|ay :answ|
|00003c70| 65 72 20 3a 72 69 67 68 | 74 5f 70 61 72 74 20 27 |er :righ|t_part '|
|00003c80| 28 6e 20 61 72 79 20 26 | 61 75 78 20 72 69 67 68 |(n ary &|aux righ|
|00003c90| 74 29 0a 20 20 20 20 20 | 20 20 27 28 28 63 6f 6e |t).     |  '((con|
|00003ca0| 64 20 28 28 65 71 75 61 | 6c 20 6e 20 30 29 20 28 |d ((equa|l n 0) (|
|00003cb0| 63 64 72 20 61 72 79 29 | 29 0a 09 20 20 20 20 20 |cdr ary)|)..     |
|00003cc0| 20 20 28 74 20 28 73 65 | 6c 66 20 3a 72 69 67 68 |  (t (se|lf :righ|
|00003cd0| 74 5f 70 61 72 74 20 28 | 2d 20 6e 20 31 29 20 28 |t_part (|- n 1) (|
|00003ce0| 63 64 72 20 61 72 79 29 | 29 29 29 29 29 0a 0a 3b |cdr ary)|)))))..;|
|00003cf0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003d00| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003d10| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003d20| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003d30| 3b 3b 3b 3b 3b 3b 0a 53 | 48 41 52 5f 45 4f 46 0a |;;;;;;.S|HAR_EOF.|
|00003d40| 66 69 20 23 20 65 6e 64 | 20 6f 66 20 6f 76 65 72 |fi # end| of over|
|00003d50| 77 72 69 74 69 6e 67 20 | 63 68 65 63 6b 0a 69 66 |writing |check.if|
|00003d60| 20 74 65 73 74 20 2d 66 | 20 27 69 66 74 68 65 6e | test -f| 'ifthen|
|00003d70| 2e 6c 73 70 27 0a 74 68 | 65 6e 0a 09 65 63 68 6f |.lsp'.th|en..echo|
|00003d80| 20 73 68 61 72 3a 20 77 | 69 6c 6c 20 6e 6f 74 20 | shar: w|ill not |
|00003d90| 6f 76 65 72 2d 77 72 69 | 74 65 20 65 78 69 73 74 |over-wri|te exist|
|00003da0| 69 6e 67 20 66 69 6c 65 | 20 22 27 69 66 74 68 65 |ing file| "'ifthe|
|00003db0| 6e 2e 6c 73 70 27 22 0a | 65 6c 73 65 0a 63 61 74 |n.lsp'".|else.cat|
|00003dc0| 20 3c 3c 20 5c 53 48 41 | 52 5f 45 4f 46 20 3e 20 | << \SHA|R_EOF > |
|00003dd0| 27 69 66 74 68 65 6e 2e | 6c 73 70 27 0a 3b 20 2d |'ifthen.|lsp'.; -|
|00003de0| 2a 2d 4c 69 73 70 2d 2a | 2d 0a 3b 0a 3b 20 49 66 |*-Lisp-*|-.;.; If|
|00003df0| 20 74 68 65 6e 20 72 75 | 6c 65 73 20 2d 20 6d 69 | then ru|les - mi|
|00003e00| 6e 69 20 65 78 70 65 72 | 74 20 66 72 6f 6d 20 43 |ni exper|t from C|
|00003e10| 68 2e 20 31 38 20 6f 66 | 20 57 69 6e 73 74 6f 6e |h. 18 of| Winston|
|00003e20| 20 61 6e 64 20 48 6f 72 | 6e 0a 3b 20 57 72 69 74 | and Hor|n.; Writ|
|00003e30| 74 65 6e 20 75 73 69 6e | 67 20 72 65 63 75 72 73 |ten usin|g recurs|
|00003e40| 69 6f 6e 20 77 69 74 68 | 6f 75 74 20 70 72 6f 67 |ion with|out prog|
|00003e50| 73 0a 3b 20 41 64 64 65 | 64 20 66 75 6e 63 74 69 |s.; Adde|d functi|
|00003e60| 6f 6e 20 27 68 6f 77 27 | 20 74 6f 20 65 78 70 6c |on 'how'| to expl|
|00003e70| 61 69 6e 20 64 65 64 75 | 63 74 69 6f 6e 73 0a 3b |ain dedu|ctions.;|
|00003e80| 0a 3b 20 55 73 65 3a 0a | 3b 09 41 66 74 65 72 20 |.; Use:.|;.After |
|00003e90| 6c 6f 61 64 69 6e 67 20 | 74 79 70 65 20 28 64 65 |loading |type (de|
|00003ea0| 64 75 63 65 29 2e 20 49 | 74 20 77 69 6c 6c 20 6d |duce). I|t will m|
|00003eb0| 61 6b 65 20 61 6c 6c 20 | 74 68 65 20 64 65 64 75 |ake all |the dedu|
|00003ec0| 63 74 69 6f 6e 73 0a 3b | 09 67 69 76 65 6e 20 74 |ctions.;|.given t|
|00003ed0| 68 65 20 6c 69 73 74 20 | 66 61 63 74 2e 20 49 66 |he list |fact. If|
|00003ee0| 20 79 6f 75 20 77 61 6e | 74 20 74 6f 20 6b 6e 6f | you wan|t to kno|
|00003ef0| 77 20 68 6f 77 20 69 74 | 20 64 65 64 75 63 65 64 |w how it| deduced|
|00003f00| 20 73 6f 6d 65 74 68 69 | 6e 67 0a 3b 09 74 79 70 | somethi|ng.;.typ|
|00003f10| 65 20 28 68 6f 77 20 27 | 28 61 20 64 65 64 75 63 |e (how '|(a deduc|
|00003f20| 74 69 6f 6e 29 29 20 66 | 6f 72 20 65 78 61 6d 70 |tion)) f|or examp|
|00003f30| 6c 65 20 28 68 6f 77 20 | 27 28 61 6e 69 6d 61 6c |le (how |'(animal|
|00003f40| 20 69 73 20 74 69 67 65 | 72 29 29 0a 3b 09 61 6e | is tige|r)).;.an|
|00003f50| 64 20 73 6f 20 6f 6e 2e | 0a 0a 0a 0a 3b 20 72 75 |d so on.|....; ru|
|00003f60| 6c 65 73 20 64 61 74 61 | 20 62 61 73 65 0a 0a 28 |les data| base..(|
|00003f70| 73 65 74 71 20 72 75 6c | 65 73 0a 20 20 20 20 20 |setq rul|es.     |
|00003f80| 20 27 28 28 72 75 6c 65 | 20 69 64 65 6e 74 69 66 | '((rule| identif|
|00003f90| 79 31 0a 09 20 20 20 20 | 20 20 28 69 66 20 28 61 |y1..    |  (if (a|
|00003fa0| 6e 69 6d 61 6c 20 68 61 | 73 20 68 61 69 72 29 29 |nimal ha|s hair))|
|00003fb0| 0a 09 20 20 20 20 20 20 | 28 74 68 65 6e 20 28 61 |..      |(then (a|
|00003fc0| 6e 69 6d 61 6c 20 69 73 | 20 6d 61 6d 6d 61 6c 29 |nimal is| mammal)|
|00003fd0| 29 29 0a 09 28 72 75 6c | 65 20 69 64 65 6e 74 69 |))..(rul|e identi|
|00003fe0| 66 79 32 0a 09 20 20 20 | 20 20 20 28 69 66 20 28 |fy2..   |   (if (|
|00003ff0| 61 6e 69 6d 61 6c 20 67 | 69 76 65 73 20 6d 69 6c |animal g|ives mil|
|00004000| 6b 29 29 0a 09 20 20 20 | 20 20 20 28 74 68 65 6e |k))..   |   (then|
|00004010| 20 28 61 6e 69 6d 61 6c | 20 69 73 20 6d 61 6d 6d | (animal| is mamm|
|00004020| 61 6c 29 29 29 0a 09 28 | 72 75 6c 65 20 69 64 65 |al)))..(|rule ide|
|00004030| 6e 74 69 66 79 33 0a 09 | 20 20 20 20 20 20 28 69 |ntify3..|      (i|
|00004040| 66 20 28 61 6e 69 6d 61 | 6c 20 68 61 73 20 66 65 |f (anima|l has fe|
|00004050| 61 74 68 65 72 73 29 29 | 0a 09 20 20 20 20 20 20 |athers))|..      |
|00004060| 28 74 68 65 6e 20 28 61 | 6e 69 6d 61 6c 20 69 73 |(then (a|nimal is|
|00004070| 20 62 69 72 64 29 29 29 | 0a 09 28 72 75 6c 65 20 | bird)))|..(rule |
|00004080| 69 64 65 6e 74 69 66 79 | 34 0a 09 20 20 20 20 20 |identify|4..     |
|00004090| 20 28 69 66 20 28 61 6e | 69 6d 61 6c 20 66 6c 69 | (if (an|imal fli|
|000040a0| 65 73 29 0a 09 09 20 20 | 28 61 6e 69 6d 61 6c 20 |es)...  |(animal |
|000040b0| 6c 61 79 73 20 65 67 67 | 73 29 29 0a 09 20 20 20 |lays egg|s))..   |
|000040c0| 20 20 20 28 74 68 65 6e | 20 28 61 6e 69 6d 61 6c |   (then| (animal|
|000040d0| 20 69 73 20 62 69 72 64 | 29 29 29 0a 09 28 72 75 | is bird|)))..(ru|
|000040e0| 6c 65 20 69 64 65 6e 74 | 69 66 79 35 0a 09 20 20 |le ident|ify5..  |
|000040f0| 20 20 20 20 28 69 66 20 | 28 61 6e 69 6d 61 6c 20 |    (if |(animal |
|00004100| 65 61 74 73 20 6d 65 61 | 74 29 29 0a 09 20 20 20 |eats mea|t))..   |
|00004110| 20 20 20 28 74 68 65 6e | 20 28 61 6e 69 6d 61 6c |   (then| (animal|
|00004120| 20 69 73 20 63 61 72 6e | 69 76 6f 72 65 29 29 29 | is carn|ivore)))|
|00004130| 0a 09 28 72 75 6c 65 20 | 69 64 65 6e 74 69 66 79 |..(rule |identify|
|00004140| 36 0a 09 20 20 20 20 20 | 20 28 69 66 20 28 61 6e |6..     | (if (an|
|00004150| 69 6d 61 6c 20 68 61 73 | 20 70 6f 69 6e 74 65 64 |imal has| pointed|
|00004160| 20 74 65 65 74 68 29 0a | 09 09 20 20 28 61 6e 69 | teeth).|..  (ani|
|00004170| 6d 61 6c 20 68 61 73 20 | 63 6c 61 77 73 29 0a 09 |mal has |claws)..|
|00004180| 09 20 20 28 61 6e 69 6d | 61 6c 20 68 61 73 20 66 |.  (anim|al has f|
|00004190| 6f 72 77 61 72 64 20 65 | 79 65 73 29 29 0a 09 20 |orward e|yes)).. |
|000041a0| 20 20 20 20 20 28 74 68 | 65 6e 20 28 61 6e 69 6d |     (th|en (anim|
|000041b0| 61 6c 20 69 73 20 63 61 | 72 6e 69 76 6f 72 65 29 |al is ca|rnivore)|
|000041c0| 29 29 0a 09 28 72 75 6c | 65 20 69 64 65 6e 74 69 |))..(rul|e identi|
|000041d0| 66 79 37 0a 09 20 20 20 | 20 20 20 28 69 66 20 28 |fy7..   |   (if (|
|000041e0| 61 6e 69 6d 61 6c 20 69 | 73 20 6d 61 6d 6d 61 6c |animal i|s mammal|
|000041f0| 29 0a 09 09 20 20 28 61 | 6e 69 6d 61 6c 20 68 61 |)...  (a|nimal ha|
|00004200| 73 20 68 6f 6f 66 73 29 | 29 0a 09 20 20 20 20 20 |s hoofs)|)..     |
|00004210| 20 28 74 68 65 6e 20 28 | 61 6e 69 6d 61 6c 20 69 | (then (|animal i|
|00004220| 73 20 75 6e 67 75 6c 61 | 74 65 29 29 29 0a 09 28 |s ungula|te)))..(|
|00004230| 72 75 6c 65 20 69 64 65 | 6e 74 69 66 79 38 0a 09 |rule ide|ntify8..|
|00004240| 20 20 20 20 20 20 28 69 | 66 20 28 61 6e 69 6d 61 |      (i|f (anima|
|00004250| 6c 20 69 73 20 6d 61 6d | 6d 61 6c 29 0a 09 09 20 |l is mam|mal)... |
|00004260| 20 28 61 6e 69 6d 61 6c | 20 63 68 65 77 73 20 63 | (animal| chews c|
|00004270| 75 64 29 29 0a 09 20 20 | 20 20 20 20 28 74 68 65 |ud))..  |    (the|
|00004280| 6e 20 28 61 6e 69 6d 61 | 6c 20 69 73 20 75 6e 67 |n (anima|l is ung|
|00004290| 75 6c 61 74 65 29 0a 09 | 09 20 20 20 20 28 65 76 |ulate)..|.    (ev|
|000042a0| 65 6e 20 74 6f 65 64 29 | 29 29 0a 09 28 72 75 6c |en toed)|))..(rul|
|000042b0| 65 20 69 64 65 6e 74 69 | 66 79 39 0a 09 20 20 20 |e identi|fy9..   |
|000042c0| 20 20 20 28 69 66 20 28 | 61 6e 69 6d 61 6c 20 69 |   (if (|animal i|
|000042d0| 73 20 6d 61 6d 6d 61 6c | 29 0a 09 09 20 20 28 61 |s mammal|)...  (a|
|000042e0| 6e 69 6d 61 6c 20 69 73 | 20 63 61 72 6e 69 76 6f |nimal is| carnivo|
|000042f0| 72 65 29 0a 09 09 20 20 | 28 61 6e 69 6d 61 6c 20 |re)...  |(animal |
|00004300| 68 61 73 20 74 61 77 6e | 79 20 63 6f 6c 6f 72 29 |has tawn|y color)|
|00004310| 0a 09 09 20 20 28 61 6e | 69 6d 61 6c 20 68 61 73 |...  (an|imal has|
|00004320| 20 64 61 72 6b 20 73 70 | 6f 74 73 29 29 0a 09 20 | dark sp|ots)).. |
|00004330| 20 20 20 20 20 28 74 68 | 65 6e 20 28 61 6e 69 6d |     (th|en (anim|
|00004340| 61 6c 20 69 73 20 63 68 | 65 65 74 61 68 29 29 29 |al is ch|eetah)))|
|00004350| 0a 09 28 72 75 6c 65 20 | 69 64 65 6e 74 69 66 79 |..(rule |identify|
|00004360| 31 30 0a 09 20 20 20 20 | 20 20 28 69 66 20 28 61 |10..    |  (if (a|
|00004370| 6e 69 6d 61 6c 20 69 73 | 20 6d 61 6d 6d 61 6c 29 |nimal is| mammal)|
|00004380| 0a 09 09 20 20 28 61 6e | 69 6d 61 6c 20 69 73 20 |...  (an|imal is |
|00004390| 63 61 72 6e 69 76 6f 72 | 65 29 0a 09 09 20 20 28 |carnivor|e)...  (|
|000043a0| 61 6e 69 6d 61 6c 20 68 | 61 73 20 74 61 77 6e 79 |animal h|as tawny|
|000043b0| 20 63 6f 6c 6f 72 29 0a | 09 09 20 20 28 61 6e 69 | color).|..  (ani|
|000043c0| 6d 61 6c 20 68 61 73 20 | 62 6c 61 63 6b 20 73 74 |mal has |black st|
|000043d0| 72 69 70 65 73 29 29 0a | 09 20 20 20 20 20 20 28 |ripes)).|.      (|
|000043e0| 74 68 65 6e 20 28 61 6e | 69 6d 61 6c 20 69 73 20 |then (an|imal is |
|000043f0| 74 69 67 65 72 29 29 29 | 0a 09 28 72 75 6c 65 20 |tiger)))|..(rule |
|00004400| 69 64 65 6e 74 69 66 79 | 31 31 0a 09 20 20 20 20 |identify|11..    |
|00004410| 20 20 28 69 66 20 28 61 | 6e 69 6d 61 6c 20 69 73 |  (if (a|nimal is|
|00004420| 20 75 6e 67 75 6c 61 74 | 65 29 0a 09 09 20 20 28 | ungulat|e)...  (|
|00004430| 61 6e 69 6d 61 6c 20 68 | 61 73 20 6c 6f 6e 67 20 |animal h|as long |
|00004440| 6e 65 63 6b 29 0a 09 09 | 20 20 28 61 6e 69 6d 61 |neck)...|  (anima|
|00004450| 6c 20 68 61 73 20 6c 6f | 6e 67 20 6c 65 67 73 29 |l has lo|ng legs)|
|00004460| 0a 09 09 20 20 28 61 6e | 69 6d 61 6c 20 68 61 73 |...  (an|imal has|
|00004470| 20 64 61 72 6b 20 73 70 | 6f 74 73 29 29 0a 09 20 | dark sp|ots)).. |
|00004480| 20 20 20 20 20 28 74 68 | 65 6e 20 28 61 6e 69 6d |     (th|en (anim|
|00004490| 61 6c 20 69 73 20 67 69 | 72 61 66 66 65 29 29 29 |al is gi|raffe)))|
|000044a0| 0a 09 28 72 75 6c 65 20 | 69 64 65 6e 74 69 66 79 |..(rule |identify|
|000044b0| 31 32 0a 09 20 20 20 20 | 20 20 28 69 66 20 28 61 |12..    |  (if (a|
|000044c0| 6e 69 6d 61 6c 20 69 73 | 20 75 6e 67 75 6c 61 74 |nimal is| ungulat|
|000044d0| 65 29 0a 09 09 20 20 28 | 61 6e 69 6d 61 6c 20 68 |e)...  (|animal h|
|000044e0| 61 73 20 62 6c 61 63 6b | 20 73 74 72 69 70 65 73 |as black| stripes|
|000044f0| 29 29 0a 09 20 20 20 20 | 20 20 28 74 68 65 6e 20 |))..    |  (then |
|00004500| 28 61 6e 69 6d 61 6c 20 | 69 73 20 7a 65 62 72 61 |(animal |is zebra|
|00004510| 29 29 29 0a 09 28 72 75 | 6c 65 20 69 64 65 6e 74 |)))..(ru|le ident|
|00004520| 69 66 79 31 33 0a 09 20 | 20 20 20 20 20 28 69 66 |ify13.. |     (if|
|00004530| 20 28 61 6e 69 6d 61 6c | 20 69 73 20 62 69 72 64 | (animal| is bird|
|00004540| 29 0a 09 09 20 20 28 61 | 6e 69 6d 61 6c 20 64 6f |)...  (a|nimal do|
|00004550| 65 73 20 6e 6f 74 20 66 | 6c 79 29 0a 09 09 20 20 |es not f|ly)...  |
|00004560| 28 61 6e 69 6d 61 6c 20 | 68 61 73 20 6c 6f 6e 67 |(animal |has long|
|00004570| 20 6e 65 63 6b 29 0a 09 | 09 20 20 28 61 6e 69 6d | neck)..|.  (anim|
|00004580| 61 6c 20 68 61 73 20 6c | 6f 6e 67 20 6c 65 67 73 |al has l|ong legs|
|00004590| 29 0a 09 09 20 20 28 61 | 6e 69 6d 61 6c 20 69 73 |)...  (a|nimal is|
|000045a0| 20 62 6c 61 63 6b 20 61 | 6e 64 20 77 68 69 74 65 | black a|nd white|
|000045b0| 29 29 0a 09 20 20 20 20 | 20 20 28 74 68 65 6e 20 |))..    |  (then |
|000045c0| 28 61 6e 69 6d 61 6c 20 | 69 73 20 6f 73 74 72 69 |(animal |is ostri|
|000045d0| 63 68 29 29 29 0a 09 28 | 72 75 6c 65 20 69 64 65 |ch)))..(|rule ide|
|000045e0| 6e 74 69 66 79 31 34 0a | 09 20 20 20 20 20 20 28 |ntify14.|.      (|
|000045f0| 69 66 20 28 61 6e 69 6d | 61 6c 20 69 73 20 62 69 |if (anim|al is bi|
|00004600| 72 64 29 0a 09 09 20 20 | 28 61 6e 69 6d 61 6c 20 |rd)...  |(animal |
|00004610| 64 6f 65 73 20 6e 6f 74 | 20 66 6c 79 29 0a 09 09 |does not| fly)...|
|00004620| 20 20 28 61 6e 69 6d 61 | 6c 20 73 77 69 6d 73 29 |  (anima|l swims)|
|00004630| 0a 09 09 20 20 28 61 6e | 69 6d 61 6c 20 69 73 20 |...  (an|imal is |
|00004640| 62 6c 61 63 6b 20 61 6e | 64 20 77 68 69 74 65 29 |black an|d white)|
|00004650| 29 0a 09 20 20 20 20 20 | 20 28 74 68 65 6e 20 28 |)..     | (then (|
|00004660| 61 6e 69 6d 61 6c 20 69 | 73 20 70 65 6e 67 75 69 |animal i|s pengui|
|00004670| 6e 29 29 29 0a 09 28 72 | 75 6c 65 20 69 64 65 6e |n)))..(r|ule iden|
|00004680| 74 69 66 79 31 35 0a 09 | 20 20 20 20 20 20 28 69 |tify15..|      (i|
|00004690| 66 20 28 61 6e 69 6d 61 | 6c 20 69 73 20 62 69 72 |f (anima|l is bir|
|000046a0| 64 29 0a 09 09 20 20 28 | 61 6e 69 6d 61 6c 20 66 |d)...  (|animal f|
|000046b0| 6c 79 73 20 77 65 6c 6c | 29 29 0a 09 20 20 20 20 |lys well|))..    |
|000046c0| 20 20 28 74 68 65 6e 20 | 28 61 6e 69 6d 61 6c 20 |  (then |(animal |
|000046d0| 69 73 20 61 6c 62 61 74 | 72 6f 73 73 29 29 29 29 |is albat|ross))))|
|000046e0| 29 0a 3b 20 75 74 69 6c | 69 74 79 20 66 75 6e 63 |).; util|ity func|
|000046f0| 74 69 6f 6e 73 0a 28 64 | 65 66 75 6e 20 73 71 75 |tions.(d|efun squ|
|00004700| 61 73 68 28 73 29 0a 20 | 20 20 20 20 20 20 28 63 |ash(s). |      (c|
|00004710| 6f 6e 64 20 28 28 6e 75 | 6c 6c 20 73 29 20 28 29 |ond ((nu|ll s) ()|
|00004720| 29 0a 09 20 20 20 20 20 | 28 28 61 74 6f 6d 20 73 |)..     |((atom s|
|00004730| 29 20 28 6c 69 73 74 20 | 73 29 29 0a 09 20 20 20 |) (list |s))..   |
|00004740| 20 20 28 74 20 28 61 70 | 70 65 6e 64 20 28 73 71 |  (t (ap|pend (sq|
|00004750| 75 61 73 68 20 28 63 61 | 72 20 73 29 29 0a 09 09 |uash (ca|r s))...|
|00004760| 09 28 73 71 75 61 73 68 | 20 28 63 64 72 20 73 29 |.(squash| (cdr s)|
|00004770| 29 29 29 29 29 0a 0a 28 | 64 65 66 75 6e 20 70 28 |)))))..(|defun p(|
|00004780| 73 29 0a 20 20 20 20 20 | 20 20 28 70 72 69 6e 63 |s).     |  (princ|
|00004790| 20 28 73 71 75 61 73 68 | 20 73 29 29 29 0a 0a 3b | (squash| s)))..;|
|000047a0| 20 66 75 6e 63 74 69 6f | 6e 73 0a 0a 3b 20 66 75 | functio|ns..; fu|
|000047b0| 6e 63 74 69 6f 6e 20 74 | 6f 20 73 65 65 20 69 66 |nction t|o see if|
|000047c0| 20 61 6e 20 69 74 65 6d | 20 69 73 20 61 20 6d 65 | an item| is a me|
|000047d0| 6d 62 65 72 20 6f 66 20 | 61 20 6c 69 73 74 0a 0a |mber of |a list..|
|000047e0| 28 64 65 66 75 6e 20 6d | 65 6d 62 65 72 28 69 74 |(defun m|ember(it|
|000047f0| 65 6d 20 6c 69 73 74 29 | 0a 20 20 20 20 20 20 20 |em list)|.       |
|00004800| 28 63 6f 6e 64 28 28 6e | 75 6c 6c 20 6c 69 73 74 |(cond((n|ull list|
|00004810| 29 20 28 29 29 09 3b 20 | 72 65 74 75 72 6e 20 6e |) ()).; |return n|
|00004820| 69 6c 20 6f 6e 20 65 6e | 64 20 6f 66 20 6c 69 73 |il on en|d of lis|
|00004830| 74 0a 09 20 20 20 20 28 | 28 65 71 75 61 6c 20 69 |t..    (|(equal i|
|00004840| 74 65 6d 20 28 63 61 72 | 20 6c 69 73 74 29 29 20 |tem (car| list)) |
|00004850| 6c 69 73 74 29 20 3b 20 | 66 6f 75 6e 64 0a 09 20 |list) ; |found.. |
|00004860| 20 20 20 28 74 20 28 6d | 65 6d 62 65 72 20 69 74 |   (t (m|ember it|
|00004870| 65 6d 20 28 63 64 72 20 | 6c 69 73 74 29 29 29 29 |em (cdr |list))))|
|00004880| 29 20 3b 20 6f 74 68 65 | 72 77 69 73 65 20 74 72 |) ; othe|rwise tr|
|00004890| 79 20 72 65 73 74 20 6f | 66 20 6c 69 73 74 0a 0a |y rest o|f list..|
|000048a0| 3b 20 70 75 74 20 61 20 | 6e 65 77 20 66 61 63 74 |; put a |new fact|
|000048b0| 20 69 6e 74 6f 20 74 68 | 65 20 66 61 63 74 73 20 | into th|e facts |
|000048c0| 64 61 74 61 20 62 61 73 | 65 20 69 66 20 69 74 20 |data bas|e if it |
|000048d0| 69 73 20 6e 6f 74 20 61 | 6c 72 65 61 64 79 20 74 |is not a|lready t|
|000048e0| 68 65 72 65 0a 0a 28 64 | 65 66 75 6e 20 72 65 6d |here..(d|efun rem|
|000048f0| 65 6d 62 65 72 28 6e 65 | 77 66 61 63 74 29 0a 20 |ember(ne|wfact). |
|00004900| 20 20 20 20 20 20 28 63 | 6f 6e 64 28 28 6d 65 6d |      (c|ond((mem|
|00004910| 62 65 72 20 6e 65 77 66 | 61 63 74 20 66 61 63 74 |ber newf|act fact|
|00004920| 73 29 20 28 29 29 09 3b | 20 69 66 20 70 72 65 73 |s) ()).;| if pres|
|00004930| 65 6e 74 20 64 6f 20 6e | 6f 74 68 69 6e 67 0a 09 |ent do n|othing..|
|00004940| 20 20 20 20 28 74 20 28 | 20 73 65 74 71 20 66 61 |    (t (| setq fa|
|00004950| 63 74 73 20 28 63 6f 6e | 73 20 6e 65 77 66 61 63 |cts (con|s newfac|
|00004960| 74 20 66 61 63 74 73 29 | 29 20 6e 65 77 66 61 63 |t facts)|) newfac|
|00004970| 74 29 29 29 0a 0a 3b 20 | 69 73 20 61 20 66 61 63 |t)))..; |is a fac|
|00004980| 74 20 74 68 65 72 65 20 | 69 6e 20 74 68 65 20 66 |t there |in the f|
|00004990| 61 63 74 73 20 64 61 74 | 61 20 62 61 73 65 0a 0a |acts dat|a base..|
|000049a0| 28 64 65 66 75 6e 20 72 | 65 63 61 6c 6c 28 61 66 |(defun r|ecall(af|
|000049b0| 61 63 74 29 0a 20 20 20 | 20 20 20 20 28 63 6f 6e |act).   |    (con|
|000049c0| 64 20 28 28 6d 65 6d 62 | 65 72 20 61 66 61 63 74 |d ((memb|er afact|
|000049d0| 20 66 61 63 74 73 29 20 | 61 66 61 63 74 29 09 3b | facts) |afact).;|
|000049e0| 20 69 74 20 69 73 20 68 | 65 72 65 0a 09 20 20 20 | it is h|ere..   |
|000049f0| 20 20 28 74 20 28 29 29 | 29 29 09 09 09 09 3b 20 |  (t ())|))....; |
|00004a00| 6e 6f 20 69 74 20 69 73 | 27 6e 74 0a 0a 3b 20 67 |no it is|'nt..; g|
|00004a10| 69 76 65 6e 20 61 20 72 | 75 6c 65 20 63 68 65 63 |iven a r|ule chec|
|00004a20| 6b 20 69 66 20 61 6c 6c | 20 74 68 65 20 69 66 20 |k if all| the if |
|00004a30| 70 61 72 74 73 20 61 72 | 65 20 63 6f 6e 66 69 72 |parts ar|e confir|
|00004a40| 6d 65 64 20 62 79 20 74 | 68 65 20 66 61 63 74 73 |med by t|he facts|
|00004a50| 20 64 61 74 61 20 62 61 | 73 65 0a 0a 28 64 65 66 | data ba|se..(def|
|00004a60| 75 6e 20 74 65 73 74 69 | 66 28 69 66 6c 69 73 74 |un testi|f(iflist|
|00004a70| 29 0a 20 20 20 20 20 20 | 20 28 63 6f 6e 64 28 28 |).      | (cond((|
|00004a80| 6e 75 6c 6c 20 69 66 6c | 69 73 74 29 20 74 29 09 |null ifl|ist) t).|
|00004a90| 3b 20 61 6c 6c 20 73 61 | 74 69 73 66 69 65 64 0a |; all sa|tisfied.|
|00004aa0| 09 20 20 20 20 28 28 72 | 65 63 61 6c 6c 20 28 63 |.    ((r|ecall (c|
|00004ab0| 61 72 20 69 66 6c 69 73 | 74 29 29 20 28 74 65 73 |ar iflis|t)) (tes|
|00004ac0| 74 69 66 20 28 63 64 72 | 20 69 66 6c 69 73 74 29 |tif (cdr| iflist)|
|00004ad0| 29 29 20 3b 20 6b 65 65 | 70 20 73 65 61 72 63 68 |)) ; kee|p search|
|00004ae0| 69 6e 67 0a 09 20 20 20 | 20 09 09 09 09 09 20 20 |ing..   | .....  |
|00004af0| 20 20 20 20 20 20 20 20 | 3b 20 69 66 20 6f 6e 65 |        |; if one|
|00004b00| 20 69 73 20 6f 6b 0a 09 | 20 20 20 20 28 74 20 28 | is ok..|    (t (|
|00004b10| 29 29 29 29 09 09 09 09 | 09 3b 20 6e 6f 74 20 69 |))))....|.; not i|
|00004b20| 6e 20 66 61 63 74 73 20 | 44 42 0a 0a 3b 20 61 64 |n facts |DB..; ad|
|00004b30| 64 20 74 68 65 20 74 68 | 65 6e 20 70 61 72 74 73 |d the th|en parts|
|00004b40| 20 6f 66 20 74 68 65 20 | 72 75 6c 65 73 20 77 68 | of the |rules wh|
|00004b50| 69 63 68 20 63 61 6e 20 | 62 65 20 61 64 64 65 64 |ich can |be added|
|00004b60| 20 74 6f 20 74 68 65 20 | 66 61 63 74 73 20 44 42 | to the |facts DB|
|00004b70| 0a 3b 20 72 65 74 75 72 | 6e 20 74 68 65 20 6f 6e |.; retur|n the on|
|00004b80| 65 73 20 74 68 61 74 20 | 61 72 65 20 61 64 64 65 |es that |are adde|
|00004b90| 64 0a 0a 28 64 65 66 75 | 6e 20 75 73 65 74 68 65 |d..(defu|n usethe|
|00004ba0| 6e 28 74 68 65 6e 6c 69 | 73 74 20 61 64 64 6c 69 |n(thenli|st addli|
|00004bb0| 73 74 29 0a 20 20 20 20 | 20 20 20 28 63 6f 6e 64 |st).    |   (cond|
|00004bc0| 20 28 28 6e 75 6c 6c 20 | 74 68 65 6e 6c 69 73 74 | ((null |thenlist|
|00004bd0| 29 20 61 64 64 6c 69 73 | 74 29 20 3b 20 61 6c 6c |) addlis|t) ; all|
|00004be0| 20 65 78 68 61 75 73 74 | 65 64 0a 09 20 20 20 20 | exhaust|ed..    |
|00004bf0| 20 28 28 72 65 6d 65 6d | 62 65 72 20 28 63 61 72 | ((remem|ber (car|
|00004c00| 20 74 68 65 6e 6c 69 73 | 74 29 29 0a 09 20 20 20 | thenlis|t))..   |
|00004c10| 20 20 28 75 73 65 74 68 | 65 6e 20 28 63 64 72 20 |  (useth|en (cdr |
|00004c20| 74 68 65 6e 6c 69 73 74 | 29 20 28 63 6f 6e 73 20 |thenlist|) (cons |
|00004c30| 28 63 61 72 20 74 68 65 | 6e 6c 69 73 74 29 20 61 |(car the|nlist) a|
|00004c40| 64 64 6c 69 73 74 29 29 | 29 0a 09 20 20 20 20 20 |ddlist))|)..     |
|00004c50| 28 74 20 28 75 73 65 74 | 68 65 6e 20 28 63 64 72 |(t (uset|hen (cdr|
|00004c60| 20 74 68 65 6e 6c 69 73 | 74 29 20 61 64 64 6c 69 | thenlis|t) addli|
|00004c70| 73 74 29 29 29 29 0a 0a | 3b 20 74 72 79 20 61 20 |st))))..|; try a |
|00004c80| 72 75 6c 65 0a 3b 20 72 | 65 74 75 72 6e 20 74 20 |rule.; r|eturn t |
|00004c90| 6f 6e 6c 79 20 69 66 20 | 61 6c 6c 20 74 68 65 20 |only if |all the |
|00004ca0| 69 66 20 70 61 72 74 73 | 20 61 72 65 20 73 61 74 |if parts| are sat|
|00004cb0| 69 73 66 69 65 64 20 62 | 79 20 74 68 65 20 66 61 |isfied b|y the fa|
|00004cc0| 63 74 73 20 64 61 74 61 | 20 62 61 73 65 0a 3b 20 |cts data| base.; |
|00004cd0| 61 6e 64 20 61 74 20 6c | 65 73 74 20 6f 6e 65 20 |and at l|est one |
|00004ce0| 74 68 65 6e 20 28 20 63 | 6f 6e 63 6c 75 73 69 6f |then ( c|onclusio|
|00004cf0| 6e 20 29 20 69 73 20 61 | 64 64 65 64 20 74 6f 20 |n ) is a|dded to |
|00004d00| 74 68 65 20 66 61 63 74 | 73 20 64 61 74 61 20 62 |the fact|s data b|
|00004d10| 61 73 65 0a 0a 28 64 65 | 66 75 6e 20 74 72 79 72 |ase..(de|fun tryr|
|00004d20| 75 6c 65 28 72 75 6c 65 | 20 26 61 75 78 20 69 66 |ule(rule| &aux if|
|00004d30| 72 75 6c 65 73 20 74 68 | 65 6e 6c 69 73 74 20 61 |rules th|enlist a|
|00004d40| 64 64 6c 69 73 74 29 0a | 20 20 20 20 20 20 20 28 |ddlist).|       (|
|00004d50| 73 65 74 71 20 69 66 72 | 75 6c 65 73 20 28 63 64 |setq ifr|ules (cd|
|00004d60| 72 28 63 61 72 28 63 64 | 72 28 63 64 72 20 72 75 |r(car(cd|r(cdr ru|
|00004d70| 6c 65 29 29 29 29 29 0a | 20 20 20 20 20 20 20 28 |le))))).|       (|
|00004d80| 73 65 74 71 20 74 68 65 | 6e 6c 69 73 74 20 28 63 |setq the|nlist (c|
|00004d90| 64 72 28 63 61 72 28 63 | 64 72 28 63 64 72 28 63 |dr(car(c|dr(cdr(c|
|00004da0| 64 72 20 72 75 6c 65 29 | 29 29 29 29 29 0a 20 20 |dr rule)|))))).  |
|00004db0| 20 20 20 20 20 28 73 65 | 74 71 20 61 64 64 6c 69 |     (se|tq addli|
|00004dc0| 73 74 20 27 28 29 29 0a | 20 20 20 20 20 20 20 28 |st '()).|       (|
|00004dd0| 63 6f 6e 64 20 28 28 20 | 74 65 73 74 69 66 20 69 |cond (( |testif i|
|00004de0| 66 72 75 6c 65 73 29 0a | 09 20 20 20 20 20 20 28 |frules).|.      (|
|00004df0| 63 6f 6e 64 20 28 28 73 | 65 74 71 20 61 64 64 6c |cond ((s|etq addl|
|00004e00| 69 73 74 20 28 75 73 65 | 74 68 65 6e 20 74 68 65 |ist (use|then the|
|00004e10| 6e 6c 69 73 74 20 61 64 | 64 6c 69 73 74 29 29 0a |nlist ad|dlist)).|
|00004e20| 09 09 20 20 20 20 20 28 | 70 20 28 6c 69 73 74 20 |..     (|p (list |
|00004e30| 22 52 75 6c 65 20 22 20 | 28 63 61 72 28 63 64 72 |"Rule " |(car(cdr|
|00004e40| 20 72 75 6c 65 29 29 20 | 22 5c 6e 5c 74 44 65 64 | rule)) |"\n\tDed|
|00004e50| 75 63 65 64 20 22 20 61 | 64 64 6c 69 73 74 20 22 |uced " a|ddlist "|
|00004e60| 5c 6e 5c 6e 22 29 29 0a | 09 09 20 20 20 20 20 28 |\n\n")).|..     (|
|00004e70| 73 65 74 71 20 72 75 6c | 65 75 73 65 64 20 28 63 |setq rul|eused (c|
|00004e80| 6f 6e 73 20 72 75 6c 65 | 20 72 75 6c 65 75 73 65 |ons rule| ruleuse|
|00004e90| 64 29 29 0a 09 09 20 20 | 20 20 20 74 29 0a 09 09 |d))...  |   t)...|
|00004ea0| 20 20 20 20 28 74 20 28 | 29 29 29 29 0a 09 20 20 |    (t (|))))..  |
|00004eb0| 20 20 20 28 74 20 28 29 | 29 29 29 0a 0a 3b 20 73 |   (t ()|)))..; s|
|00004ec0| 74 65 70 20 74 68 72 6f | 75 67 68 20 6f 6e 65 20 |tep thro|ugh one |
|00004ed0| 69 74 65 72 61 74 69 6f | 6e 20 69 66 20 74 68 65 |iteratio|n if the|
|00004ee0| 20 66 6f 72 77 61 72 64 | 20 73 65 61 72 63 68 0a | forward| search.|
|00004ef0| 3b 20 6c 6f 6f 6b 69 6e | 67 20 66 6f 72 20 72 75 |; lookin|g for ru|
|00004f00| 6c 65 73 20 74 68 61 74 | 20 63 61 6e 20 62 65 20 |les that| can be |
|00004f10| 64 65 64 75 63 65 64 20 | 66 72 6f 6d 20 74 68 65 |deduced |from the|
|00004f20| 20 70 72 65 73 65 6e 74 | 20 66 61 63 74 20 64 61 | present| fact da|
|00004f30| 74 61 20 62 61 73 65 0a | 0a 28 64 65 66 75 6e 20 |ta base.|.(defun |
|00004f40| 73 74 65 70 66 6f 72 77 | 61 72 64 28 20 72 75 6c |stepforw|ard( rul|
|00004f50| 65 6c 69 73 74 29 0a 20 | 20 20 20 20 20 20 28 63 |elist). |      (c|
|00004f60| 6f 6e 64 28 28 6e 75 6c | 6c 20 72 75 6c 65 6c 69 |ond((nul|l ruleli|
|00004f70| 73 74 29 20 28 29 29 09 | 3b 20 61 6c 6c 20 64 6f |st) ()).|; all do|
|00004f80| 6e 65 0a 09 20 20 20 20 | 28 28 74 72 79 72 75 6c |ne..    |((tryrul|
|00004f90| 65 20 28 63 61 72 20 72 | 75 6c 65 6c 69 73 74 29 |e (car r|ulelist)|
|00004fa0| 29 20 74 29 0a 09 20 20 | 20 20 28 20 74 20 28 73 |) t)..  |  ( t (s|
|00004fb0| 74 65 70 66 6f 72 77 61 | 72 64 28 63 64 72 20 72 |tepforwa|rd(cdr r|
|00004fc0| 75 6c 65 6c 69 73 74 29 | 29 29 29 29 0a 0a 3b 20 |ulelist)|))))..; |
|00004fd0| 73 74 65 70 66 6f 72 77 | 61 72 64 20 75 6e 74 69 |stepforw|ard unti|
|00004fe0| 6c 20 79 6f 75 20 63 61 | 6e 6e 6f 74 20 67 6f 20 |l you ca|nnot go |
|00004ff0| 61 6e 79 20 66 75 72 74 | 68 65 72 0a 0a 28 64 65 |any furt|her..(de|
|00005000| 66 75 6e 20 64 65 64 75 | 63 65 28 29 0a 20 20 20 |fun dedu|ce().   |
|00005010| 20 20 20 28 63 6f 6e 64 | 28 28 73 74 65 70 66 6f |   (cond|((stepfo|
|00005020| 72 77 61 72 64 20 72 75 | 6c 65 73 29 20 28 64 65 |rward ru|les) (de|
|00005030| 64 75 63 65 29 29 0a 09 | 20 20 20 28 74 20 74 29 |duce))..|   (t t)|
|00005040| 29 29 0a 0a 3b 20 66 75 | 6e 63 74 69 6f 6e 20 74 |))..; fu|nction t|
|00005050| 6f 20 61 6e 73 77 65 72 | 20 69 66 20 61 20 66 61 |o answer| if a fa|
|00005060| 63 74 20 77 61 73 20 75 | 73 65 64 20 74 6f 20 63 |ct was u|sed to c|
|00005070| 6f 6d 65 20 74 6f 20 61 | 20 63 65 72 74 61 69 6e |ome to a| certain|
|00005080| 20 63 6f 6e 63 6c 75 73 | 69 6f 6e 0a 3b 20 75 73 | conclus|ion.; us|
|00005090| 65 73 20 74 68 65 20 72 | 75 6c 65 75 73 65 64 20 |es the r|uleused |
|000050a0| 6c 69 73 74 20 63 6f 6e | 73 27 65 64 20 62 79 20 |list con|s'ed by |
|000050b0| 74 72 79 72 75 6c 65 20 | 74 6f 20 61 6e 73 77 65 |tryrule |to answe|
|000050c0| 72 0a 0a 28 64 65 66 75 | 6e 20 75 73 65 64 70 28 |r..(defu|n usedp(|
|000050d0| 72 75 6c 65 29 0a 20 20 | 20 20 20 20 20 28 63 6f |rule).  |     (co|
|000050e0| 6e 64 20 28 28 6d 65 6d | 62 65 72 20 72 75 6c 65 |nd ((mem|ber rule|
|000050f0| 20 72 75 6c 65 75 73 65 | 64 29 20 74 29 09 3b 20 | ruleuse|d) t).; |
|00005100| 69 74 20 68 61 73 20 62 | 65 65 6e 20 75 73 65 64 |it has b|een used|
|00005110| 0a 09 20 20 20 20 20 28 | 74 20 28 29 20 29 29 29 |..     (|t () )))|
|00005120| 09 09 09 3b 20 6e 6f 20 | 69 74 20 68 61 73 6e 74 |...; no |it hasnt|
|00005130| 0a 0a 3b 20 66 75 6e 63 | 74 69 6f 6e 20 74 6f 20 |..; func|tion to |
|00005140| 61 6e 73 77 65 72 20 68 | 6f 77 20 61 20 66 61 63 |answer h|ow a fac|
|00005150| 74 20 77 61 73 20 64 65 | 64 75 63 65 64 0a 0a 28 |t was de|duced..(|
|00005160| 64 65 66 75 6e 20 68 6f | 77 28 66 61 63 74 29 0a |defun ho|w(fact).|
|00005170| 20 20 20 20 20 20 20 28 | 68 6f 77 32 20 66 61 63 |       (|how2 fac|
|00005180| 74 20 72 75 6c 65 75 73 | 65 64 20 6e 69 6c 29 29 |t ruleus|ed nil))|
|00005190| 0a 0a 28 64 65 66 75 6e | 20 68 6f 77 32 28 66 61 |..(defun| how2(fa|
|000051a0| 63 74 20 72 75 6c 69 73 | 74 20 66 6f 75 6e 64 29 |ct rulis|t found)|
|000051b0| 0a 20 20 20 20 20 20 20 | 28 63 6f 6e 64 20 28 28 |.       |(cond ((|
|000051c0| 6e 75 6c 6c 20 72 75 6c | 69 73 74 29 09 3b 20 69 |null rul|ist).; i|
|000051d0| 66 20 74 68 65 20 72 75 | 6c 65 20 6c 69 73 74 20 |f the ru|le list |
|000051e0| 65 78 68 61 75 73 74 65 | 64 0a 09 20 20 20 20 20 |exhauste|d..     |
|000051f0| 20 28 63 6f 6e 64 20 28 | 66 6f 75 6e 64 20 74 29 | (cond (|found t)|
|00005200| 20 20 20 3b 20 61 6c 72 | 65 61 64 79 20 61 6e 73 |   ; alr|eady ans|
|00005210| 77 65 72 65 64 20 74 68 | 65 20 71 75 65 73 74 69 |wered th|e questi|
|00005220| 6f 6e 20 72 65 74 75 72 | 6e 20 74 0a 09 09 20 20 |on retur|n t...  |
|00005230| 20 20 28 28 72 65 63 61 | 6c 6c 20 66 61 63 74 29 |  ((reca|ll fact)|
|00005240| 20 28 70 20 28 6c 69 73 | 74 20 66 61 63 74 20 22 | (p (lis|t fact "|
|00005250| 20 77 61 73 20 61 20 67 | 69 76 65 6e 20 66 61 63 | was a g|iven fac|
|00005260| 74 5c 6e 22 29 29 20 74 | 29 20 3b 6b 6e 6f 77 6e |t\n")) t|) ;known|
|00005270| 20 66 61 63 74 0a 09 09 | 20 20 20 20 28 74 20 28 | fact...|    (t (|
|00005280| 70 20 28 6c 69 73 74 20 | 66 61 63 74 20 22 20 2d |p (list |fact " -|
|00005290| 2d 20 6e 6f 74 20 61 20 | 66 61 63 74 21 5c 6e 22 |- not a |fact!\n"|
|000052a0| 29 29 20 28 29 29 29 29 | 0a 09 20 20 20 20 20 20 |)) ())))|..      |
|000052b0| 0a 09 20 20 20 20 20 20 | 28 28 6d 65 6d 62 65 72 |..      |((member|
|000052c0| 20 66 61 63 74 20 28 74 | 68 65 6e 70 61 72 74 20 | fact (t|henpart |
|000052d0| 28 63 61 72 20 72 75 6c | 69 73 74 29 29 29 20 09 |(car rul|ist))) .|
|000052e0| 3b 20 69 66 20 72 75 6c | 69 73 74 20 6e 6f 74 20 |; if rul|ist not |
|000052f0| 65 6d 70 74 79 0a 09 20 | 20 20 20 20 20 20 28 73 |empty.. |      (s|
|00005300| 65 74 71 20 66 6f 75 6e | 64 20 74 29 09 3b 20 61 |etq foun|d t).; a|
|00005310| 6e 64 20 66 61 63 74 20 | 62 65 6c 6f 6e 67 73 20 |nd fact |belongs |
|00005320| 74 6f 20 74 68 65 20 74 | 68 65 6e 20 70 61 72 74 |to the t|hen part|
|00005330| 20 6f 66 20 61 20 72 75 | 6c 65 0a 09 20 20 20 20 | of a ru|le..    |
|00005340| 20 20 20 28 70 20 28 6c | 69 73 74 20 66 61 63 74 |   (p (l|ist fact|
|00005350| 20 22 20 77 61 73 20 64 | 65 64 75 63 65 64 20 62 | " was d|educed b|
|00005360| 65 63 61 75 73 65 20 74 | 68 65 20 66 6f 6c 6c 6f |ecause t|he follo|
|00005370| 77 69 6e 67 20 77 65 72 | 65 20 74 72 75 65 5c 6e |wing wer|e true\n|
|00005380| 22 29 29 0a 09 20 20 20 | 20 20 20 20 28 70 72 69 |"))..   |    (pri|
|00005390| 6e 74 69 66 73 20 28 63 | 61 72 20 72 75 6c 69 73 |ntifs (c|ar rulis|
|000053a0| 74 29 29 0a 09 20 20 20 | 20 20 20 20 28 68 6f 77 |t))..   |    (how|
|000053b0| 32 20 66 61 63 74 20 28 | 63 64 72 20 72 75 6c 69 |2 fact (|cdr ruli|
|000053c0| 73 74 29 20 66 6f 75 6e | 64 29 29 0a 09 20 20 20 |st) foun|d))..   |
|000053d0| 20 20 20 28 74 20 28 68 | 6f 77 32 20 66 61 63 74 |   (t (h|ow2 fact|
|000053e0| 20 28 63 64 72 20 72 75 | 6c 69 73 74 29 20 66 6f | (cdr ru|list) fo|
|000053f0| 75 6e 64 29 29 29 29 0a | 0a 3b 20 66 75 6e 63 74 |und)))).|.; funct|
|00005400| 69 6f 6e 20 74 6f 20 72 | 65 74 75 72 6e 20 74 68 |ion to r|eturn th|
|00005410| 65 20 74 68 65 6e 20 70 | 61 72 74 20 6f 66 20 61 |e then p|art of a|
|00005420| 20 72 75 6c 65 0a 0a 28 | 64 65 66 75 6e 20 74 68 | rule..(|defun th|
|00005430| 65 6e 70 61 72 74 28 72 | 75 6c 65 29 0a 20 20 20 |enpart(r|ule).   |
|00005440| 20 20 20 20 28 63 64 72 | 28 63 61 72 28 63 64 72 |    (cdr|(car(cdr|
|00005450| 28 63 64 72 28 63 64 72 | 20 72 75 6c 65 29 29 29 |(cdr(cdr| rule)))|
|00005460| 29 29 29 0a 0a 3b 20 66 | 75 6e 63 74 69 6f 6e 20 |)))..; f|unction |
|00005470| 74 6f 20 70 72 69 6e 74 | 20 74 68 65 20 69 66 20 |to print| the if |
|00005480| 70 61 72 74 20 6f 66 20 | 61 20 67 69 76 65 6e 20 |part of |a given |
|00005490| 72 75 6c 65 0a 0a 28 64 | 65 66 75 6e 20 70 72 69 |rule..(d|efun pri|
|000054a0| 6e 74 69 66 73 28 72 75 | 6c 65 29 0a 20 20 20 20 |ntifs(ru|le).    |
|000054b0| 20 20 20 28 70 69 66 73 | 20 28 63 64 72 28 63 61 |   (pifs| (cdr(ca|
|000054c0| 72 28 63 64 72 28 63 64 | 72 20 72 75 6c 65 29 29 |r(cdr(cd|r rule))|
|000054d0| 29 29 29 29 0a 0a 28 64 | 65 66 75 6e 20 70 69 66 |))))..(d|efun pif|
|000054e0| 73 28 6c 29 0a 09 28 63 | 6f 6e 64 20 28 28 6e 75 |s(l)..(c|ond ((nu|
|000054f0| 6c 6c 20 6c 29 20 28 29 | 29 0a 09 20 20 20 20 20 |ll l) ()|)..     |
|00005500| 20 28 74 20 28 70 20 28 | 6c 69 73 74 20 22 5c 74 | (t (p (|list "\t|
|00005510| 22 20 28 63 61 72 20 6c | 29 20 22 5c 6e 22 29 29 |" (car l|) "\n"))|
|00005520| 0a 09 09 20 28 70 69 66 | 73 20 28 63 64 72 20 6c |... (pif|s (cdr l|
|00005530| 29 29 29 29 29 0a 0a 0a | 3b 20 69 6e 69 74 69 61 |)))))...|; initia|
|00005540| 6c 20 66 61 63 74 73 20 | 64 61 74 61 20 62 61 73 |l facts |data bas|
|00005550| 65 0a 3b 20 55 6e 63 6f | 6d 6d 65 6e 74 20 6f 6e |e.; Unco|mment on|
|00005560| 65 20 6f 72 20 6d 61 6b | 65 20 75 70 20 79 6f 75 |e or mak|e up you|
|00005570| 72 20 6f 77 6e 0a 3b 20 | 54 68 65 6e 20 72 75 6e |r own.; |Then run|
|00005580| 20 27 64 65 64 75 63 65 | 27 20 74 6f 20 66 69 6e | 'deduce|' to fin|
|00005590| 64 20 64 65 64 75 63 74 | 69 6f 6e 73 0a 3b 20 52 |d deduct|ions.; R|
|000055a0| 75 6e 20 27 68 6f 77 27 | 20 74 6f 20 66 69 6e 64 |un 'how'| to find|
|000055b0| 20 6f 75 74 20 68 6f 77 | 20 69 74 20 63 61 6d 65 | out how| it came|
|000055c0| 20 74 6f 20 61 20 63 65 | 72 74 61 69 6e 20 64 65 | to a ce|rtain de|
|000055d0| 64 75 63 74 69 6f 6e 0a | 0a 3b 28 73 65 74 71 20 |duction.|.;(setq |
|000055e0| 66 61 63 74 73 0a 3b 20 | 20 20 20 20 20 27 28 28 |facts.; |     '((|
|000055f0| 61 6e 69 6d 61 6c 20 68 | 61 73 20 64 61 72 6b 20 |animal h|as dark |
|00005600| 73 70 6f 74 73 29 0a 3b | 09 28 61 6e 69 6d 61 6c |spots).;|.(animal|
|00005610| 20 68 61 73 20 74 61 77 | 6e 79 20 63 6f 6c 6f 72 | has taw|ny color|
|00005620| 29 0a 3b 09 28 61 6e 69 | 6d 61 6c 20 65 61 74 73 |).;.(ani|mal eats|
|00005630| 20 6d 65 61 74 29 0a 3b | 09 28 61 6e 69 6d 61 6c | meat).;|.(animal|
|00005640| 20 68 61 73 20 68 61 69 | 72 29 29 29 0a 0a 28 73 | has hai|r)))..(s|
|00005650| 65 74 71 20 66 61 63 74 | 73 0a 20 20 20 20 20 20 |etq fact|s.      |
|00005660| 27 28 28 61 6e 69 6d 61 | 6c 20 68 61 73 20 68 61 |'((anima|l has ha|
|00005670| 69 72 29 0a 09 28 61 6e | 69 6d 61 6c 20 68 61 73 |ir)..(an|imal has|
|00005680| 20 70 6f 69 6e 74 65 64 | 20 74 65 65 74 68 29 0a | pointed| teeth).|
|00005690| 09 28 61 6e 69 6d 61 6c | 20 68 61 73 20 62 6c 61 |.(animal| has bla|
|000056a0| 63 6b 20 73 74 72 69 70 | 65 73 29 0a 09 28 61 6e |ck strip|es)..(an|
|000056b0| 69 6d 61 6c 20 68 61 73 | 20 63 6c 61 77 73 29 0a |imal has| claws).|
|000056c0| 09 28 61 6e 69 6d 61 6c | 20 68 61 73 20 66 6f 72 |.(animal| has for|
|000056d0| 77 61 72 64 20 65 79 65 | 73 29 0a 09 28 61 6e 69 |ward eye|s)..(ani|
|000056e0| 6d 61 6c 20 68 61 73 20 | 74 61 77 6e 79 20 63 6f |mal has |tawny co|
|000056f0| 6c 6f 72 29 29 29 0a 0a | 0a 28 73 65 74 71 20 72 |lor)))..|.(setq r|
|00005700| 6c 31 0a 20 20 20 20 20 | 20 09 27 28 72 75 6c 65 |l1.     | .'(rule|
|00005710| 20 69 64 65 6e 74 69 66 | 79 31 34 0a 09 20 20 20 | identif|y14..   |
|00005720| 20 20 20 28 69 66 20 28 | 61 6e 69 6d 61 6c 20 69 |   (if (|animal i|
|00005730| 73 20 62 69 72 64 29 0a | 09 09 20 20 28 61 6e 69 |s bird).|..  (ani|
|00005740| 6d 61 6c 20 64 6f 65 73 | 20 6e 6f 74 20 66 6c 79 |mal does| not fly|
|00005750| 29 0a 09 09 20 20 28 61 | 6e 69 6d 61 6c 20 73 77 |)...  (a|nimal sw|
|00005760| 69 6d 73 29 0a 09 09 20 | 20 28 61 6e 69 6d 61 6c |ims)... | (animal|
|00005770| 20 69 73 20 62 6c 61 63 | 6b 20 61 6e 64 20 77 68 | is blac|k and wh|
|00005780| 69 74 65 29 29 0a 09 20 | 20 20 20 20 20 28 74 68 |ite)).. |     (th|
|00005790| 65 6e 20 28 61 6e 69 6d | 61 6c 20 69 73 20 70 65 |en (anim|al is pe|
|000057a0| 6e 67 75 69 6e 29 29 29 | 29 0a 0a 28 73 65 74 71 |nguin)))|)..(setq|
|000057b0| 20 72 6c 32 0a 20 20 20 | 20 20 20 20 20 27 28 72 | rl2.   |     '(r|
|000057c0| 75 6c 65 20 69 64 65 6e | 74 69 66 79 31 30 0a 09 |ule iden|tify10..|
|000057d0| 20 20 20 20 20 20 28 69 | 66 20 28 61 6e 69 6d 61 |      (i|f (anima|
|000057e0| 6c 20 69 73 20 6d 61 6d | 6d 61 6c 29 0a 09 09 20 |l is mam|mal)... |
|000057f0| 20 28 61 6e 69 6d 61 6c | 20 69 73 20 63 61 72 6e | (animal| is carn|
|00005800| 69 76 6f 72 65 29 0a 09 | 09 20 20 28 61 6e 69 6d |ivore)..|.  (anim|
|00005810| 61 6c 20 68 61 73 20 74 | 61 77 6e 79 20 63 6f 6c |al has t|awny col|
|00005820| 6f 72 29 0a 09 09 20 20 | 28 61 6e 69 6d 61 6c 20 |or)...  |(animal |
|00005830| 68 61 73 20 62 6c 61 63 | 6b 20 73 74 72 69 70 65 |has blac|k stripe|
|00005840| 73 29 29 0a 09 20 20 20 | 20 20 20 28 74 68 65 6e |s))..   |   (then|
|00005850| 20 28 61 6e 69 6d 61 6c | 20 69 73 20 74 69 67 65 | (animal| is tige|
|00005860| 72 29 29 29 29 0a 0a 3b | 20 49 6e 69 74 69 61 6c |r))))..;| Initial|
|00005870| 69 7a 61 74 69 6f 6e 0a | 28 65 78 70 61 6e 64 20 |ization.|(expand |
|00005880| 31 30 29 0a 28 73 65 74 | 71 20 72 75 6c 65 75 73 |10).(set|q ruleus|
|00005890| 65 64 20 6e 69 6c 29 0a | 53 48 41 52 5f 45 4f 46 |ed nil).|SHAR_EOF|
|000058a0| 0a 66 69 20 23 20 65 6e | 64 20 6f 66 20 6f 76 65 |.fi # en|d of ove|
|000058b0| 72 77 72 69 74 69 6e 67 | 20 63 68 65 63 6b 0a 69 |rwriting| check.i|
|000058c0| 66 20 74 65 73 74 20 2d | 66 20 27 69 6e 69 74 2e |f test -|f 'init.|
|000058d0| 6c 73 70 27 0a 74 68 65 | 6e 0a 09 65 63 68 6f 20 |lsp'.the|n..echo |
|000058e0| 73 68 61 72 3a 20 77 69 | 6c 6c 20 6e 6f 74 20 6f |shar: wi|ll not o|
|000058f0| 76 65 72 2d 77 72 69 74 | 65 20 65 78 69 73 74 69 |ver-writ|e existi|
|00005900| 6e 67 20 66 69 6c 65 20 | 22 27 69 6e 69 74 2e 6c |ng file |"'init.l|
|00005910| 73 70 27 22 0a 65 6c 73 | 65 0a 63 61 74 20 3c 3c |sp'".els|e.cat <<|
|00005920| 20 5c 53 48 41 52 5f 45 | 4f 46 20 3e 20 27 69 6e | \SHAR_E|OF > 'in|
|00005930| 69 74 2e 6c 73 70 27 0a | 3b 20 69 6e 69 74 69 61 |it.lsp'.|; initia|
|00005940| 6c 69 7a 61 74 69 6f 6e | 20 66 69 6c 65 20 66 6f |lization| file fo|
|00005950| 72 20 58 4c 49 53 50 20 | 31 2e 36 0a 0a 3b 20 67 |r XLISP |1.6..; g|
|00005960| 65 74 20 73 6f 6d 65 20 | 6d 6f 72 65 20 6d 65 6d |et some |more mem|
|00005970| 6f 72 79 0a 28 65 78 70 | 61 6e 64 20 31 29 0a 0a |ory.(exp|and 1)..|
|00005980| 3b 20 73 6f 6d 65 20 66 | 61 6b 65 20 64 65 66 69 |; some f|ake defi|
|00005990| 6e 69 74 69 6f 6e 73 20 | 66 6f 72 20 43 6f 6d 6d |nitions |for Comm|
|000059a0| 6f 6e 20 4c 69 73 70 20 | 70 73 65 75 64 6f 20 63 |on Lisp |pseudo c|
|000059b0| 6f 6d 70 61 74 69 62 6c | 69 74 79 0a 28 73 65 74 |ompatibl|ity.(set|
|000059c0| 71 20 66 69 72 73 74 20 | 20 63 61 72 29 0a 28 73 |q first | car).(s|
|000059d0| 65 74 71 20 73 65 63 6f | 6e 64 20 63 61 64 72 29 |etq seco|nd cadr)|
|000059e0| 0a 28 73 65 74 71 20 72 | 65 73 74 20 20 20 63 64 |.(setq r|est   cd|
|000059f0| 72 29 0a 0a 3b 20 28 77 | 68 65 6e 20 74 65 73 74 |r)..; (w|hen test|
|00005a00| 20 63 6f 64 65 2e 2e 2e | 29 20 2d 20 65 78 65 63 | code...|) - exec|
|00005a10| 75 74 65 20 63 6f 64 65 | 20 77 68 65 6e 20 74 65 |ute code| when te|
|00005a20| 73 74 20 69 73 20 74 72 | 75 65 0a 28 64 65 66 6d |st is tr|ue.(defm|
|00005a30| 61 63 72 6f 20 77 68 65 | 6e 20 28 74 65 73 74 20 |acro whe|n (test |
|00005a40| 26 72 65 73 74 20 63 6f | 64 65 29 0a 20 20 20 20 |&rest co|de).    |
|00005a50| 20 20 20 20 20 20 60 28 | 63 6f 6e 64 20 28 2c 74 |      `(|cond (,t|
|00005a60| 65 73 74 20 2c 40 63 6f | 64 65 29 29 29 0a 0a 3b |est ,@co|de)))..;|
|00005a70| 20 28 75 6e 6c 65 73 73 | 20 74 65 73 74 20 63 6f | (unless| test co|
|00005a80| 64 65 2e 2e 2e 29 20 2d | 20 65 78 65 63 75 74 65 |de...) -| execute|
|00005a90| 20 63 6f 64 65 20 75 6e | 6c 65 73 73 20 74 65 73 | code un|less tes|
|00005aa0| 74 20 69 73 20 74 72 75 | 65 0a 28 64 65 66 6d 61 |t is tru|e.(defma|
|00005ab0| 63 72 6f 20 75 6e 6c 65 | 73 73 20 28 74 65 73 74 |cro unle|ss (test|
|00005ac0| 20 26 72 65 73 74 20 63 | 6f 64 65 29 0a 20 20 20 | &rest c|ode).   |
|00005ad0| 20 20 20 20 20 20 20 60 | 28 63 6f 6e 64 20 28 28 |       `|(cond ((|
|00005ae0| 6e 6f 74 20 2c 74 65 73 | 74 29 20 2c 40 63 6f 64 |not ,tes|t) ,@cod|
|00005af0| 65 29 29 29 0a 0a 3b 20 | 28 6d 61 6b 75 6e 62 6f |e)))..; |(makunbo|
|00005b00| 75 6e 64 20 73 79 6d 29 | 20 2d 20 6d 61 6b 65 20 |und sym)| - make |
|00005b10| 61 20 73 79 6d 62 6f 6c | 20 62 65 20 75 6e 62 6f |a symbol| be unbo|
|00005b20| 75 6e 64 0a 28 64 65 66 | 75 6e 20 6d 61 6b 75 6e |und.(def|un makun|
|00005b30| 62 6f 75 6e 64 20 28 73 | 79 6d 29 20 28 73 65 74 |bound (s|ym) (set|
|00005b40| 71 20 73 79 6d 20 27 2a | 75 6e 62 6f 75 6e 64 2a |q sym '*|unbound*|
|00005b50| 29 20 73 79 6d 29 0a 0a | 3b 20 28 6f 62 6a 65 63 |) sym)..|; (objec|
|00005b60| 74 70 20 65 78 70 72 29 | 20 2d 20 6f 62 6a 65 63 |tp expr)| - objec|
|00005b70| 74 20 70 72 65 64 69 63 | 61 74 65 0a 28 64 65 66 |t predic|ate.(def|
|00005b80| 75 6e 20 6f 62 6a 65 63 | 74 70 20 28 78 29 20 28 |un objec|tp (x) (|
|00005b90| 65 71 20 28 74 79 70 65 | 2d 6f 66 20 78 29 20 3a |eq (type|-of x) :|
|00005ba0| 4f 42 4a 45 43 54 29 29 | 0a 0a 3b 20 28 66 69 6c |OBJECT))|..; (fil|
|00005bb0| 65 70 20 65 78 70 72 29 | 20 2d 20 66 69 6c 65 20 |ep expr)| - file |
|00005bc0| 70 72 65 64 69 63 61 74 | 65 0a 28 64 65 66 75 6e |predicat|e.(defun|
|00005bd0| 20 66 69 6c 65 70 20 28 | 78 29 20 28 65 71 20 28 | filep (|x) (eq (|
|00005be0| 74 79 70 65 2d 6f 66 20 | 78 29 20 3a 46 49 4c 45 |type-of |x) :FILE|
|00005bf0| 29 29 0a 0a 3b 20 28 75 | 6e 69 6e 74 65 72 6e 20 |))..; (u|nintern |
|00005c00| 73 79 6d 29 20 2d 20 72 | 65 6d 6f 76 65 20 61 20 |sym) - r|emove a |
|00005c10| 73 79 6d 62 6f 6c 20 66 | 72 6f 6d 20 74 68 65 20 |symbol f|rom the |
|00005c20| 6f 62 6c 69 73 74 0a 28 | 64 65 66 75 6e 20 75 6e |oblist.(|defun un|
|00005c30| 69 6e 74 65 72 6e 20 28 | 73 79 6d 29 20 28 63 6f |intern (|sym) (co|
|00005c40| 6e 64 20 28 28 6d 65 6d | 62 65 72 20 73 79 6d 20 |nd ((mem|ber sym |
|00005c50| 2a 6f 62 6c 69 73 74 2a | 29 0a 20 20 20 20 20 20 |*oblist*|).      |
|00005c60| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00005c70| 20 20 20 20 20 20 20 28 | 73 65 74 71 20 2a 6f 62 |       (|setq *ob|
|00005c80| 6c 69 73 74 2a 20 28 64 | 65 6c 65 74 65 20 73 79 |list* (d|elete sy|
|00005c90| 6d 20 2a 6f 62 6c 69 73 | 74 2a 29 29 0a 20 20 20 |m *oblis|t*)).   |
|00005ca0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00005cb0| 20 20 20 20 20 20 20 20 | 20 20 74 29 0a 20 20 20 |        |  t).   |
|00005cc0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00005cd0| 20 20 20 20 20 20 20 20 | 20 28 74 20 6e 69 6c 29 |        | (t nil)|
|00005ce0| 29 29 0a 0a 3b 20 28 6d | 61 70 63 61 6e 20 66 75 |))..; (m|apcan fu|
|00005cf0| 6e 20 6c 69 73 74 20 5b | 20 6c 69 73 74 20 5d 2e |n list [| list ].|
|00005d00| 2e 2e 29 0a 28 64 65 66 | 6d 61 63 72 6f 20 6d 61 |..).(def|macro ma|
|00005d10| 70 63 61 6e 20 28 26 72 | 65 73 74 20 61 72 67 73 |pcan (&r|est args|
|00005d20| 29 20 60 28 61 70 70 6c | 79 20 23 27 6e 63 6f 6e |) `(appl|y #'ncon|
|00005d30| 63 20 28 6d 61 70 63 61 | 72 20 2c 40 61 72 67 73 |c (mapca|r ,@args|
|00005d40| 29 29 29 0a 0a 3b 20 28 | 6d 61 70 63 6f 6e 20 66 |)))..; (|mapcon f|
|00005d50| 75 6e 20 6c 69 73 74 20 | 5b 20 6c 69 73 74 20 5d |un list |[ list ]|
|00005d60| 2e 2e 2e 29 0a 28 64 65 | 66 6d 61 63 72 6f 20 6d |...).(de|fmacro m|
|00005d70| 61 70 63 6f 6e 20 28 26 | 72 65 73 74 20 61 72 67 |apcon (&|rest arg|
|00005d80| 73 29 20 60 28 61 70 70 | 6c 79 20 23 27 6e 63 6f |s) `(app|ly #'nco|
|00005d90| 6e 63 20 28 6d 61 70 6c | 69 73 74 20 2c 40 61 72 |nc (mapl|ist ,@ar|
|00005da0| 67 73 29 29 29 0a 0a 3b | 20 28 73 65 74 2d 6d 61 |gs)))..;| (set-ma|
|00005db0| 63 72 6f 2d 63 68 61 72 | 61 63 74 65 72 20 63 68 |cro-char|acter ch|
|00005dc0| 20 66 75 6e 20 5b 20 74 | 66 6c 61 67 20 5d 29 0a | fun [ t|flag ]).|
|00005dd0| 28 64 65 66 75 6e 20 73 | 65 74 2d 6d 61 63 72 6f |(defun s|et-macro|
|00005de0| 2d 63 68 61 72 61 63 74 | 65 72 20 28 63 68 20 66 |-charact|er (ch f|
|00005df0| 75 6e 20 26 6f 70 74 69 | 6f 6e 61 6c 20 74 66 6c |un &opti|onal tfl|
|00005e00| 61 67 29 0a 20 20 20 20 | 28 73 65 74 66 20 28 61 |ag).    |(setf (a|
|00005e10| 72 65 66 20 2a 72 65 61 | 64 74 61 62 6c 65 2a 20 |ref *rea|dtable* |
|00005e20| 63 68 29 20 28 63 6f 6e | 73 20 28 69 66 20 74 66 |ch) (con|s (if tf|
|00005e30| 6c 61 67 20 3a 74 6d 61 | 63 72 6f 20 3a 6e 6d 61 |lag :tma|cro :nma|
|00005e40| 63 72 6f 29 20 66 75 6e | 29 29 0a 20 20 20 20 74 |cro) fun|)).    t|
|00005e50| 29 0a 0a 3b 20 28 67 65 | 74 2d 6d 61 63 72 6f 2d |)..; (ge|t-macro-|
|00005e60| 63 68 61 72 61 63 74 65 | 72 20 63 68 29 0a 28 64 |characte|r ch).(d|
|00005e70| 65 66 75 6e 20 67 65 74 | 2d 6d 61 63 72 6f 2d 63 |efun get|-macro-c|
|00005e80| 68 61 72 61 63 74 65 72 | 20 28 63 68 29 0a 20 20 |haracter| (ch).  |
|00005e90| 28 69 66 20 28 63 6f 6e | 73 70 20 28 61 72 65 66 |(if (con|sp (aref|
|00005ea0| 20 2a 72 65 61 64 74 61 | 62 6c 65 2a 20 63 68 29 | *readta|ble* ch)|
|00005eb0| 29 0a 20 20 20 20 28 63 | 64 72 20 28 61 72 65 66 |).    (c|dr (aref|
|00005ec0| 20 2a 72 65 61 64 74 61 | 62 6c 65 2a 20 63 68 29 | *readta|ble* ch)|
|00005ed0| 29 0a 20 20 20 20 6e 69 | 6c 29 29 0a 0a 3b 20 28 |).    ni|l))..; (|
|00005ee0| 73 61 76 65 20 66 75 6e | 29 20 2d 20 73 61 76 65 |save fun|) - save|
|00005ef0| 20 61 20 66 75 6e 63 74 | 69 6f 6e 20 64 65 66 69 | a funct|ion defi|
|00005f00| 6e 69 74 69 6f 6e 20 74 | 6f 20 61 20 66 69 6c 65 |nition t|o a file|
|00005f10| 0a 28 64 65 66 6d 61 63 | 72 6f 20 73 61 76 65 20 |.(defmac|ro save |
|00005f20| 28 66 75 6e 29 0a 20 20 | 20 20 20 20 20 20 20 60 |(fun).  |       `|
|00005f30| 28 6c 65 74 2a 20 28 28 | 66 6e 61 6d 65 20 28 73 |(let* ((|fname (s|
|00005f40| 74 72 63 61 74 20 28 73 | 79 6d 62 6f 6c 2d 6e 61 |trcat (s|ymbol-na|
|00005f50| 6d 65 20 27 2c 66 75 6e | 29 20 22 2e 6c 73 70 22 |me ',fun|) ".lsp"|
|00005f60| 29 29 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |)).     |        |
|00005f70| 20 20 20 20 28 66 76 61 | 6c 20 28 63 61 72 20 2c |    (fva|l (car ,|
|00005f80| 66 75 6e 29 29 0a 20 20 | 20 20 20 20 20 20 20 20 |fun)).  |        |
|00005f90| 20 20 20 20 20 20 20 28 | 66 70 20 28 6f 70 65 6e |       (|fp (open|
|00005fa0| 6f 20 66 6e 61 6d 65 29 | 29 29 0a 20 20 20 20 20 |o fname)|)).     |
|00005fb0| 20 20 20 20 20 20 20 20 | 20 20 20 28 63 6f 6e 64 |        |   (cond|
|00005fc0| 20 28 66 70 20 28 70 72 | 69 6e 74 20 28 63 6f 6e | (fp (pr|int (con|
|00005fd0| 73 20 28 69 66 20 28 65 | 71 20 28 63 61 72 20 66 |s (if (e|q (car f|
|00005fe0| 76 61 6c 29 20 27 6c 61 | 6d 62 64 61 29 0a 20 20 |val) 'la|mbda).  |
|00005ff0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00006000| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00006010| 20 20 20 20 20 20 20 20 | 20 27 64 65 66 75 6e 0a |        | 'defun.|
|00006020| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00006030| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00006040| 20 20 20 20 20 20 20 20 | 20 20 20 27 64 65 66 6d |        |   'defm|
|00006050| 61 63 72 6f 29 0a 20 20 | 20 20 20 20 20 20 20 20 |acro).  |        |
|00006060| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00006070| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 28 63 6f |        |     (co|
|00006080| 6e 73 20 27 2c 66 75 6e | 20 28 63 64 72 20 66 76 |ns ',fun| (cdr fv|
|00006090| 61 6c 29 29 29 20 66 70 | 29 0a 20 20 20 20 20 20 |al))) fp|).      |
|000060a0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000060b0| 20 20 20 20 28 63 6c 6f | 73 65 20 66 70 29 0a 20 |    (clo|se fp). |
|000060c0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000060d0| 20 20 20 20 20 20 20 20 | 20 66 6e 61 6d 65 29 0a |        | fname).|
|000060e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|000060f0| 20 20 20 20 20 20 28 74 | 20 6e 69 6c 29 29 29 29 |      (t| nil))))|
|00006100| 0a 0a 3b 20 28 64 65 62 | 75 67 29 20 2d 20 65 6e |..; (deb|ug) - en|
|00006110| 61 62 6c 65 20 64 65 62 | 75 67 20 62 72 65 61 6b |able deb|ug break|
|00006120| 73 0a 28 64 65 66 75 6e | 20 64 65 62 75 67 20 28 |s.(defun| debug (|
|00006130| 29 0a 20 20 20 20 20 20 | 20 28 73 65 74 71 20 2a |).      | (setq *|
|00006140| 62 72 65 61 6b 65 6e 61 | 62 6c 65 2a 20 74 29 29 |breakena|ble* t))|
|00006150| 0a 0a 3b 20 28 6e 6f 64 | 65 62 75 67 29 20 2d 20 |..; (nod|ebug) - |
|00006160| 64 69 73 61 62 6c 65 20 | 64 65 62 75 67 20 62 72 |disable |debug br|
|00006170| 65 61 6b 73 0a 28 64 65 | 66 75 6e 20 6e 6f 64 65 |eaks.(de|fun node|
|00006180| 62 75 67 20 28 29 0a 20 | 20 20 20 20 20 20 28 73 |bug (). |      (s|
|00006190| 65 74 71 20 2a 62 72 65 | 61 6b 65 6e 61 62 6c 65 |etq *bre|akenable|
|000061a0| 2a 20 6e 69 6c 29 29 0a | 0a 3b 20 69 6e 69 74 69 |* nil)).|.; initi|
|000061b0| 61 6c 69 7a 65 20 74 6f | 20 65 6e 61 62 6c 65 20 |alize to| enable |
|000061c0| 62 72 65 61 6b 73 20 62 | 75 74 20 6e 6f 20 74 72 |breaks b|ut no tr|
|000061d0| 61 63 65 20 62 61 63 6b | 0a 28 73 65 74 71 20 2a |ace back|.(setq *|
|000061e0| 62 72 65 61 6b 65 6e 61 | 62 6c 65 2a 20 74 29 0a |breakena|ble* t).|
|000061f0| 28 73 65 74 71 20 2a 74 | 72 61 63 65 6e 61 62 6c |(setq *t|racenabl|
|00006200| 65 2a 20 6e 69 6c 29 0a | 0a 53 48 41 52 5f 45 4f |e* nil).|.SHAR_EO|
|00006210| 46 0a 66 69 20 23 20 65 | 6e 64 20 6f 66 20 6f 76 |F.fi # e|nd of ov|
|00006220| 65 72 77 72 69 74 69 6e | 67 20 63 68 65 63 6b 0a |erwritin|g check.|
|00006230| 69 66 20 74 65 73 74 20 | 2d 66 20 27 6f 62 6a 65 |if test |-f 'obje|
|00006240| 63 74 2e 6c 73 70 27 0a | 74 68 65 6e 0a 09 65 63 |ct.lsp'.|then..ec|
|00006250| 68 6f 20 73 68 61 72 3a | 20 77 69 6c 6c 20 6e 6f |ho shar:| will no|
|00006260| 74 20 6f 76 65 72 2d 77 | 72 69 74 65 20 65 78 69 |t over-w|rite exi|
|00006270| 73 74 69 6e 67 20 66 69 | 6c 65 20 22 27 6f 62 6a |sting fi|le "'obj|
|00006280| 65 63 74 2e 6c 73 70 27 | 22 0a 65 6c 73 65 0a 63 |ect.lsp'|".else.c|
|00006290| 61 74 20 3c 3c 20 5c 53 | 48 41 52 5f 45 4f 46 20 |at << \S|HAR_EOF |
|000062a0| 3e 20 27 6f 62 6a 65 63 | 74 2e 6c 73 70 27 0a 3b |> 'objec|t.lsp'.;|
|000062b0| 20 54 68 69 73 20 69 73 | 20 61 6e 20 65 78 61 6d | This is| an exam|
|000062c0| 70 6c 65 20 75 73 69 6e | 67 20 74 68 65 20 6f 62 |ple usin|g the ob|
|000062d0| 6a 65 63 74 2d 6f 72 69 | 65 6e 74 65 64 20 70 72 |ject-ori|ented pr|
|000062e0| 6f 67 72 61 6d 6d 69 6e | 67 20 73 75 70 70 6f 72 |ogrammin|g suppor|
|000062f0| 74 20 69 6e 0a 3b 20 58 | 4c 49 53 50 2e 20 20 54 |t in.; X|LISP.  T|
|00006300| 68 65 20 65 78 61 6d 70 | 6c 65 20 69 6e 76 6f 6c |he examp|le invol|
|00006310| 76 65 73 20 64 65 66 69 | 6e 69 6e 67 20 61 20 63 |ves defi|ning a c|
|00006320| 6c 61 73 73 20 6f 66 20 | 6f 62 6a 65 63 74 73 20 |lass of |objects |
|00006330| 72 65 70 72 65 73 65 6e | 74 69 6e 67 0a 3b 20 64 |represen|ting.; d|
|00006340| 69 63 74 69 6f 6e 61 72 | 69 65 73 2e 20 20 45 61 |ictionar|ies.  Ea|
|00006350| 63 68 20 69 6e 73 74 61 | 6e 63 65 20 6f 66 20 74 |ch insta|nce of t|
|00006360| 68 69 73 20 63 6c 61 73 | 73 20 77 69 6c 6c 20 62 |his clas|s will b|
|00006370| 65 20 61 20 64 69 63 74 | 69 6f 6e 61 72 79 20 69 |e a dict|ionary i|
|00006380| 6e 0a 3b 20 77 68 69 63 | 68 20 6e 61 6d 65 73 20 |n.; whic|h names |
|00006390| 61 6e 64 20 76 61 6c 75 | 65 73 20 63 61 6e 20 62 |and valu|es can b|
|000063a0| 65 20 73 74 6f 72 65 64 | 2e 20 20 54 68 65 72 65 |e stored|.  There|
|000063b0| 20 77 69 6c 6c 20 61 6c | 73 6f 20 62 65 20 61 20 | will al|so be a |
|000063c0| 66 61 63 69 6c 69 74 79 | 0a 3b 20 66 6f 72 20 66 |facility|.; for f|
|000063d0| 69 6e 64 69 6e 67 20 74 | 68 65 20 76 61 6c 75 65 |inding t|he value|
|000063e0| 73 20 61 73 73 6f 63 69 | 61 74 65 64 20 77 69 74 |s associ|ated wit|
|000063f0| 68 20 6e 61 6d 65 73 20 | 61 66 74 65 72 20 74 68 |h names |after th|
+--------+-------------------------+-------------------------+--------+--------+