home *** CD-ROM | disk | FTP | other *** search
view JSON data
|
view as text
|
open on a Mac
|
open on a PC
This file was processed as: SHell self-extracting ARchive
(archive/shar).
You can browse this item here: 49
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| Newsgroup Content (archive/news)
| magic
| Supported |
| 100%
| dexvert
| SHell self-extracting ARchive (archive/shar)
| magic
| Supported |
| 100%
| dexvert
| Internet Message Format (text/imf)
| magic
| Supported |
| 1%
| dexvert
| Texas Instruments Calculator Program (executable/tiCalcProgram)
| magic
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| news or mail text
| default
| |
| 99%
| file
| Lisp/Scheme program text
| default
| |
| 98%
| file
| Lisp/Scheme program, ASCII text
| default
| |
| 100%
| TrID
| E-Mail message (Var. 2)
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/329 Shell Archive Format
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| message/rfc822
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 3a 20 6d 69 | 6b 65 40 79 65 74 74 69 |From: mi|ke@yetti|
|00000010| 2e 55 55 43 50 20 28 4d | 69 6b 65 20 43 6c 61 72 |.UUCP (M|ike Clar|
|00000020| 6b 73 6f 6e 20 29 0a 4e | 65 77 73 67 72 6f 75 70 |kson ).N|ewsgroup|
|00000030| 73 3a 20 63 6f 6d 70 2e | 73 6f 75 72 63 65 73 2e |s: comp.|sources.|
|00000040| 6d 69 73 63 0a 53 75 62 | 6a 65 63 74 3a 20 47 61 |misc.Sub|ject: Ga|
|00000050| 62 72 69 65 6c 20 42 65 | 6e 63 68 6d 61 72 6b 73 |briel Be|nchmarks|
|00000060| 20 69 6e 20 43 6f 6d 6d | 6f 6e 20 4c 69 73 70 0a | in Comm|on Lisp.|
|00000070| 4d 65 73 73 61 67 65 2d | 49 44 3a 20 3c 32 39 32 |Message-|ID: <292|
|00000080| 38 40 6e 63 6f 61 73 74 | 2e 55 55 43 50 3e 0a 44 |8@ncoast|.UUCP>.D|
|00000090| 61 74 65 3a 20 31 37 20 | 4a 75 6c 20 38 37 20 32 |ate: 17 |Jul 87 2|
|000000a0| 32 3a 32 37 3a 33 31 20 | 47 4d 54 0a 53 65 6e 64 |2:27:31 |GMT.Send|
|000000b0| 65 72 3a 20 61 6c 6c 62 | 65 72 79 40 6e 63 6f 61 |er: allb|ery@ncoa|
|000000c0| 73 74 2e 55 55 43 50 0a | 4f 72 67 61 6e 69 7a 61 |st.UUCP.|Organiza|
|000000d0| 74 69 6f 6e 3a 20 59 6f | 72 6b 20 55 6e 69 76 65 |tion: Yo|rk Unive|
|000000e0| 72 73 69 74 79 20 43 6f | 6d 70 75 74 65 72 20 53 |rsity Co|mputer S|
|000000f0| 63 69 65 6e 63 65 0a 4c | 69 6e 65 73 3a 20 32 37 |cience.L|ines: 27|
|00000100| 34 33 0a 41 70 70 72 6f | 76 65 64 3a 20 61 6c 6c |43.Appro|ved: all|
|00000110| 62 65 72 79 40 6e 63 6f | 61 73 74 2e 55 55 43 50 |bery@nco|ast.UUCP|
|00000120| 0a 58 2d 41 72 63 68 69 | 76 65 3a 20 63 6f 6d 70 |.X-Archi|ve: comp|
|00000130| 2e 73 6f 75 72 63 65 73 | 2e 6d 69 73 63 2f 38 37 |.sources|.misc/87|
|00000140| 30 37 2f 34 39 0a 0a 45 | 6e 63 6c 6f 73 65 64 20 |07/49..E|nclosed |
|00000150| 61 72 65 20 74 68 65 20 | 47 61 62 72 69 65 6c 20 |are the |Gabriel |
|00000160| 62 65 6e 63 68 6d 61 72 | 6b 73 20 66 6f 72 20 43 |benchmar|ks for C|
|00000170| 6f 6d 6d 6f 6e 20 4c 69 | 73 70 2c 20 77 68 69 63 |ommon Li|sp, whic|
|00000180| 68 20 77 65 72 65 20 6b | 69 6e 64 6c 79 0a 73 65 |h were k|indly.se|
|00000190| 6e 74 20 74 6f 20 6d 65 | 20 62 79 20 53 74 61 6e |nt to me| by Stan|
|000001a0| 20 53 68 65 62 73 20 61 | 74 20 55 74 61 68 2e 20 | Shebs a|t Utah. |
|000001b0| 20 49 20 68 61 76 65 20 | 63 6f 6d 70 69 6c 65 64 | I have |compiled|
|000001c0| 20 74 68 65 6d 20 75 6e | 64 65 72 20 4c 75 63 69 | them un|der Luci|
|000001d0| 64 0a 61 6e 64 20 44 65 | 63 20 43 6f 6d 6d 6f 6e |d.and De|c Common|
|000001e0| 20 4c 69 73 70 20 77 69 | 74 68 6f 75 74 20 61 6e | Lisp wi|thout an|
|000001f0| 79 20 70 72 6f 62 6c 65 | 6d 2e 20 20 49 66 20 79 |y proble|m. If y|
|00000200| 6f 75 20 64 6f 6e 27 74 | 20 68 61 76 65 20 61 20 |ou don't| have a |
|00000210| 63 6f 70 79 20 6f 66 0a | 47 61 62 72 69 65 6c 27 |copy of.|Gabriel'|
|00000220| 73 20 62 6f 6f 6b 20 6f | 6e 20 74 68 65 20 73 75 |s book o|n the su|
|00000230| 62 6a 65 63 74 2c 20 79 | 6f 75 20 73 68 6f 75 6c |bject, y|ou shoul|
|00000240| 64 20 70 69 63 6b 20 75 | 70 20 61 20 63 6f 70 79 |d pick u|p a copy|
|00000250| 3a 0a 0a 52 69 63 68 61 | 72 64 20 50 2e 20 47 61 |:..Richa|rd P. Ga|
|00000260| 62 72 69 65 6c 2c 0a 50 | 65 72 66 6f 72 6d 61 6e |briel,.P|erforman|
|00000270| 63 65 20 61 6e 64 20 45 | 76 61 6c 75 61 74 69 6f |ce and E|valuatio|
|00000280| 6e 20 6f 66 20 4c 69 73 | 70 20 53 79 73 74 65 6d |n of Lis|p System|
|00000290| 73 2c 0a 4d 49 54 20 50 | 72 65 73 73 2c 20 31 39 |s,.MIT P|ress, 19|
|000002a0| 38 35 2e 0a 49 53 42 4e | 20 30 2d 32 36 32 2d 30 |85..ISBN| 0-262-0|
|000002b0| 37 30 39 33 2d 36 0a 0a | 49 20 77 6f 75 6c 64 20 |7093-6..|I would |
|000002c0| 62 65 20 69 6e 74 65 72 | 65 73 74 65 64 20 69 6e |be inter|ested in|
|000002d0| 20 68 65 61 72 69 6e 67 | 20 66 72 6f 6d 20 79 6f | hearing| from yo|
|000002e0| 75 20 77 69 74 68 20 61 | 6e 79 20 72 65 73 75 6c |u with a|ny resul|
|000002f0| 74 73 20 66 72 6f 6d 20 | 74 68 65 20 0a 62 65 6e |ts from |the .ben|
|00000300| 63 68 6d 61 72 6b 20 73 | 75 69 74 65 73 2c 20 6f |chmark s|uites, o|
|00000310| 72 20 6f 66 20 74 72 61 | 6e 73 6c 61 74 69 6f 6e |r of tra|nslation|
|00000320| 73 20 69 6e 74 6f 20 64 | 69 66 66 65 72 65 6e 74 |s into d|ifferent|
|00000330| 20 64 69 61 6c 65 63 74 | 73 20 6f 66 20 4c 69 73 | dialect|s of Lis|
|00000340| 70 2c 0a 6d 6f 73 74 20 | 6e 6f 74 61 62 6c 79 20 |p,.most |notably |
|00000350| 46 72 61 6e 7a 2c 20 6f | 72 20 53 63 68 65 6d 65 |Franz, o|r Scheme|
|00000360| 2e 0a 0a 4d 69 6b 65 20 | 43 6c 61 72 6b 73 6f 6e |...Mike |Clarkson|
|00000370| 2c 09 09 20 20 2e 2e 2e | 21 61 6c 6c 65 67 72 61 |,.. ...|!allegra|
|00000380| 20 5c 09 09 09 42 49 54 | 4e 45 54 3a 09 53 59 4d | \...BIT|NET:.SYM|
|00000390| 41 4c 47 40 59 55 53 4f | 4c 20 6f 72 0a 43 52 45 |ALG@YUSO|L or.CRE|
|000003a0| 53 53 2c 20 59 6f 72 6b | 20 55 6e 69 76 65 72 73 |SS, York| Univers|
|000003b0| 69 74 79 2c 09 20 20 2e | 2e 2e 21 64 65 63 76 61 |ity,. .|..!decva|
|000003c0| 78 20 20 20 5c 09 09 09 | 6d 69 6b 65 40 59 55 59 |x \...|mike@YUY|
|000003d0| 45 54 54 49 0a 34 37 30 | 30 20 4b 65 65 6c 65 20 |ETTI.470|0 Keele |
|000003e0| 53 74 72 65 65 74 2c 09 | 20 20 2e 2e 2e 21 69 68 |Street,.| ...!ih|
|000003f0| 6e 70 34 20 20 20 20 20 | 3e 20 21 75 74 7a 6f 6f |np4 |> !utzoo|
|00000400| 21 79 65 74 74 69 21 6d | 69 6b 65 0a 4e 6f 72 74 |!yetti!m|ike.Nort|
|00000410| 68 20 59 6f 72 6b 2c 20 | 4f 6e 74 61 72 69 6f 2c |h York, |Ontario,|
|00000420| 09 20 20 2e 2e 2e 21 6c | 69 6e 75 73 20 20 20 20 |. ...!l|inus |
|00000430| 2f 09 09 20 20 20 20 20 | 0a 43 41 4e 41 44 41 20 |/.. |.CANADA |
|00000440| 4d 33 4a 20 31 50 33 2e | 09 09 20 20 2e 2e 2e 21 |M3J 1P3.|.. ...!|
|00000450| 77 61 74 6d 61 74 68 20 | 2f 09 09 50 68 6f 6e 65 |watmath |/..Phone|
|00000460| 3a 20 2b 31 20 28 34 31 | 36 29 20 37 33 36 2d 32 |: +1 (41|6) 736-2|
|00000470| 31 30 30 20 78 20 37 37 | 36 37 0a 0a 4c 6f 6e 67 |100 x 77|67..Long|
|00000480| 20 4c 69 76 65 20 74 68 | 65 20 41 6c 62 69 67 65 | Live th|e Albige|
|00000490| 6e 73 69 61 6e 20 48 65 | 72 65 73 79 21 0a 2d 2d |nsian He|resy!.--|
|000004a0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|000004b0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 20 63 |--------|------ c|
|000004c0| 75 74 20 68 65 72 65 20 | 2d 2d 2d 2d 2d 2d 2d 2d |ut here |--------|
|000004d0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|000004e0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 0a 23 21 20 |--------|----.#! |
|000004f0| 2f 62 69 6e 2f 73 68 0a | 23 20 54 68 69 73 20 69 |/bin/sh.|# This i|
|00000500| 73 20 61 20 73 68 65 6c | 6c 20 61 72 63 68 69 76 |s a shel|l archiv|
|00000510| 65 2c 20 6d 65 61 6e 69 | 6e 67 3a 0a 23 20 31 2e |e, meani|ng:.# 1.|
|00000520| 20 52 65 6d 6f 76 65 20 | 65 76 65 72 79 74 68 69 | Remove |everythi|
|00000530| 6e 67 20 61 62 6f 76 65 | 20 74 68 65 20 23 21 20 |ng above| the #! |
|00000540| 2f 62 69 6e 2f 73 68 20 | 6c 69 6e 65 2e 0a 23 20 |/bin/sh |line..# |
|00000550| 32 2e 20 53 61 76 65 20 | 74 68 65 20 72 65 73 75 |2. Save |the resu|
|00000560| 6c 74 69 6e 67 20 74 65 | 78 74 20 69 6e 20 61 20 |lting te|xt in a |
|00000570| 66 69 6c 65 2e 0a 23 20 | 33 2e 20 45 78 65 63 75 |file..# |3. Execu|
|00000580| 74 65 20 74 68 65 20 66 | 69 6c 65 20 77 69 74 68 |te the f|ile with|
|00000590| 20 2f 62 69 6e 2f 73 68 | 20 28 6e 6f 74 20 63 73 | /bin/sh| (not cs|
|000005a0| 68 29 20 74 6f 20 63 72 | 65 61 74 65 20 74 68 65 |h) to cr|eate the|
|000005b0| 20 66 69 6c 65 73 3a 0a | 23 09 62 6f 79 65 72 2e | files:.|#.boyer.|
|000005c0| 63 6c 0a 23 09 62 72 6f | 77 73 65 2e 63 6c 0a 23 |cl.#.bro|wse.cl.#|
|000005d0| 09 63 74 61 6b 2e 63 6c | 0a 23 09 64 64 65 72 69 |.ctak.cl|.#.dderi|
|000005e0| 76 2e 63 6c 0a 23 09 64 | 65 72 69 76 2e 63 6c 0a |v.cl.#.d|eriv.cl.|
|000005f0| 23 09 64 65 73 74 72 75 | 63 74 2e 63 6c 0a 23 09 |#.destru|ct.cl.#.|
|00000600| 64 69 76 2e 63 6c 0a 23 | 09 66 66 74 2e 63 6c 0a |div.cl.#|.fft.cl.|
|00000610| 23 09 66 70 72 69 6e 74 | 2e 63 6c 0a 23 09 66 72 |#.fprint|.cl.#.fr|
|00000620| 65 61 64 2e 63 6c 0a 23 | 09 66 72 70 6f 6c 79 2e |ead.cl.#|.frpoly.|
|00000630| 63 6c 0a 23 09 70 75 7a | 7a 6c 65 2e 63 6c 0a 23 |cl.#.puz|zle.cl.#|
|00000640| 09 73 74 61 6b 2e 63 6c | 0a 23 09 74 61 6b 2e 63 |.stak.cl|.#.tak.c|
|00000650| 6c 0a 23 09 74 61 6b 6c | 2e 63 6c 0a 23 09 74 61 |l.#.takl|.cl.#.ta|
|00000660| 6b 72 2e 63 6c 0a 23 09 | 74 69 6d 65 72 2e 63 6c |kr.cl.#.|timer.cl|
|00000670| 0a 23 09 74 70 72 69 6e | 74 2e 63 6c 0a 23 09 74 |.#.tprin|t.cl.#.t|
|00000680| 72 61 76 65 72 73 65 2e | 63 6c 0a 23 09 74 72 69 |raverse.|cl.#.tri|
|00000690| 61 6e 67 6c 65 2e 63 6c | 0a 23 20 54 68 69 73 20 |angle.cl|.# This |
|000006a0| 61 72 63 68 69 76 65 20 | 63 72 65 61 74 65 64 3a |archive |created:|
|000006b0| 20 54 68 75 20 4a 75 6c | 20 31 36 20 30 34 3a 30 | Thu Jul| 16 04:0|
|000006c0| 31 3a 35 31 20 31 39 38 | 37 0a 65 78 70 6f 72 74 |1:51 198|7.export|
|000006d0| 20 50 41 54 48 3b 20 50 | 41 54 48 3d 2f 62 69 6e | PATH; P|ATH=/bin|
|000006e0| 3a 24 50 41 54 48 0a 69 | 66 20 74 65 73 74 20 2d |:$PATH.i|f test -|
|000006f0| 66 20 27 62 6f 79 65 72 | 2e 63 6c 27 0a 74 68 65 |f 'boyer|.cl'.the|
|00000700| 6e 0a 09 65 63 68 6f 20 | 73 68 61 72 3a 20 77 69 |n..echo |shar: wi|
|00000710| 6c 6c 20 6e 6f 74 20 6f | 76 65 72 2d 77 72 69 74 |ll not o|ver-writ|
|00000720| 65 20 65 78 69 73 74 69 | 6e 67 20 66 69 6c 65 20 |e existi|ng file |
|00000730| 22 27 62 6f 79 65 72 2e | 63 6c 27 22 0a 65 6c 73 |"'boyer.|cl'".els|
|00000740| 65 0a 63 61 74 20 3c 3c | 20 5c 53 48 41 52 5f 45 |e.cat <<| \SHAR_E|
|00000750| 4f 46 20 3e 20 27 62 6f | 79 65 72 2e 63 6c 27 0a |OF > 'bo|yer.cl'.|
|00000760| 3b 46 72 6f 6d 3a 20 69 | 68 6e 70 34 21 75 74 61 |;From: i|hnp4!uta|
|00000770| 68 2d 63 73 21 73 68 65 | 62 73 40 75 74 61 68 2d |h-cs!she|bs@utah-|
|00000780| 63 73 2e 55 54 41 48 2d | 43 53 20 28 53 74 61 6e |cs.UTAH-|CS (Stan|
|00000790| 6c 65 79 20 53 68 65 62 | 73 29 0a 3b 4f 72 67 61 |ley Sheb|s).;Orga|
|000007a0| 6e 69 7a 61 74 69 6f 6e | 3a 20 55 6e 69 76 65 72 |nization|: Univer|
|000007b0| 73 69 74 79 20 6f 66 20 | 55 74 61 68 2c 20 53 61 |sity of |Utah, Sa|
|000007c0| 6c 74 20 4c 61 6b 65 20 | 43 69 74 79 0a 0a 3b 42 |lt Lake |City..;B|
|000007d0| 54 57 2c 20 77 65 20 68 | 61 76 65 20 63 6f 6d 70 |TW, we h|ave comp|
|000007e0| 6c 65 74 65 20 73 65 74 | 73 20 66 6f 72 20 50 53 |lete set|s for PS|
|000007f0| 4c 20 61 6e 64 20 43 6f | 6d 6d 6f 6e 20 4c 69 73 |L and Co|mmon Lis|
|00000800| 70 20 74 68 61 74 20 49 | 20 63 61 6e 20 70 72 6f |p that I| can pro|
|00000810| 62 61 62 6c 79 0a 3b 73 | 68 61 72 20 74 6f 67 65 |bably.;s|har toge|
|00000820| 74 68 65 72 20 61 6e 64 | 20 73 65 6e 64 2e 20 20 |ther and| send. |
|00000830| 54 68 65 20 63 6f 64 65 | 20 62 65 6c 6f 77 20 69 |The code| below i|
|00000840| 73 20 62 61 73 69 63 61 | 6c 6c 79 20 77 68 61 74 |s basica|lly what|
|00000850| 27 73 20 69 6e 20 47 61 | 62 72 69 65 6c 27 73 0a |'s in Ga|briel's.|
|00000860| 3b 62 6f 6f 6b 2c 20 62 | 75 74 20 74 68 65 20 50 |;book, b|ut the P|
|00000870| 53 4c 20 76 65 72 73 69 | 6f 6e 20 62 65 61 72 73 |SL versi|on bears|
|00000880| 20 6c 65 73 73 20 72 65 | 73 65 6d 62 6c 61 6e 63 | less re|semblanc|
|00000890| 65 20 28 64 69 66 66 65 | 72 65 6e 74 20 64 69 61 |e (diffe|rent dia|
|000008a0| 6c 65 63 74 29 3a 0a 0a | 3b 3b 3b 3b 3b 3b 3b 3b |lect):..|;;;;;;;;|
|000008b0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000008c0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000008d0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000008e0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000008f0| 3b 3b 3b 3b 3b 3b 0a 3b | 20 46 69 6c 65 3a 20 20 |;;;;;;.;| File: |
|00000900| 20 20 20 20 20 20 20 62 | 6f 79 65 72 2e 63 6c 0a | b|oyer.cl.|
|00000910| 3b 20 44 65 73 63 72 69 | 70 74 69 6f 6e 3a 20 20 |; Descri|ption: |
|00000920| 54 68 65 20 42 6f 79 65 | 72 20 62 65 6e 63 68 6d |The Boye|r benchm|
|00000930| 61 72 6b 0a 3b 20 41 75 | 74 68 6f 72 3a 20 20 20 |ark.; Au|thor: |
|00000940| 20 20 20 20 42 6f 62 20 | 42 6f 79 65 72 0a 3b 20 | Bob |Boyer.; |
|00000950| 43 72 65 61 74 65 64 3a | 20 20 20 20 20 20 35 2d |Created:| 5-|
|00000960| 41 70 72 2d 38 35 0a 3b | 20 4d 6f 64 69 66 69 65 |Apr-85.;| Modifie|
|00000970| 64 3a 20 20 20 20 20 31 | 30 2d 41 70 72 2d 38 35 |d: 1|0-Apr-85|
|00000980| 20 31 34 3a 35 32 3a 32 | 30 20 28 42 6f 62 20 53 | 14:52:2|0 (Bob S|
|00000990| 68 61 77 29 0a 3b 20 4c | 61 6e 67 75 61 67 65 3a |haw).; L|anguage:|
|000009a0| 20 20 20 20 20 43 6f 6d | 6d 6f 6e 20 4c 69 73 70 | Com|mon Lisp|
|000009b0| 0a 3b 20 50 61 63 6b 61 | 67 65 3a 20 20 20 20 20 |.; Packa|ge: |
|000009c0| 20 55 73 65 72 0a 3b 20 | 53 74 61 74 75 73 3a 20 | User.; |Status: |
|000009d0| 20 20 20 20 20 20 50 75 | 62 6c 69 63 20 44 6f 6d | Pu|blic Dom|
|000009e0| 61 69 6e 0a 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |ain.;;;;|;;;;;;;;|
|000009f0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00000a00| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00000a10| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00000a20| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00000a30| 3b 3b 0a 0a 3b 3b 3b 20 | 42 4f 59 45 52 20 2d 2d |;;..;;; |BOYER --|
|00000a40| 20 4c 6f 67 69 63 20 70 | 72 6f 67 72 61 6d 6d 69 | Logic p|rogrammi|
|00000a50| 6e 67 20 62 65 6e 63 68 | 6d 61 72 6b 2c 20 6f 72 |ng bench|mark, or|
|00000a60| 69 67 69 6e 61 6c 6c 79 | 20 77 72 69 74 74 65 6e |iginally| written|
|00000a70| 20 62 79 20 42 6f 62 20 | 42 6f 79 65 72 2e 0a 3b | by Bob |Boyer..;|
|00000a80| 3b 3b 20 46 61 69 72 6c | 79 20 43 4f 4e 53 20 69 |;; Fairl|y CONS i|
|00000a90| 6e 74 65 6e 73 69 76 65 | 2e 0a 0a 28 64 65 66 76 |ntensive|...(defv|
|00000aa0| 61 72 20 75 6e 69 66 79 | 2d 73 75 62 73 74 29 0a |ar unify|-subst).|
|00000ab0| 28 64 65 66 76 61 72 20 | 74 65 6d 70 2d 74 65 6d |(defvar |temp-tem|
|00000ac0| 70 29 0a 0a 28 64 65 66 | 75 6e 20 61 64 64 2d 6c |p)..(def|un add-l|
|00000ad0| 65 6d 6d 61 20 28 74 65 | 72 6d 29 0a 20 20 28 63 |emma (te|rm). (c|
|00000ae0| 6f 6e 64 20 28 28 61 6e | 64 20 28 6e 6f 74 20 28 |ond ((an|d (not (|
|00000af0| 61 74 6f 6d 20 74 65 72 | 6d 29 29 0a 09 20 20 20 |atom ter|m)).. |
|00000b00| 20 20 20 28 65 71 20 28 | 63 61 72 20 74 65 72 6d | (eq (|car term|
|00000b10| 29 0a 09 09 20 20 28 71 | 75 6f 74 65 20 65 71 75 |)... (q|uote equ|
|00000b20| 61 6c 29 29 0a 09 20 20 | 20 20 20 20 28 6e 6f 74 |al)).. | (not|
|00000b30| 20 28 61 74 6f 6d 20 28 | 63 61 64 72 20 74 65 72 | (atom (|cadr ter|
|00000b40| 6d 29 29 29 29 0a 09 20 | 28 73 65 74 66 20 28 67 |m)))).. |(setf (g|
|00000b50| 65 74 20 28 63 61 72 20 | 28 63 61 64 72 20 74 65 |et (car |(cadr te|
|00000b60| 72 6d 29 29 20 28 71 75 | 6f 74 65 20 6c 65 6d 6d |rm)) (qu|ote lemm|
|00000b70| 61 73 29 29 0a 09 20 20 | 20 20 20 20 20 28 63 6f |as)).. | (co|
|00000b80| 6e 73 20 74 65 72 6d 20 | 28 67 65 74 20 28 63 61 |ns term |(get (ca|
|00000b90| 72 20 28 63 61 64 72 20 | 74 65 72 6d 29 29 20 28 |r (cadr |term)) (|
|00000ba0| 71 75 6f 74 65 20 6c 65 | 6d 6d 61 73 29 29 29 29 |quote le|mmas))))|
|00000bb0| 29 0a 09 28 74 20 28 65 | 72 72 6f 72 20 22 7e 25 |)..(t (e|rror "~%|
|00000bc0| 41 44 44 2d 4c 45 4d 4d | 41 20 64 69 64 20 6e 6f |ADD-LEMM|A did no|
|00000bd0| 74 20 6c 69 6b 65 20 74 | 65 72 6d 3a 20 20 7e 61 |t like t|erm: ~a|
|00000be0| 22 20 74 65 72 6d 29 29 | 29 29 0a 0a 28 64 65 66 |" term))|))..(def|
|00000bf0| 75 6e 20 61 64 64 2d 6c | 65 6d 6d 61 2d 6c 73 74 |un add-l|emma-lst|
|00000c00| 20 28 6c 73 74 29 0a 20 | 20 28 63 6f 6e 64 20 28 | (lst). | (cond (|
|00000c10| 28 6e 75 6c 6c 20 6c 73 | 74 29 0a 09 20 74 29 0a |(null ls|t).. t).|
|00000c20| 09 28 74 20 28 61 64 64 | 2d 6c 65 6d 6d 61 20 28 |.(t (add|-lemma (|
|00000c30| 63 61 72 20 6c 73 74 29 | 29 0a 09 20 20 20 28 61 |car lst)|).. (a|
|00000c40| 64 64 2d 6c 65 6d 6d 61 | 2d 6c 73 74 20 28 63 64 |dd-lemma|-lst (cd|
|00000c50| 72 20 6c 73 74 29 29 29 | 29 29 0a 0a 28 64 65 66 |r lst)))|))..(def|
|00000c60| 75 6e 20 61 70 70 6c 79 | 2d 73 75 62 73 74 20 28 |un apply|-subst (|
|00000c70| 61 6c 69 73 74 20 74 65 | 72 6d 29 0a 20 20 28 63 |alist te|rm). (c|
|00000c80| 6f 6e 64 20 28 28 61 74 | 6f 6d 20 74 65 72 6d 29 |ond ((at|om term)|
|00000c90| 0a 09 20 28 63 6f 6e 64 | 20 28 28 73 65 74 71 20 |.. (cond| ((setq |
|00000ca0| 74 65 6d 70 2d 74 65 6d | 70 20 28 61 73 73 6f 63 |temp-tem|p (assoc|
|00000cb0| 20 74 65 72 6d 20 61 6c | 69 73 74 20 3a 74 65 73 | term al|ist :tes|
|00000cc0| 74 20 23 27 65 71 29 29 | 0a 09 09 28 63 64 72 20 |t #'eq))|...(cdr |
|00000cd0| 74 65 6d 70 2d 74 65 6d | 70 29 29 0a 09 20 20 20 |temp-tem|p)).. |
|00000ce0| 20 20 20 20 28 74 20 74 | 65 72 6d 29 29 29 0a 09 | (t t|erm)))..|
|00000cf0| 28 74 20 28 63 6f 6e 73 | 20 28 63 61 72 20 74 65 |(t (cons| (car te|
|00000d00| 72 6d 29 0a 09 09 20 28 | 61 70 70 6c 79 2d 73 75 |rm)... (|apply-su|
|00000d10| 62 73 74 2d 6c 73 74 20 | 61 6c 69 73 74 20 28 63 |bst-lst |alist (c|
|00000d20| 64 72 20 74 65 72 6d 29 | 29 29 29 29 29 0a 0a 28 |dr term)|)))))..(|
|00000d30| 64 65 66 75 6e 20 61 70 | 70 6c 79 2d 73 75 62 73 |defun ap|ply-subs|
|00000d40| 74 2d 6c 73 74 20 28 61 | 6c 69 73 74 20 6c 73 74 |t-lst (a|list lst|
|00000d50| 29 0a 20 20 28 63 6f 6e | 64 20 28 28 6e 75 6c 6c |). (con|d ((null|
|00000d60| 20 6c 73 74 29 0a 09 20 | 6e 69 6c 29 0a 09 28 74 | lst).. |nil)..(t|
|00000d70| 20 28 63 6f 6e 73 20 28 | 61 70 70 6c 79 2d 73 75 | (cons (|apply-su|
|00000d80| 62 73 74 20 61 6c 69 73 | 74 20 28 63 61 72 20 6c |bst alis|t (car l|
|00000d90| 73 74 29 29 0a 09 09 20 | 28 61 70 70 6c 79 2d 73 |st))... |(apply-s|
|00000da0| 75 62 73 74 2d 6c 73 74 | 20 61 6c 69 73 74 20 28 |ubst-lst| alist (|
|00000db0| 63 64 72 20 6c 73 74 29 | 29 29 29 29 29 0a 0a 28 |cdr lst)|)))))..(|
|00000dc0| 64 65 66 75 6e 20 66 61 | 6c 73 65 70 20 28 78 20 |defun fa|lsep (x |
|00000dd0| 6c 73 74 29 0a 20 20 28 | 6f 72 20 28 65 71 75 61 |lst). (|or (equa|
|00000de0| 6c 20 78 20 28 71 75 6f | 74 65 20 28 66 29 29 29 |l x (quo|te (f)))|
|00000df0| 0a 20 20 20 20 20 20 28 | 6d 65 6d 62 65 72 20 78 |. (|member x|
|00000e00| 20 6c 73 74 29 29 29 0a | 0a 28 64 65 66 75 6e 20 | lst))).|.(defun |
|00000e10| 6f 6e 65 2d 77 61 79 2d | 75 6e 69 66 79 20 28 74 |one-way-|unify (t|
|00000e20| 65 72 6d 31 20 74 65 72 | 6d 32 29 0a 20 20 28 70 |erm1 ter|m2). (p|
|00000e30| 72 6f 67 6e 20 28 73 65 | 74 71 20 75 6e 69 66 79 |rogn (se|tq unify|
|00000e40| 2d 73 75 62 73 74 20 6e | 69 6c 29 0a 09 20 28 6f |-subst n|il).. (o|
|00000e50| 6e 65 2d 77 61 79 2d 75 | 6e 69 66 79 31 20 74 65 |ne-way-u|nify1 te|
|00000e60| 72 6d 31 20 74 65 72 6d | 32 29 29 29 0a 0a 28 64 |rm1 term|2)))..(d|
|00000e70| 65 66 75 6e 20 6f 6e 65 | 2d 77 61 79 2d 75 6e 69 |efun one|-way-uni|
|00000e80| 66 79 31 20 28 74 65 72 | 6d 31 20 74 65 72 6d 32 |fy1 (ter|m1 term2|
|00000e90| 29 0a 20 20 28 63 6f 6e | 64 20 28 28 61 74 6f 6d |). (con|d ((atom|
|00000ea0| 20 74 65 72 6d 32 29 0a | 09 20 28 63 6f 6e 64 20 | term2).|. (cond |
|00000eb0| 28 28 73 65 74 71 20 74 | 65 6d 70 2d 74 65 6d 70 |((setq t|emp-temp|
|00000ec0| 20 28 61 73 73 6f 63 20 | 74 65 72 6d 32 20 75 6e | (assoc |term2 un|
|00000ed0| 69 66 79 2d 73 75 62 73 | 74 20 3a 74 65 73 74 20 |ify-subs|t :test |
|00000ee0| 23 27 65 71 29 29 0a 09 | 09 28 65 71 75 61 6c 20 |#'eq))..|.(equal |
|00000ef0| 74 65 72 6d 31 20 28 63 | 64 72 20 74 65 6d 70 2d |term1 (c|dr temp-|
|00000f00| 74 65 6d 70 29 29 29 0a | 09 20 20 20 20 20 20 20 |temp))).|. |
|00000f10| 28 74 20 28 73 65 74 71 | 20 75 6e 69 66 79 2d 73 |(t (setq| unify-s|
|00000f20| 75 62 73 74 20 28 63 6f | 6e 73 20 28 63 6f 6e 73 |ubst (co|ns (cons|
|00000f30| 20 74 65 72 6d 32 20 74 | 65 72 6d 31 29 0a 09 09 | term2 t|erm1)...|
|00000f40| 09 09 09 20 20 75 6e 69 | 66 79 2d 73 75 62 73 74 |... uni|fy-subst|
|00000f50| 29 29 0a 09 09 20 20 74 | 29 29 29 0a 09 28 28 61 |))... t|)))..((a|
|00000f60| 74 6f 6d 20 74 65 72 6d | 31 29 0a 09 20 6e 69 6c |tom term|1).. nil|
|00000f70| 29 0a 09 28 28 65 71 20 | 28 63 61 72 20 74 65 72 |)..((eq |(car ter|
|00000f80| 6d 31 29 0a 09 20 20 20 | 20 20 28 63 61 72 20 74 |m1).. | (car t|
|00000f90| 65 72 6d 32 29 29 0a 09 | 20 28 6f 6e 65 2d 77 61 |erm2))..| (one-wa|
|00000fa0| 79 2d 75 6e 69 66 79 31 | 2d 6c 73 74 20 28 63 64 |y-unify1|-lst (cd|
|00000fb0| 72 20 74 65 72 6d 31 29 | 0a 09 09 09 20 20 20 20 |r term1)|.... |
|00000fc0| 20 28 63 64 72 20 74 65 | 72 6d 32 29 29 29 0a 09 | (cdr te|rm2)))..|
|00000fd0| 28 74 20 6e 69 6c 29 29 | 29 0a 0a 28 64 65 66 75 |(t nil))|)..(defu|
|00000fe0| 6e 20 6f 6e 65 2d 77 61 | 79 2d 75 6e 69 66 79 31 |n one-wa|y-unify1|
|00000ff0| 2d 6c 73 74 20 28 6c 73 | 74 31 20 6c 73 74 32 29 |-lst (ls|t1 lst2)|
|00001000| 0a 20 20 28 63 6f 6e 64 | 20 28 28 6e 75 6c 6c 20 |. (cond| ((null |
|00001010| 6c 73 74 31 29 0a 09 20 | 74 29 0a 09 28 28 6f 6e |lst1).. |t)..((on|
|00001020| 65 2d 77 61 79 2d 75 6e | 69 66 79 31 20 28 63 61 |e-way-un|ify1 (ca|
|00001030| 72 20 6c 73 74 31 29 0a | 09 09 09 20 28 63 61 72 |r lst1).|... (car|
|00001040| 20 6c 73 74 32 29 29 0a | 09 20 28 6f 6e 65 2d 77 | lst2)).|. (one-w|
|00001050| 61 79 2d 75 6e 69 66 79 | 31 2d 6c 73 74 20 28 63 |ay-unify|1-lst (c|
|00001060| 64 72 20 6c 73 74 31 29 | 0a 09 09 09 20 20 20 20 |dr lst1)|.... |
|00001070| 20 28 63 64 72 20 6c 73 | 74 32 29 29 29 0a 09 28 | (cdr ls|t2)))..(|
|00001080| 74 20 6e 69 6c 29 29 29 | 0a 0a 28 64 65 66 75 6e |t nil)))|..(defun|
|00001090| 20 72 65 77 72 69 74 65 | 20 28 74 65 72 6d 29 0a | rewrite| (term).|
|000010a0| 20 20 28 63 6f 6e 64 20 | 28 28 61 74 6f 6d 20 74 | (cond |((atom t|
|000010b0| 65 72 6d 29 0a 09 20 74 | 65 72 6d 29 0a 09 28 74 |erm).. t|erm)..(t|
|000010c0| 20 28 72 65 77 72 69 74 | 65 2d 77 69 74 68 2d 6c | (rewrit|e-with-l|
|000010d0| 65 6d 6d 61 73 20 28 63 | 6f 6e 73 20 28 63 61 72 |emmas (c|ons (car|
|000010e0| 20 74 65 72 6d 29 0a 09 | 09 09 09 20 20 20 20 20 | term)..|... |
|000010f0| 20 28 72 65 77 72 69 74 | 65 2d 61 72 67 73 20 28 | (rewrit|e-args (|
|00001100| 63 64 72 20 74 65 72 6d | 29 29 29 0a 09 09 09 09 |cdr term|))).....|
|00001110| 28 67 65 74 20 28 63 61 | 72 20 74 65 72 6d 29 0a |(get (ca|r term).|
|00001120| 09 09 09 09 20 20 20 20 | 20 28 71 75 6f 74 65 20 |.... | (quote |
|00001130| 6c 65 6d 6d 61 73 29 29 | 29 29 29 29 0a 0a 28 64 |lemmas))|))))..(d|
|00001140| 65 66 75 6e 20 72 65 77 | 72 69 74 65 2d 61 72 67 |efun rew|rite-arg|
|00001150| 73 20 28 6c 73 74 29 0a | 20 20 28 63 6f 6e 64 20 |s (lst).| (cond |
|00001160| 28 28 6e 75 6c 6c 20 6c | 73 74 29 0a 09 20 6e 69 |((null l|st).. ni|
|00001170| 6c 29 0a 09 28 74 20 28 | 63 6f 6e 73 20 28 72 65 |l)..(t (|cons (re|
|00001180| 77 72 69 74 65 20 28 63 | 61 72 20 6c 73 74 29 29 |write (c|ar lst))|
|00001190| 0a 09 09 20 28 72 65 77 | 72 69 74 65 2d 61 72 67 |... (rew|rite-arg|
|000011a0| 73 20 28 63 64 72 20 6c | 73 74 29 29 29 29 29 29 |s (cdr l|st))))))|
|000011b0| 0a 0a 28 64 65 66 75 6e | 20 72 65 77 72 69 74 65 |..(defun| rewrite|
|000011c0| 2d 77 69 74 68 2d 6c 65 | 6d 6d 61 73 20 28 74 65 |-with-le|mmas (te|
|000011d0| 72 6d 20 6c 73 74 29 0a | 20 20 28 63 6f 6e 64 20 |rm lst).| (cond |
|000011e0| 28 28 6e 75 6c 6c 20 6c | 73 74 29 0a 09 20 74 65 |((null l|st).. te|
|000011f0| 72 6d 29 0a 09 28 28 6f | 6e 65 2d 77 61 79 2d 75 |rm)..((o|ne-way-u|
|00001200| 6e 69 66 79 20 74 65 72 | 6d 20 28 63 61 64 72 20 |nify ter|m (cadr |
|00001210| 28 63 61 72 20 6c 73 74 | 29 29 29 0a 09 20 28 72 |(car lst|))).. (r|
|00001220| 65 77 72 69 74 65 20 28 | 61 70 70 6c 79 2d 73 75 |ewrite (|apply-su|
|00001230| 62 73 74 20 75 6e 69 66 | 79 2d 73 75 62 73 74 20 |bst unif|y-subst |
|00001240| 28 63 61 64 64 72 20 28 | 63 61 72 20 6c 73 74 29 |(caddr (|car lst)|
|00001250| 29 29 29 29 0a 09 28 74 | 20 28 72 65 77 72 69 74 |))))..(t| (rewrit|
|00001260| 65 2d 77 69 74 68 2d 6c | 65 6d 6d 61 73 20 74 65 |e-with-l|emmas te|
|00001270| 72 6d 20 28 63 64 72 20 | 6c 73 74 29 29 29 29 29 |rm (cdr |lst)))))|
|00001280| 0a 0a 28 64 65 66 75 6e | 20 73 65 74 75 70 20 28 |..(defun| setup (|
|00001290| 29 0a 20 20 28 61 64 64 | 2d 6c 65 6d 6d 61 2d 6c |). (add|-lemma-l|
|000012a0| 73 74 0a 20 20 20 20 28 | 71 75 6f 74 65 20 28 28 |st. (|quote ((|
|000012b0| 65 71 75 61 6c 20 28 63 | 6f 6d 70 69 6c 65 20 66 |equal (c|ompile f|
|000012c0| 6f 72 6d 29 0a 09 09 20 | 20 20 28 72 65 76 65 72 |orm)... | (rever|
|000012d0| 73 65 20 28 63 6f 64 65 | 67 65 6e 20 28 6f 70 74 |se (code|gen (opt|
|000012e0| 69 6d 69 7a 65 20 66 6f | 72 6d 29 0a 09 09 09 09 |imize fo|rm).....|
|000012f0| 20 20 20 20 20 28 6e 69 | 6c 29 29 29 29 0a 09 20 | (ni|l)))).. |
|00001300| 20 20 20 28 65 71 75 61 | 6c 20 28 65 71 70 20 78 | (equa|l (eqp x|
|00001310| 20 79 29 0a 09 09 20 20 | 20 28 65 71 75 61 6c 20 | y)... | (equal |
|00001320| 28 66 69 78 20 78 29 0a | 09 09 09 20 20 28 66 69 |(fix x).|... (fi|
|00001330| 78 20 79 29 29 29 0a 09 | 20 20 20 20 28 65 71 75 |x y)))..| (equ|
|00001340| 61 6c 20 28 67 72 65 61 | 74 65 72 70 20 78 20 79 |al (grea|terp x y|
|00001350| 29 0a 09 09 20 20 20 28 | 6c 65 73 73 70 20 79 20 |)... (|lessp y |
|00001360| 78 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |x)).. | (equal |
|00001370| 28 6c 65 73 73 65 71 70 | 20 78 20 79 29 0a 09 09 |(lesseqp| x y)...|
|00001380| 20 20 20 28 6e 6f 74 20 | 28 6c 65 73 73 70 20 79 | (not |(lessp y|
|00001390| 20 78 29 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 | x))).. | (equa|
|000013a0| 6c 20 28 67 72 65 61 74 | 65 72 65 71 70 20 78 20 |l (great|ereqp x |
|000013b0| 79 29 0a 09 09 20 20 20 | 28 6e 6f 74 20 28 6c 65 |y)... |(not (le|
|000013c0| 73 73 70 20 78 20 79 29 | 29 29 0a 09 20 20 20 20 |ssp x y)|)).. |
|000013d0| 28 65 71 75 61 6c 20 28 | 62 6f 6f 6c 65 61 6e 20 |(equal (|boolean |
|000013e0| 78 29 0a 09 09 20 20 20 | 28 6f 72 20 28 65 71 75 |x)... |(or (equ|
|000013f0| 61 6c 20 78 20 28 74 29 | 29 0a 09 09 20 20 20 20 |al x (t)|)... |
|00001400| 20 20 20 28 65 71 75 61 | 6c 20 78 20 28 66 29 29 | (equa|l x (f))|
|00001410| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|00001420| 69 66 66 20 78 20 79 29 | 0a 09 09 20 20 20 28 61 |iff x y)|... (a|
|00001430| 6e 64 20 28 69 6d 70 6c | 69 65 73 20 78 20 79 29 |nd (impl|ies x y)|
|00001440| 0a 09 09 09 28 69 6d 70 | 6c 69 65 73 20 79 20 78 |....(imp|lies y x|
|00001450| 29 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |))).. | (equal |
|00001460| 28 65 76 65 6e 31 20 78 | 29 0a 09 09 20 20 20 28 |(even1 x|)... (|
|00001470| 69 66 20 28 7a 65 72 6f | 70 20 78 29 0a 09 09 20 |if (zero|p x)... |
|00001480| 20 20 20 20 20 20 28 74 | 29 0a 09 09 20 20 20 20 | (t|)... |
|00001490| 20 20 20 28 6f 64 64 20 | 28 31 2d 20 78 29 29 29 | (odd |(1- x)))|
|000014a0| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 63 |).. (|equal (c|
|000014b0| 6f 75 6e 74 70 73 2d 20 | 6c 20 70 72 65 64 29 0a |ountps- |l pred).|
|000014c0| 09 09 20 20 20 28 63 6f | 75 6e 74 70 73 2d 6c 6f |.. (co|untps-lo|
|000014d0| 6f 70 20 6c 20 70 72 65 | 64 20 28 7a 65 72 6f 29 |op l pre|d (zero)|
|000014e0| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|000014f0| 66 61 63 74 2d 20 69 29 | 0a 09 09 20 20 20 28 66 |fact- i)|... (f|
|00001500| 61 63 74 2d 6c 6f 6f 70 | 20 69 20 31 29 29 0a 09 |act-loop| i 1))..|
|00001510| 20 20 20 20 28 65 71 75 | 61 6c 20 28 72 65 76 65 | (equ|al (reve|
|00001520| 72 73 65 2d 20 78 29 0a | 09 09 20 20 20 28 72 65 |rse- x).|.. (re|
|00001530| 76 65 72 73 65 2d 6c 6f | 6f 70 20 78 20 28 6e 69 |verse-lo|op x (ni|
|00001540| 6c 29 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |l))).. | (equal|
|00001550| 20 28 64 69 76 69 64 65 | 73 20 78 20 79 29 0a 09 | (divide|s x y)..|
|00001560| 09 20 20 20 28 7a 65 72 | 6f 70 20 28 72 65 6d 61 |. (zer|op (rema|
|00001570| 69 6e 64 65 72 20 79 20 | 78 29 29 29 0a 09 20 20 |inder y |x))).. |
|00001580| 20 20 28 65 71 75 61 6c | 20 28 61 73 73 75 6d 65 | (equal| (assume|
|00001590| 2d 74 72 75 65 20 76 61 | 72 20 61 6c 69 73 74 29 |-true va|r alist)|
|000015a0| 0a 09 09 20 20 20 28 63 | 6f 6e 73 20 28 63 6f 6e |... (c|ons (con|
|000015b0| 73 20 76 61 72 20 28 74 | 29 29 0a 09 09 09 20 61 |s var (t|)).... a|
|000015c0| 6c 69 73 74 29 29 0a 09 | 20 20 20 20 28 65 71 75 |list))..| (equ|
|000015d0| 61 6c 20 28 61 73 73 75 | 6d 65 2d 66 61 6c 73 65 |al (assu|me-false|
|000015e0| 20 76 61 72 20 61 6c 69 | 73 74 29 0a 09 09 20 20 | var ali|st)... |
|000015f0| 20 28 63 6f 6e 73 20 28 | 63 6f 6e 73 20 76 61 72 | (cons (|cons var|
|00001600| 20 28 66 29 29 0a 09 09 | 09 20 61 6c 69 73 74 29 | (f))...|. alist)|
|00001610| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 74 |).. (|equal (t|
|00001620| 61 75 74 6f 6c 6f 67 79 | 2d 63 68 65 63 6b 65 72 |autology|-checker|
|00001630| 20 78 29 0a 09 09 20 20 | 20 28 74 61 75 74 6f 6c | x)... | (tautol|
|00001640| 6f 67 79 70 20 28 6e 6f | 72 6d 61 6c 69 7a 65 20 |ogyp (no|rmalize |
|00001650| 78 29 0a 09 09 09 20 20 | 20 20 20 20 20 28 6e 69 |x).... | (ni|
|00001660| 6c 29 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |l))).. | (equal|
|00001670| 20 28 66 61 6c 73 69 66 | 79 20 78 29 0a 09 09 20 | (falsif|y x)... |
|00001680| 20 20 28 66 61 6c 73 69 | 66 79 31 20 28 6e 6f 72 | (falsi|fy1 (nor|
|00001690| 6d 61 6c 69 7a 65 20 78 | 29 0a 09 09 09 20 20 20 |malize x|).... |
|000016a0| 20 20 28 6e 69 6c 29 29 | 29 0a 09 20 20 20 20 28 | (nil))|).. (|
|000016b0| 65 71 75 61 6c 20 28 70 | 72 69 6d 65 20 78 29 0a |equal (p|rime x).|
|000016c0| 09 09 20 20 20 28 61 6e | 64 20 28 6e 6f 74 20 28 |.. (an|d (not (|
|000016d0| 7a 65 72 6f 70 20 78 29 | 29 0a 09 09 09 28 6e 6f |zerop x)|)....(no|
|000016e0| 74 20 28 65 71 75 61 6c | 20 78 20 28 61 64 64 31 |t (equal| x (add1|
|000016f0| 20 28 7a 65 72 6f 29 29 | 29 29 0a 09 09 09 28 70 | (zero))|))....(p|
|00001700| 72 69 6d 65 31 20 78 20 | 28 31 2d 20 78 29 29 29 |rime1 x |(1- x)))|
|00001710| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 61 |).. (|equal (a|
|00001720| 6e 64 20 70 20 71 29 0a | 09 09 20 20 20 28 69 66 |nd p q).|.. (if|
|00001730| 20 70 20 28 69 66 20 71 | 20 28 74 29 0a 09 09 09 | p (if q| (t)....|
|00001740| 20 20 20 20 20 28 66 29 | 29 0a 09 09 20 20 20 20 | (f)|)... |
|00001750| 20 20 20 28 66 29 29 29 | 0a 09 20 20 20 20 28 65 | (f)))|.. (e|
|00001760| 71 75 61 6c 20 28 6f 72 | 20 70 20 71 29 0a 09 09 |qual (or| p q)...|
|00001770| 20 20 20 28 69 66 20 70 | 20 28 74 29 0a 09 09 20 | (if p| (t)... |
|00001780| 20 20 20 20 20 20 28 69 | 66 20 71 20 28 74 29 0a | (i|f q (t).|
|00001790| 09 09 09 20 20 20 28 66 | 29 29 0a 09 09 20 20 20 |... (f|))... |
|000017a0| 20 20 20 20 28 66 29 29 | 29 0a 09 20 20 20 20 28 | (f))|).. (|
|000017b0| 65 71 75 61 6c 20 28 6e | 6f 74 20 70 29 0a 09 09 |equal (n|ot p)...|
|000017c0| 20 20 20 28 69 66 20 70 | 20 28 66 29 0a 09 09 20 | (if p| (f)... |
|000017d0| 20 20 20 20 20 20 28 74 | 29 29 29 0a 09 20 20 20 | (t|))).. |
|000017e0| 20 28 65 71 75 61 6c 20 | 28 69 6d 70 6c 69 65 73 | (equal |(implies|
|000017f0| 20 70 20 71 29 0a 09 09 | 20 20 20 28 69 66 20 70 | p q)...| (if p|
|00001800| 20 28 69 66 20 71 20 28 | 74 29 0a 09 09 09 20 20 | (if q (|t).... |
|00001810| 20 20 20 28 66 29 29 0a | 09 09 20 20 20 20 20 20 | (f)).|.. |
|00001820| 20 28 74 29 29 29 0a 09 | 20 20 20 20 28 65 71 75 | (t)))..| (equ|
|00001830| 61 6c 20 28 66 69 78 20 | 78 29 0a 09 09 20 20 20 |al (fix |x)... |
|00001840| 28 69 66 20 28 6e 75 6d | 62 65 72 70 20 78 29 0a |(if (num|berp x).|
|00001850| 09 09 20 20 20 20 20 20 | 20 78 0a 09 09 20 20 20 |.. | x... |
|00001860| 20 20 20 20 28 7a 65 72 | 6f 29 29 29 0a 09 20 20 | (zer|o))).. |
|00001870| 20 20 28 65 71 75 61 6c | 20 28 69 66 20 28 69 66 | (equal| (if (if|
|00001880| 20 61 20 62 20 63 29 0a | 09 09 20 20 20 20 20 20 | a b c).|.. |
|00001890| 20 64 20 65 29 0a 09 09 | 20 20 20 28 69 66 20 61 | d e)...| (if a|
|000018a0| 20 28 69 66 20 62 20 64 | 20 65 29 0a 09 09 20 20 | (if b d| e)... |
|000018b0| 20 20 20 20 20 28 69 66 | 20 63 20 64 20 65 29 29 | (if| c d e))|
|000018c0| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 7a |).. (|equal (z|
|000018d0| 65 72 6f 70 20 78 29 0a | 09 09 20 20 20 28 6f 72 |erop x).|.. (or|
|000018e0| 20 28 65 71 75 61 6c 20 | 78 20 28 7a 65 72 6f 29 | (equal |x (zero)|
|000018f0| 29 0a 09 09 20 20 20 20 | 20 20 20 28 6e 6f 74 20 |)... | (not |
|00001900| 28 6e 75 6d 62 65 72 70 | 20 78 29 29 29 29 0a 09 |(numberp| x))))..|
|00001910| 20 20 20 20 28 65 71 75 | 61 6c 20 28 70 6c 75 73 | (equ|al (plus|
|00001920| 20 28 70 6c 75 73 20 78 | 20 79 29 0a 09 09 09 20 | (plus x| y).... |
|00001930| 7a 29 0a 09 09 20 20 20 | 28 70 6c 75 73 20 78 20 |z)... |(plus x |
|00001940| 28 70 6c 75 73 20 79 20 | 7a 29 29 29 0a 09 20 20 |(plus y |z))).. |
|00001950| 20 20 28 65 71 75 61 6c | 20 28 65 71 75 61 6c 20 | (equal| (equal |
|00001960| 28 70 6c 75 73 20 61 20 | 62 29 0a 09 09 09 20 20 |(plus a |b).... |
|00001970| 28 7a 65 72 6f 29 29 0a | 09 09 20 20 20 28 61 6e |(zero)).|.. (an|
|00001980| 64 20 28 7a 65 72 6f 70 | 20 61 29 0a 09 09 09 28 |d (zerop| a)....(|
|00001990| 7a 65 72 6f 70 20 62 29 | 29 29 0a 09 20 20 20 20 |zerop b)|)).. |
|000019a0| 28 65 71 75 61 6c 20 28 | 64 69 66 66 65 72 65 6e |(equal (|differen|
|000019b0| 63 65 20 78 20 78 29 0a | 09 09 20 20 20 28 7a 65 |ce x x).|.. (ze|
|000019c0| 72 6f 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |ro)).. | (equal|
|000019d0| 20 28 65 71 75 61 6c 20 | 28 70 6c 75 73 20 61 20 | (equal |(plus a |
|000019e0| 62 29 0a 09 09 09 20 20 | 28 70 6c 75 73 20 61 20 |b).... |(plus a |
|000019f0| 63 29 29 0a 09 09 20 20 | 20 28 65 71 75 61 6c 20 |c))... | (equal |
|00001a00| 28 66 69 78 20 62 29 0a | 09 09 09 20 20 28 66 69 |(fix b).|... (fi|
|00001a10| 78 20 63 29 29 29 0a 09 | 20 20 20 20 28 65 71 75 |x c)))..| (equ|
|00001a20| 61 6c 20 28 65 71 75 61 | 6c 20 28 7a 65 72 6f 29 |al (equa|l (zero)|
|00001a30| 0a 09 09 09 20 20 28 64 | 69 66 66 65 72 65 6e 63 |.... (d|ifferenc|
|00001a40| 65 20 78 20 79 29 29 0a | 09 09 20 20 20 28 6e 6f |e x y)).|.. (no|
|00001a50| 74 20 28 6c 65 73 73 70 | 20 79 20 78 29 29 29 0a |t (lessp| y x))).|
|00001a60| 09 20 20 20 20 28 65 71 | 75 61 6c 20 28 65 71 75 |. (eq|ual (equ|
|00001a70| 61 6c 20 78 20 28 64 69 | 66 66 65 72 65 6e 63 65 |al x (di|fference|
|00001a80| 20 78 20 79 29 29 0a 09 | 09 20 20 20 28 61 6e 64 | x y))..|. (and|
|00001a90| 20 28 6e 75 6d 62 65 72 | 70 20 78 29 0a 09 09 09 | (number|p x)....|
|00001aa0| 28 6f 72 20 28 65 71 75 | 61 6c 20 78 20 28 7a 65 |(or (equ|al x (ze|
|00001ab0| 72 6f 29 29 0a 09 09 09 | 20 20 20 20 28 7a 65 72 |ro))....| (zer|
|00001ac0| 6f 70 20 79 29 29 29 29 | 0a 09 20 20 20 20 28 65 |op y))))|.. (e|
|00001ad0| 71 75 61 6c 20 28 6d 65 | 61 6e 69 6e 67 20 28 70 |qual (me|aning (p|
|00001ae0| 6c 75 73 2d 74 72 65 65 | 20 28 61 70 70 65 6e 64 |lus-tree| (append|
|00001af0| 20 78 20 79 29 29 0a 09 | 09 09 20 20 20 20 61 29 | x y))..|.. a)|
|00001b00| 0a 09 09 20 20 20 28 70 | 6c 75 73 20 28 6d 65 61 |... (p|lus (mea|
|00001b10| 6e 69 6e 67 20 28 70 6c | 75 73 2d 74 72 65 65 20 |ning (pl|us-tree |
|00001b20| 78 29 0a 09 09 09 09 20 | 20 61 29 0a 09 09 09 20 |x)..... | a).... |
|00001b30| 28 6d 65 61 6e 69 6e 67 | 20 28 70 6c 75 73 2d 74 |(meaning| (plus-t|
|00001b40| 72 65 65 20 79 29 0a 09 | 09 09 09 20 20 61 29 29 |ree y)..|... a))|
|00001b50| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 6d |).. (|equal (m|
|00001b60| 65 61 6e 69 6e 67 20 28 | 70 6c 75 73 2d 74 72 65 |eaning (|plus-tre|
|00001b70| 65 20 28 70 6c 75 73 2d | 66 72 69 6e 67 65 20 78 |e (plus-|fringe x|
|00001b80| 29 29 0a 09 09 09 20 20 | 20 20 61 29 0a 09 09 20 |)).... | a)... |
|00001b90| 20 20 28 66 69 78 20 28 | 6d 65 61 6e 69 6e 67 20 | (fix (|meaning |
|00001ba0| 78 20 61 29 29 29 0a 09 | 20 20 20 20 28 65 71 75 |x a)))..| (equ|
|00001bb0| 61 6c 20 28 61 70 70 65 | 6e 64 20 28 61 70 70 65 |al (appe|nd (appe|
|00001bc0| 6e 64 20 78 20 79 29 0a | 09 09 09 20 20 20 7a 29 |nd x y).|... z)|
|00001bd0| 0a 09 09 20 20 20 28 61 | 70 70 65 6e 64 20 78 20 |... (a|ppend x |
|00001be0| 28 61 70 70 65 6e 64 20 | 79 20 7a 29 29 29 0a 09 |(append |y z)))..|
|00001bf0| 20 20 20 20 28 65 71 75 | 61 6c 20 28 72 65 76 65 | (equ|al (reve|
|00001c00| 72 73 65 20 28 61 70 70 | 65 6e 64 20 61 20 62 29 |rse (app|end a b)|
|00001c10| 29 0a 09 09 20 20 20 28 | 61 70 70 65 6e 64 20 28 |)... (|append (|
|00001c20| 72 65 76 65 72 73 65 20 | 62 29 0a 09 09 09 20 20 |reverse |b).... |
|00001c30| 20 28 72 65 76 65 72 73 | 65 20 61 29 29 29 0a 09 | (revers|e a)))..|
|00001c40| 20 20 20 20 28 65 71 75 | 61 6c 20 28 74 69 6d 65 | (equ|al (time|
|00001c50| 73 20 78 20 28 70 6c 75 | 73 20 79 20 7a 29 29 0a |s x (plu|s y z)).|
|00001c60| 09 09 20 20 20 28 70 6c | 75 73 20 28 74 69 6d 65 |.. (pl|us (time|
|00001c70| 73 20 78 20 79 29 0a 09 | 09 09 20 28 74 69 6d 65 |s x y)..|.. (time|
|00001c80| 73 20 78 20 7a 29 29 29 | 0a 09 20 20 20 20 28 65 |s x z)))|.. (e|
|00001c90| 71 75 61 6c 20 28 74 69 | 6d 65 73 20 28 74 69 6d |qual (ti|mes (tim|
|00001ca0| 65 73 20 78 20 79 29 0a | 09 09 09 20 20 7a 29 0a |es x y).|... z).|
|00001cb0| 09 09 20 20 20 28 74 69 | 6d 65 73 20 78 20 28 74 |.. (ti|mes x (t|
|00001cc0| 69 6d 65 73 20 79 20 7a | 29 29 29 0a 09 20 20 20 |imes y z|))).. |
|00001cd0| 20 28 65 71 75 61 6c 20 | 28 65 71 75 61 6c 20 28 | (equal |(equal (|
|00001ce0| 74 69 6d 65 73 20 78 20 | 79 29 0a 09 09 09 20 20 |times x |y).... |
|00001cf0| 28 7a 65 72 6f 29 29 0a | 09 09 20 20 20 28 6f 72 |(zero)).|.. (or|
|00001d00| 20 28 7a 65 72 6f 70 20 | 78 29 0a 09 09 20 20 20 | (zerop |x)... |
|00001d10| 20 20 20 20 28 7a 65 72 | 6f 70 20 79 29 29 29 0a | (zer|op y))).|
|00001d20| 09 20 20 20 20 28 65 71 | 75 61 6c 20 28 65 78 65 |. (eq|ual (exe|
|00001d30| 63 20 28 61 70 70 65 6e | 64 20 78 20 79 29 0a 09 |c (appen|d x y)..|
|00001d40| 09 09 20 70 64 73 20 65 | 6e 76 72 6e 29 0a 09 09 |.. pds e|nvrn)...|
|00001d50| 20 20 20 28 65 78 65 63 | 20 79 20 28 65 78 65 63 | (exec| y (exec|
|00001d60| 20 78 20 70 64 73 20 65 | 6e 76 72 6e 29 0a 09 09 | x pds e|nvrn)...|
|00001d70| 09 20 65 6e 76 72 6e 29 | 29 0a 09 20 20 20 20 28 |. envrn)|).. (|
|00001d80| 65 71 75 61 6c 20 28 6d | 63 2d 66 6c 61 74 74 65 |equal (m|c-flatte|
|00001d90| 6e 20 78 20 79 29 0a 09 | 09 20 20 20 28 61 70 70 |n x y)..|. (app|
|00001da0| 65 6e 64 20 28 66 6c 61 | 74 74 65 6e 20 78 29 0a |end (fla|tten x).|
|00001db0| 09 09 09 20 20 20 79 29 | 29 0a 09 20 20 20 20 28 |... y)|).. (|
|00001dc0| 65 71 75 61 6c 20 28 6d | 65 6d 62 65 72 20 78 20 |equal (m|ember x |
|00001dd0| 28 61 70 70 65 6e 64 20 | 61 20 62 29 29 0a 09 09 |(append |a b))...|
|00001de0| 20 20 20 28 6f 72 20 28 | 6d 65 6d 62 65 72 20 78 | (or (|member x|
|00001df0| 20 61 29 0a 09 09 20 20 | 20 20 20 20 20 28 6d 65 | a)... | (me|
|00001e00| 6d 62 65 72 20 78 20 62 | 29 29 29 0a 09 20 20 20 |mber x b|))).. |
|00001e10| 20 28 65 71 75 61 6c 20 | 28 6d 65 6d 62 65 72 20 | (equal |(member |
|00001e20| 78 20 28 72 65 76 65 72 | 73 65 20 79 29 29 0a 09 |x (rever|se y))..|
|00001e30| 09 20 20 20 28 6d 65 6d | 62 65 72 20 78 20 79 29 |. (mem|ber x y)|
|00001e40| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 6c |).. (|equal (l|
|00001e50| 65 6e 67 74 68 20 28 72 | 65 76 65 72 73 65 20 78 |ength (r|everse x|
|00001e60| 29 29 0a 09 09 20 20 20 | 28 6c 65 6e 67 74 68 20 |))... |(length |
|00001e70| 78 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |x)).. | (equal |
|00001e80| 28 6d 65 6d 62 65 72 20 | 61 20 28 69 6e 74 65 72 |(member |a (inter|
|00001e90| 73 65 63 74 20 62 20 63 | 29 29 0a 09 09 20 20 20 |sect b c|))... |
|00001ea0| 28 61 6e 64 20 28 6d 65 | 6d 62 65 72 20 61 20 62 |(and (me|mber a b|
|00001eb0| 29 0a 09 09 09 28 6d 65 | 6d 62 65 72 20 61 20 63 |)....(me|mber a c|
|00001ec0| 29 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |))).. | (equal |
|00001ed0| 28 6e 74 68 20 28 7a 65 | 72 6f 29 0a 09 09 09 69 |(nth (ze|ro)....i|
|00001ee0| 29 0a 09 09 20 20 20 28 | 7a 65 72 6f 29 29 0a 09 |)... (|zero))..|
|00001ef0| 20 20 20 20 28 65 71 75 | 61 6c 20 28 65 78 70 20 | (equ|al (exp |
|00001f00| 69 20 28 70 6c 75 73 20 | 6a 20 6b 29 29 0a 09 09 |i (plus |j k))...|
|00001f10| 20 20 20 28 74 69 6d 65 | 73 20 28 65 78 70 20 69 | (time|s (exp i|
|00001f20| 20 6a 29 0a 09 09 09 20 | 20 28 65 78 70 20 69 20 | j).... | (exp i |
|00001f30| 6b 29 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |k))).. | (equal|
|00001f40| 20 28 65 78 70 20 69 20 | 28 74 69 6d 65 73 20 6a | (exp i |(times j|
|00001f50| 20 6b 29 29 0a 09 09 20 | 20 20 28 65 78 70 20 28 | k))... | (exp (|
|00001f60| 65 78 70 20 69 20 6a 29 | 0a 09 09 09 6b 29 29 0a |exp i j)|....k)).|
|00001f70| 09 20 20 20 20 28 65 71 | 75 61 6c 20 28 72 65 76 |. (eq|ual (rev|
|00001f80| 65 72 73 65 2d 6c 6f 6f | 70 20 78 20 79 29 0a 09 |erse-loo|p x y)..|
|00001f90| 09 20 20 20 28 61 70 70 | 65 6e 64 20 28 72 65 76 |. (app|end (rev|
|00001fa0| 65 72 73 65 20 78 29 0a | 09 09 09 20 20 20 79 29 |erse x).|... y)|
|00001fb0| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 72 |).. (|equal (r|
|00001fc0| 65 76 65 72 73 65 2d 6c | 6f 6f 70 20 78 20 28 6e |everse-l|oop x (n|
|00001fd0| 69 6c 29 29 0a 09 09 20 | 20 20 28 72 65 76 65 72 |il))... | (rever|
|00001fe0| 73 65 20 78 29 29 0a 09 | 20 20 20 20 28 65 71 75 |se x))..| (equ|
|00001ff0| 61 6c 20 28 63 6f 75 6e | 74 2d 6c 69 73 74 20 7a |al (coun|t-list z|
|00002000| 20 28 73 6f 72 74 2d 6c | 70 20 78 20 79 29 29 0a | (sort-l|p x y)).|
|00002010| 09 09 20 20 20 28 70 6c | 75 73 20 28 63 6f 75 6e |.. (pl|us (coun|
|00002020| 74 2d 6c 69 73 74 20 7a | 20 78 29 0a 09 09 09 20 |t-list z| x).... |
|00002030| 28 63 6f 75 6e 74 2d 6c | 69 73 74 20 7a 20 79 29 |(count-l|ist z y)|
|00002040| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|00002050| 65 71 75 61 6c 20 28 61 | 70 70 65 6e 64 20 61 20 |equal (a|ppend a |
|00002060| 62 29 0a 09 09 09 20 20 | 28 61 70 70 65 6e 64 20 |b).... |(append |
|00002070| 61 20 63 29 29 0a 09 09 | 20 20 20 28 65 71 75 61 |a c))...| (equa|
|00002080| 6c 20 62 20 63 29 29 0a | 09 20 20 20 20 28 65 71 |l b c)).|. (eq|
|00002090| 75 61 6c 20 28 70 6c 75 | 73 20 28 72 65 6d 61 69 |ual (plu|s (remai|
|000020a0| 6e 64 65 72 20 78 20 79 | 29 0a 09 09 09 20 28 74 |nder x y|).... (t|
|000020b0| 69 6d 65 73 20 79 20 28 | 71 75 6f 74 69 65 6e 74 |imes y (|quotient|
|000020c0| 20 78 20 79 29 29 29 0a | 09 09 20 20 20 28 66 69 | x y))).|.. (fi|
|000020d0| 78 20 78 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 |x x)).. | (equa|
|000020e0| 6c 20 28 70 6f 77 65 72 | 2d 65 76 61 6c 20 28 62 |l (power|-eval (b|
|000020f0| 69 67 2d 70 6c 75 73 31 | 20 6c 20 69 20 62 61 73 |ig-plus1| l i bas|
|00002100| 65 29 0a 09 09 09 20 20 | 20 20 20 20 20 62 61 73 |e).... | bas|
|00002110| 65 29 0a 09 09 20 20 20 | 28 70 6c 75 73 20 28 70 |e)... |(plus (p|
|00002120| 6f 77 65 72 2d 65 76 61 | 6c 20 6c 20 62 61 73 65 |ower-eva|l l base|
|00002130| 29 0a 09 09 09 20 69 29 | 29 0a 09 20 20 20 20 28 |).... i)|).. (|
|00002140| 65 71 75 61 6c 20 28 70 | 6f 77 65 72 2d 65 76 61 |equal (p|ower-eva|
|00002150| 6c 20 28 62 69 67 2d 70 | 6c 75 73 20 78 20 79 20 |l (big-p|lus x y |
|00002160| 69 20 62 61 73 65 29 0a | 09 09 09 20 20 20 20 20 |i base).|... |
|00002170| 20 20 62 61 73 65 29 0a | 09 09 20 20 20 28 70 6c | base).|.. (pl|
|00002180| 75 73 20 69 20 28 70 6c | 75 73 20 28 70 6f 77 65 |us i (pl|us (powe|
|00002190| 72 2d 65 76 61 6c 20 78 | 20 62 61 73 65 29 0a 09 |r-eval x| base)..|
|000021a0| 09 09 09 20 28 70 6f 77 | 65 72 2d 65 76 61 6c 20 |... (pow|er-eval |
|000021b0| 79 20 62 61 73 65 29 29 | 29 29 0a 09 20 20 20 20 |y base))|)).. |
|000021c0| 28 65 71 75 61 6c 20 28 | 72 65 6d 61 69 6e 64 65 |(equal (|remainde|
|000021d0| 72 20 79 20 31 29 0a 09 | 09 20 20 20 28 7a 65 72 |r y 1)..|. (zer|
|000021e0| 6f 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |o)).. | (equal |
|000021f0| 28 6c 65 73 73 70 20 28 | 72 65 6d 61 69 6e 64 65 |(lessp (|remainde|
|00002200| 72 20 78 20 79 29 0a 09 | 09 09 20 20 79 29 0a 09 |r x y)..|.. y)..|
|00002210| 09 20 20 20 28 6e 6f 74 | 20 28 7a 65 72 6f 70 20 |. (not| (zerop |
|00002220| 79 29 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |y))).. | (equal|
|00002230| 20 28 72 65 6d 61 69 6e | 64 65 72 20 78 20 78 29 | (remain|der x x)|
|00002240| 0a 09 09 20 20 20 28 7a | 65 72 6f 29 29 0a 09 20 |... (z|ero)).. |
|00002250| 20 20 20 28 65 71 75 61 | 6c 20 28 6c 65 73 73 70 | (equa|l (lessp|
|00002260| 20 28 71 75 6f 74 69 65 | 6e 74 20 69 20 6a 29 0a | (quotie|nt i j).|
|00002270| 09 09 09 20 20 69 29 0a | 09 09 20 20 20 28 61 6e |... i).|.. (an|
|00002280| 64 20 28 6e 6f 74 20 28 | 7a 65 72 6f 70 20 69 29 |d (not (|zerop i)|
|00002290| 29 0a 09 09 09 28 6f 72 | 20 28 7a 65 72 6f 70 20 |)....(or| (zerop |
|000022a0| 6a 29 0a 09 09 09 20 20 | 20 20 28 6e 6f 74 20 28 |j).... | (not (|
|000022b0| 65 71 75 61 6c 20 6a 20 | 31 29 29 29 29 29 0a 09 |equal j |1)))))..|
|000022c0| 20 20 20 20 28 65 71 75 | 61 6c 20 28 6c 65 73 73 | (equ|al (less|
|000022d0| 70 20 28 72 65 6d 61 69 | 6e 64 65 72 20 78 20 79 |p (remai|nder x y|
|000022e0| 29 0a 09 09 09 20 20 78 | 29 0a 09 09 20 20 20 28 |).... x|)... (|
|000022f0| 61 6e 64 20 28 6e 6f 74 | 20 28 7a 65 72 6f 70 20 |and (not| (zerop |
|00002300| 79 29 29 0a 09 09 09 28 | 6e 6f 74 20 28 7a 65 72 |y))....(|not (zer|
|00002310| 6f 70 20 78 29 29 0a 09 | 09 09 28 6e 6f 74 20 28 |op x))..|..(not (|
|00002320| 6c 65 73 73 70 20 78 20 | 79 29 29 29 29 0a 09 20 |lessp x |y)))).. |
|00002330| 20 20 20 28 65 71 75 61 | 6c 20 28 70 6f 77 65 72 | (equa|l (power|
|00002340| 2d 65 76 61 6c 20 28 70 | 6f 77 65 72 2d 72 65 70 |-eval (p|ower-rep|
|00002350| 20 69 20 62 61 73 65 29 | 0a 09 09 09 20 20 20 20 | i base)|.... |
|00002360| 20 20 20 62 61 73 65 29 | 0a 09 09 20 20 20 28 66 | base)|... (f|
|00002370| 69 78 20 69 29 29 0a 09 | 20 20 20 20 28 65 71 75 |ix i))..| (equ|
|00002380| 61 6c 20 28 70 6f 77 65 | 72 2d 65 76 61 6c 20 28 |al (powe|r-eval (|
|00002390| 62 69 67 2d 70 6c 75 73 | 20 28 70 6f 77 65 72 2d |big-plus| (power-|
|000023a0| 72 65 70 20 69 20 62 61 | 73 65 29 0a 09 09 09 09 |rep i ba|se).....|
|000023b0| 09 20 28 70 6f 77 65 72 | 2d 72 65 70 20 6a 20 62 |. (power|-rep j b|
|000023c0| 61 73 65 29 0a 09 09 09 | 09 09 20 28 7a 65 72 6f |ase)....|.. (zero|
|000023d0| 29 0a 09 09 09 09 09 20 | 62 61 73 65 29 0a 09 09 |)...... |base)...|
|000023e0| 09 20 20 20 20 20 20 20 | 62 61 73 65 29 0a 09 09 |. |base)...|
|000023f0| 20 20 20 28 70 6c 75 73 | 20 69 20 6a 29 29 0a 09 | (plus| i j))..|
|00002400| 20 20 20 20 28 65 71 75 | 61 6c 20 28 67 63 64 20 | (equ|al (gcd |
|00002410| 78 20 79 29 0a 09 09 20 | 20 20 28 67 63 64 20 79 |x y)... | (gcd y|
|00002420| 20 78 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c | x)).. | (equal|
|00002430| 20 28 6e 74 68 20 28 61 | 70 70 65 6e 64 20 61 20 | (nth (a|ppend a |
|00002440| 62 29 0a 09 09 09 69 29 | 0a 09 09 20 20 20 28 61 |b)....i)|... (a|
|00002450| 70 70 65 6e 64 20 28 6e | 74 68 20 61 20 69 29 0a |ppend (n|th a i).|
|00002460| 09 09 09 20 20 20 28 6e | 74 68 20 62 20 28 64 69 |... (n|th b (di|
|00002470| 66 66 65 72 65 6e 63 65 | 20 69 20 28 6c 65 6e 67 |fference| i (leng|
|00002480| 74 68 20 61 29 29 29 29 | 29 0a 09 20 20 20 20 28 |th a))))|).. (|
|00002490| 65 71 75 61 6c 20 28 64 | 69 66 66 65 72 65 6e 63 |equal (d|ifferenc|
|000024a0| 65 20 28 70 6c 75 73 20 | 78 20 79 29 0a 09 09 09 |e (plus |x y)....|
|000024b0| 20 20 20 20 20 20 20 78 | 29 0a 09 09 20 20 20 28 | x|)... (|
|000024c0| 66 69 78 20 79 29 29 0a | 09 20 20 20 20 28 65 71 |fix y)).|. (eq|
|000024d0| 75 61 6c 20 28 64 69 66 | 66 65 72 65 6e 63 65 20 |ual (dif|ference |
|000024e0| 28 70 6c 75 73 20 79 20 | 78 29 0a 09 09 09 20 20 |(plus y |x).... |
|000024f0| 20 20 20 20 20 78 29 0a | 09 09 20 20 20 28 66 69 | x).|.. (fi|
|00002500| 78 20 79 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 |x y)).. | (equa|
|00002510| 6c 20 28 64 69 66 66 65 | 72 65 6e 63 65 20 28 70 |l (diffe|rence (p|
|00002520| 6c 75 73 20 78 20 79 29 | 0a 09 09 09 20 20 20 20 |lus x y)|.... |
|00002530| 20 20 20 28 70 6c 75 73 | 20 78 20 7a 29 29 0a 09 | (plus| x z))..|
|00002540| 09 20 20 20 28 64 69 66 | 66 65 72 65 6e 63 65 20 |. (dif|ference |
|00002550| 79 20 7a 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 |y z)).. | (equa|
|00002560| 6c 20 28 74 69 6d 65 73 | 20 78 20 28 64 69 66 66 |l (times| x (diff|
|00002570| 65 72 65 6e 63 65 20 63 | 20 77 29 29 0a 09 09 20 |erence c| w))... |
|00002580| 20 20 28 64 69 66 66 65 | 72 65 6e 63 65 20 28 74 | (diffe|rence (t|
|00002590| 69 6d 65 73 20 63 20 78 | 29 0a 09 09 09 20 20 20 |imes c x|).... |
|000025a0| 20 20 20 20 28 74 69 6d | 65 73 20 77 20 78 29 29 | (tim|es w x))|
|000025b0| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 72 |).. (|equal (r|
|000025c0| 65 6d 61 69 6e 64 65 72 | 20 28 74 69 6d 65 73 20 |emainder| (times |
|000025d0| 78 20 7a 29 0a 09 09 09 | 20 20 20 20 20 20 7a 29 |x z)....| z)|
|000025e0| 0a 09 09 20 20 20 28 7a | 65 72 6f 29 29 0a 09 20 |... (z|ero)).. |
|000025f0| 20 20 20 28 65 71 75 61 | 6c 20 28 64 69 66 66 65 | (equa|l (diffe|
|00002600| 72 65 6e 63 65 20 28 70 | 6c 75 73 20 62 20 28 70 |rence (p|lus b (p|
|00002610| 6c 75 73 20 61 20 63 29 | 29 0a 09 09 09 20 20 20 |lus a c)|).... |
|00002620| 20 20 20 20 61 29 0a 09 | 09 20 20 20 28 70 6c 75 | a)..|. (plu|
|00002630| 73 20 62 20 63 29 29 0a | 09 20 20 20 20 28 65 71 |s b c)).|. (eq|
|00002640| 75 61 6c 20 28 64 69 66 | 66 65 72 65 6e 63 65 20 |ual (dif|ference |
|00002650| 28 61 64 64 31 20 28 70 | 6c 75 73 20 79 20 7a 29 |(add1 (p|lus y z)|
|00002660| 29 0a 09 09 09 20 20 20 | 20 20 20 20 7a 29 0a 09 |).... | z)..|
|00002670| 09 20 20 20 28 61 64 64 | 31 20 79 29 29 0a 09 20 |. (add|1 y)).. |
|00002680| 20 20 20 28 65 71 75 61 | 6c 20 28 6c 65 73 73 70 | (equa|l (lessp|
|00002690| 20 28 70 6c 75 73 20 78 | 20 79 29 0a 09 09 09 20 | (plus x| y).... |
|000026a0| 20 28 70 6c 75 73 20 78 | 20 7a 29 29 0a 09 09 20 | (plus x| z))... |
|000026b0| 20 20 28 6c 65 73 73 70 | 20 79 20 7a 29 29 0a 09 | (lessp| y z))..|
|000026c0| 20 20 20 20 28 65 71 75 | 61 6c 20 28 6c 65 73 73 | (equ|al (less|
|000026d0| 70 20 28 74 69 6d 65 73 | 20 78 20 7a 29 0a 09 09 |p (times| x z)...|
|000026e0| 09 20 20 28 74 69 6d 65 | 73 20 79 20 7a 29 29 0a |. (time|s y z)).|
|000026f0| 09 09 20 20 20 28 61 6e | 64 20 28 6e 6f 74 20 28 |.. (an|d (not (|
|00002700| 7a 65 72 6f 70 20 7a 29 | 29 0a 09 09 09 28 6c 65 |zerop z)|)....(le|
|00002710| 73 73 70 20 78 20 79 29 | 29 29 0a 09 20 20 20 20 |ssp x y)|)).. |
|00002720| 28 65 71 75 61 6c 20 28 | 6c 65 73 73 70 20 79 20 |(equal (|lessp y |
|00002730| 28 70 6c 75 73 20 78 20 | 79 29 29 0a 09 09 20 20 |(plus x |y))... |
|00002740| 20 28 6e 6f 74 20 28 7a | 65 72 6f 70 20 78 29 29 | (not (z|erop x))|
|00002750| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 67 |).. (|equal (g|
|00002760| 63 64 20 28 74 69 6d 65 | 73 20 78 20 7a 29 0a 09 |cd (time|s x z)..|
|00002770| 09 09 28 74 69 6d 65 73 | 20 79 20 7a 29 29 0a 09 |..(times| y z))..|
|00002780| 09 20 20 20 28 74 69 6d | 65 73 20 7a 20 28 67 63 |. (tim|es z (gc|
|00002790| 64 20 78 20 79 29 29 29 | 0a 09 20 20 20 20 28 65 |d x y)))|.. (e|
|000027a0| 71 75 61 6c 20 28 76 61 | 6c 75 65 20 28 6e 6f 72 |qual (va|lue (nor|
|000027b0| 6d 61 6c 69 7a 65 20 78 | 29 0a 09 09 09 20 20 61 |malize x|).... a|
|000027c0| 29 0a 09 09 20 20 20 28 | 76 61 6c 75 65 20 78 20 |)... (|value x |
|000027d0| 61 29 29 0a 09 20 20 20 | 20 28 65 71 75 61 6c 20 |a)).. | (equal |
|000027e0| 28 65 71 75 61 6c 20 28 | 66 6c 61 74 74 65 6e 20 |(equal (|flatten |
|000027f0| 78 29 0a 09 09 09 20 20 | 28 63 6f 6e 73 20 79 20 |x).... |(cons y |
|00002800| 28 6e 69 6c 29 29 29 0a | 09 09 20 20 20 28 61 6e |(nil))).|.. (an|
|00002810| 64 20 28 6e 6c 69 73 74 | 70 20 78 29 0a 09 09 09 |d (nlist|p x)....|
|00002820| 28 65 71 75 61 6c 20 78 | 20 79 29 29 29 0a 09 20 |(equal x| y))).. |
|00002830| 20 20 20 28 65 71 75 61 | 6c 20 28 6c 69 73 74 70 | (equa|l (listp|
|00002840| 20 28 67 6f 70 68 65 72 | 20 78 29 29 0a 09 09 20 | (gopher| x))... |
|00002850| 20 20 28 6c 69 73 74 70 | 20 78 29 29 0a 09 20 20 | (listp| x)).. |
|00002860| 20 20 28 65 71 75 61 6c | 20 28 73 61 6d 65 66 72 | (equal| (samefr|
|00002870| 69 6e 67 65 20 78 20 79 | 29 0a 09 09 20 20 20 28 |inge x y|)... (|
|00002880| 65 71 75 61 6c 20 28 66 | 6c 61 74 74 65 6e 20 78 |equal (f|latten x|
|00002890| 29 0a 09 09 09 20 20 28 | 66 6c 61 74 74 65 6e 20 |).... (|flatten |
|000028a0| 79 29 29 29 0a 09 20 20 | 20 20 28 65 71 75 61 6c |y))).. | (equal|
|000028b0| 20 28 65 71 75 61 6c 20 | 28 67 72 65 61 74 65 73 | (equal |(greates|
|000028c0| 74 2d 66 61 63 74 6f 72 | 20 78 20 79 29 0a 09 09 |t-factor| x y)...|
|000028d0| 09 20 20 28 7a 65 72 6f | 29 29 0a 09 09 20 20 20 |. (zero|))... |
|000028e0| 28 61 6e 64 20 28 6f 72 | 20 28 7a 65 72 6f 70 20 |(and (or| (zerop |
|000028f0| 79 29 0a 09 09 09 20 20 | 20 20 28 65 71 75 61 6c |y).... | (equal|
|00002900| 20 79 20 31 29 29 0a 09 | 09 09 28 65 71 75 61 6c | y 1))..|..(equal|
|00002910| 20 78 20 28 7a 65 72 6f | 29 29 29 29 0a 09 20 20 | x (zero|)))).. |
|00002920| 20 20 28 65 71 75 61 6c | 20 28 65 71 75 61 6c 20 | (equal| (equal |
|00002930| 28 67 72 65 61 74 65 73 | 74 2d 66 61 63 74 6f 72 |(greates|t-factor|
|00002940| 20 78 20 79 29 0a 09 09 | 09 20 20 31 29 0a 09 09 | x y)...|. 1)...|
|00002950| 20 20 20 28 65 71 75 61 | 6c 20 78 20 31 29 29 0a | (equa|l x 1)).|
|00002960| 09 20 20 20 20 28 65 71 | 75 61 6c 20 28 6e 75 6d |. (eq|ual (num|
|00002970| 62 65 72 70 20 28 67 72 | 65 61 74 65 73 74 2d 66 |berp (gr|eatest-f|
|00002980| 61 63 74 6f 72 20 78 20 | 79 29 29 0a 09 09 20 20 |actor x |y))... |
|00002990| 20 28 6e 6f 74 20 28 61 | 6e 64 20 28 6f 72 20 28 | (not (a|nd (or (|
|000029a0| 7a 65 72 6f 70 20 79 29 | 0a 09 09 09 09 20 28 65 |zerop y)|..... (e|
|000029b0| 71 75 61 6c 20 79 20 31 | 29 29 0a 09 09 09 20 20 |qual y 1|)).... |
|000029c0| 20 20 20 28 6e 6f 74 20 | 28 6e 75 6d 62 65 72 70 | (not |(numberp|
|000029d0| 20 78 29 29 29 29 29 0a | 09 20 20 20 20 28 65 71 | x))))).|. (eq|
|000029e0| 75 61 6c 20 28 74 69 6d | 65 73 2d 6c 69 73 74 20 |ual (tim|es-list |
|000029f0| 28 61 70 70 65 6e 64 20 | 78 20 79 29 29 0a 09 09 |(append |x y))...|
|00002a00| 20 20 20 28 74 69 6d 65 | 73 20 28 74 69 6d 65 73 | (time|s (times|
|00002a10| 2d 6c 69 73 74 20 78 29 | 0a 09 09 09 20 20 28 74 |-list x)|.... (t|
|00002a20| 69 6d 65 73 2d 6c 69 73 | 74 20 79 29 29 29 0a 09 |imes-lis|t y)))..|
|00002a30| 20 20 20 20 28 65 71 75 | 61 6c 20 28 70 72 69 6d | (equ|al (prim|
|00002a40| 65 2d 6c 69 73 74 20 28 | 61 70 70 65 6e 64 20 78 |e-list (|append x|
|00002a50| 20 79 29 29 0a 09 09 20 | 20 20 28 61 6e 64 20 28 | y))... | (and (|
|00002a60| 70 72 69 6d 65 2d 6c 69 | 73 74 20 78 29 0a 09 09 |prime-li|st x)...|
|00002a70| 09 28 70 72 69 6d 65 2d | 6c 69 73 74 20 79 29 29 |.(prime-|list y))|
|00002a80| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 65 |).. (|equal (e|
|00002a90| 71 75 61 6c 20 7a 20 28 | 74 69 6d 65 73 20 77 20 |qual z (|times w |
|00002aa0| 7a 29 29 0a 09 09 20 20 | 20 28 61 6e 64 20 28 6e |z))... | (and (n|
|00002ab0| 75 6d 62 65 72 70 20 7a | 29 0a 09 09 09 28 6f 72 |umberp z|)....(or|
|00002ac0| 20 28 65 71 75 61 6c 20 | 7a 20 28 7a 65 72 6f 29 | (equal |z (zero)|
|00002ad0| 29 0a 09 09 09 20 20 20 | 20 28 65 71 75 61 6c 20 |).... | (equal |
|00002ae0| 77 20 31 29 29 29 29 0a | 09 20 20 20 20 28 65 71 |w 1)))).|. (eq|
|00002af0| 75 61 6c 20 28 67 72 65 | 61 74 65 72 65 71 70 72 |ual (gre|atereqpr|
|00002b00| 20 78 20 79 29 0a 09 09 | 20 20 20 28 6e 6f 74 20 | x y)...| (not |
|00002b10| 28 6c 65 73 73 70 20 78 | 20 79 29 29 29 0a 09 20 |(lessp x| y))).. |
|00002b20| 20 20 20 28 65 71 75 61 | 6c 20 28 65 71 75 61 6c | (equa|l (equal|
|00002b30| 20 78 20 28 74 69 6d 65 | 73 20 78 20 79 29 29 0a | x (time|s x y)).|
|00002b40| 09 09 20 20 20 28 6f 72 | 20 28 65 71 75 61 6c 20 |.. (or| (equal |
|00002b50| 78 20 28 7a 65 72 6f 29 | 29 0a 09 09 20 20 20 20 |x (zero)|)... |
|00002b60| 20 20 20 28 61 6e 64 20 | 28 6e 75 6d 62 65 72 70 | (and |(numberp|
|00002b70| 20 78 29 0a 09 09 09 20 | 20 20 20 28 65 71 75 61 | x).... | (equa|
|00002b80| 6c 20 79 20 31 29 29 29 | 29 0a 09 20 20 20 20 28 |l y 1)))|).. (|
|00002b90| 65 71 75 61 6c 20 28 72 | 65 6d 61 69 6e 64 65 72 |equal (r|emainder|
|00002ba0| 20 28 74 69 6d 65 73 20 | 79 20 78 29 0a 09 09 09 | (times |y x)....|
|00002bb0| 20 20 20 20 20 20 79 29 | 0a 09 09 20 20 20 28 7a | y)|... (z|
|00002bc0| 65 72 6f 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 |ero)).. | (equa|
|00002bd0| 6c 20 28 65 71 75 61 6c | 20 28 74 69 6d 65 73 20 |l (equal| (times |
|00002be0| 61 20 62 29 0a 09 09 09 | 20 20 31 29 0a 09 09 20 |a b)....| 1)... |
|00002bf0| 20 20 28 61 6e 64 20 28 | 6e 6f 74 20 28 65 71 75 | (and (|not (equ|
|00002c00| 61 6c 20 61 20 28 7a 65 | 72 6f 29 29 29 0a 09 09 |al a (ze|ro)))...|
|00002c10| 09 28 6e 6f 74 20 28 65 | 71 75 61 6c 20 62 20 28 |.(not (e|qual b (|
|00002c20| 7a 65 72 6f 29 29 29 0a | 09 09 09 28 6e 75 6d 62 |zero))).|...(numb|
|00002c30| 65 72 70 20 61 29 0a 09 | 09 09 28 6e 75 6d 62 65 |erp a)..|..(numbe|
|00002c40| 72 70 20 62 29 0a 09 09 | 09 28 65 71 75 61 6c 20 |rp b)...|.(equal |
|00002c50| 28 31 2d 20 61 29 0a 09 | 09 09 20 20 20 20 20 20 |(1- a)..|.. |
|00002c60| 20 28 7a 65 72 6f 29 29 | 0a 09 09 09 28 65 71 75 | (zero))|....(equ|
|00002c70| 61 6c 20 28 31 2d 20 62 | 29 0a 09 09 09 20 20 20 |al (1- b|).... |
|00002c80| 20 20 20 20 28 7a 65 72 | 6f 29 29 29 29 0a 09 20 | (zer|o)))).. |
|00002c90| 20 20 20 28 65 71 75 61 | 6c 20 28 6c 65 73 73 70 | (equa|l (lessp|
|00002ca0| 20 28 6c 65 6e 67 74 68 | 20 28 64 65 6c 65 74 65 | (length| (delete|
|00002cb0| 20 78 20 6c 29 29 0a 09 | 09 09 20 20 28 6c 65 6e | x l))..|.. (len|
|00002cc0| 67 74 68 20 6c 29 29 0a | 09 09 20 20 20 28 6d 65 |gth l)).|.. (me|
|00002cd0| 6d 62 65 72 20 78 20 6c | 29 29 0a 09 20 20 20 20 |mber x l|)).. |
|00002ce0| 28 65 71 75 61 6c 20 28 | 73 6f 72 74 32 20 28 64 |(equal (|sort2 (d|
|00002cf0| 65 6c 65 74 65 20 78 20 | 6c 29 29 0a 09 09 20 20 |elete x |l))... |
|00002d00| 20 28 64 65 6c 65 74 65 | 20 78 20 28 73 6f 72 74 | (delete| x (sort|
|00002d10| 32 20 6c 29 29 29 0a 09 | 20 20 20 20 28 65 71 75 |2 l)))..| (equ|
|00002d20| 61 6c 20 28 64 73 6f 72 | 74 20 78 29 0a 09 09 20 |al (dsor|t x)... |
|00002d30| 20 20 28 73 6f 72 74 32 | 20 78 29 29 0a 09 20 20 | (sort2| x)).. |
|00002d40| 20 20 28 65 71 75 61 6c | 20 28 6c 65 6e 67 74 68 | (equal| (length|
|00002d50| 20 28 63 6f 6e 73 20 78 | 31 0a 09 09 09 09 20 28 | (cons x|1..... (|
|00002d60| 63 6f 6e 73 20 78 32 0a | 09 09 09 09 20 20 20 20 |cons x2.|.... |
|00002d70| 20 20 20 28 63 6f 6e 73 | 20 78 33 20 28 63 6f 6e | (cons| x3 (con|
|00002d80| 73 20 78 34 0a 09 09 09 | 09 09 09 20 20 20 20 20 |s x4....|... |
|00002d90| 20 28 63 6f 6e 73 20 78 | 35 0a 09 09 09 09 09 09 | (cons x|5.......|
|00002da0| 09 20 20 20 20 28 63 6f | 6e 73 20 78 36 20 78 37 |. (co|ns x6 x7|
|00002db0| 29 29 29 29 29 29 29 0a | 09 09 20 20 20 28 70 6c |))))))).|.. (pl|
|00002dc0| 75 73 20 36 20 28 6c 65 | 6e 67 74 68 20 78 37 29 |us 6 (le|ngth x7)|
|00002dd0| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|00002de0| 64 69 66 66 65 72 65 6e | 63 65 20 28 61 64 64 31 |differen|ce (add1|
|00002df0| 20 28 61 64 64 31 20 78 | 29 29 0a 09 09 09 20 20 | (add1 x|)).... |
|00002e00| 20 20 20 20 20 32 29 0a | 09 09 20 20 20 28 66 69 | 2).|.. (fi|
|00002e10| 78 20 78 29 29 0a 09 20 | 20 20 20 28 65 71 75 61 |x x)).. | (equa|
|00002e20| 6c 20 28 71 75 6f 74 69 | 65 6e 74 20 28 70 6c 75 |l (quoti|ent (plu|
|00002e30| 73 20 78 20 28 70 6c 75 | 73 20 78 20 79 29 29 0a |s x (plu|s x y)).|
|00002e40| 09 09 09 20 20 20 20 20 | 32 29 0a 09 09 20 20 20 |... |2)... |
|00002e50| 28 70 6c 75 73 20 78 20 | 28 71 75 6f 74 69 65 6e |(plus x |(quotien|
|00002e60| 74 20 79 20 32 29 29 29 | 0a 09 20 20 20 20 28 65 |t y 2)))|.. (e|
|00002e70| 71 75 61 6c 20 28 73 69 | 67 6d 61 20 28 7a 65 72 |qual (si|gma (zer|
|00002e80| 6f 29 0a 09 09 09 20 20 | 69 29 0a 09 09 20 20 20 |o).... |i)... |
|00002e90| 28 71 75 6f 74 69 65 6e | 74 20 28 74 69 6d 65 73 |(quotien|t (times|
|00002ea0| 20 69 20 28 61 64 64 31 | 20 69 29 29 0a 09 09 09 | i (add1| i))....|
|00002eb0| 20 20 20 20 20 32 29 29 | 0a 09 20 20 20 20 28 65 | 2))|.. (e|
|00002ec0| 71 75 61 6c 20 28 70 6c | 75 73 20 78 20 28 61 64 |qual (pl|us x (ad|
|00002ed0| 64 31 20 79 29 29 0a 09 | 09 20 20 20 28 69 66 20 |d1 y))..|. (if |
|00002ee0| 28 6e 75 6d 62 65 72 70 | 20 79 29 0a 09 09 20 20 |(numberp| y)... |
|00002ef0| 20 20 20 20 20 28 61 64 | 64 31 20 28 70 6c 75 73 | (ad|d1 (plus|
|00002f00| 20 78 20 79 29 29 0a 09 | 09 20 20 20 20 20 20 20 | x y))..|. |
|00002f10| 28 61 64 64 31 20 78 29 | 29 29 0a 09 20 20 20 20 |(add1 x)|)).. |
|00002f20| 28 65 71 75 61 6c 20 28 | 65 71 75 61 6c 20 28 64 |(equal (|equal (d|
|00002f30| 69 66 66 65 72 65 6e 63 | 65 20 78 20 79 29 0a 09 |ifferenc|e x y)..|
|00002f40| 09 09 20 20 28 64 69 66 | 66 65 72 65 6e 63 65 20 |.. (dif|ference |
|00002f50| 7a 20 79 29 29 0a 09 09 | 20 20 20 28 69 66 20 28 |z y))...| (if (|
|00002f60| 6c 65 73 73 70 20 78 20 | 79 29 0a 09 09 20 20 20 |lessp x |y)... |
|00002f70| 20 20 20 20 28 6e 6f 74 | 20 28 6c 65 73 73 70 20 | (not| (lessp |
|00002f80| 79 20 7a 29 29 0a 09 09 | 20 20 20 20 20 20 20 28 |y z))...| (|
|00002f90| 69 66 20 28 6c 65 73 73 | 70 20 7a 20 79 29 0a 09 |if (less|p z y)..|
|00002fa0| 09 09 20 20 20 28 6e 6f | 74 20 28 6c 65 73 73 70 |.. (no|t (lessp|
|00002fb0| 20 79 20 78 29 29 0a 09 | 09 09 20 20 20 28 65 71 | y x))..|.. (eq|
|00002fc0| 75 61 6c 20 28 66 69 78 | 20 78 29 0a 09 09 09 09 |ual (fix| x).....|
|00002fd0| 20 20 28 66 69 78 20 7a | 29 29 29 29 29 0a 09 20 | (fix z|))))).. |
|00002fe0| 20 20 20 28 65 71 75 61 | 6c 20 28 6d 65 61 6e 69 | (equa|l (meani|
|00002ff0| 6e 67 20 28 70 6c 75 73 | 2d 74 72 65 65 20 28 64 |ng (plus|-tree (d|
|00003000| 65 6c 65 74 65 20 78 20 | 79 29 29 0a 09 09 09 20 |elete x |y)).... |
|00003010| 20 20 20 61 29 0a 09 09 | 20 20 20 28 69 66 20 28 | a)...| (if (|
|00003020| 6d 65 6d 62 65 72 20 78 | 20 79 29 0a 09 09 20 20 |member x| y)... |
|00003030| 20 20 20 20 20 28 64 69 | 66 66 65 72 65 6e 63 65 | (di|fference|
|00003040| 20 28 6d 65 61 6e 69 6e | 67 20 28 70 6c 75 73 2d | (meanin|g (plus-|
|00003050| 74 72 65 65 20 79 29 0a | 09 09 09 09 09 20 20 20 |tree y).|..... |
|00003060| 20 61 29 0a 09 09 09 09 | 20 20 20 28 6d 65 61 6e | a).....| (mean|
|00003070| 69 6e 67 20 78 20 61 29 | 29 0a 09 09 20 20 20 20 |ing x a)|)... |
|00003080| 20 20 20 28 6d 65 61 6e | 69 6e 67 20 28 70 6c 75 | (mean|ing (plu|
|00003090| 73 2d 74 72 65 65 20 79 | 29 0a 09 09 09 09 61 29 |s-tree y|).....a)|
|000030a0| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|000030b0| 74 69 6d 65 73 20 78 20 | 28 61 64 64 31 20 79 29 |times x |(add1 y)|
|000030c0| 29 0a 09 09 20 20 20 28 | 69 66 20 28 6e 75 6d 62 |)... (|if (numb|
|000030d0| 65 72 70 20 79 29 0a 09 | 09 20 20 20 20 20 20 20 |erp y)..|. |
|000030e0| 28 70 6c 75 73 20 78 20 | 28 74 69 6d 65 73 20 78 |(plus x |(times x|
|000030f0| 20 79 29 29 0a 09 09 20 | 20 20 20 20 20 20 28 66 | y))... | (f|
|00003100| 69 78 20 78 29 29 29 0a | 09 20 20 20 20 28 65 71 |ix x))).|. (eq|
|00003110| 75 61 6c 20 28 6e 74 68 | 20 28 6e 69 6c 29 0a 09 |ual (nth| (nil)..|
|00003120| 09 09 69 29 0a 09 09 20 | 20 20 28 69 66 20 28 7a |..i)... | (if (z|
|00003130| 65 72 6f 70 20 69 29 0a | 09 09 20 20 20 20 20 20 |erop i).|.. |
|00003140| 20 28 6e 69 6c 29 0a 09 | 09 20 20 20 20 20 20 20 | (nil)..|. |
|00003150| 28 7a 65 72 6f 29 29 29 | 0a 09 20 20 20 20 28 65 |(zero)))|.. (e|
|00003160| 71 75 61 6c 20 28 6c 61 | 73 74 20 28 61 70 70 65 |qual (la|st (appe|
|00003170| 6e 64 20 61 20 62 29 29 | 0a 09 09 20 20 20 28 69 |nd a b))|... (i|
|00003180| 66 20 28 6c 69 73 74 70 | 20 62 29 0a 09 09 20 20 |f (listp| b)... |
|00003190| 20 20 20 20 20 28 6c 61 | 73 74 20 62 29 0a 09 09 | (la|st b)...|
|000031a0| 20 20 20 20 20 20 20 28 | 69 66 20 28 6c 69 73 74 | (|if (list|
|000031b0| 70 20 61 29 0a 09 09 09 | 20 20 20 28 63 6f 6e 73 |p a)....| (cons|
|000031c0| 20 28 63 61 72 20 28 6c | 61 73 74 20 61 29 29 0a | (car (l|ast a)).|
|000031d0| 09 09 09 09 20 62 29 0a | 09 09 09 20 20 20 62 29 |.... b).|... b)|
|000031e0| 29 29 0a 09 20 20 20 20 | 28 65 71 75 61 6c 20 28 |)).. |(equal (|
|000031f0| 65 71 75 61 6c 20 28 6c | 65 73 73 70 20 78 20 79 |equal (l|essp x y|
|00003200| 29 0a 09 09 09 20 20 7a | 29 0a 09 09 20 20 20 28 |).... z|)... (|
|00003210| 69 66 20 28 6c 65 73 73 | 70 20 78 20 79 29 0a 09 |if (less|p x y)..|
|00003220| 09 20 20 20 20 20 20 20 | 28 65 71 75 61 6c 20 74 |. |(equal t|
|00003230| 20 7a 29 0a 09 09 20 20 | 20 20 20 20 20 28 65 71 | z)... | (eq|
|00003240| 75 61 6c 20 66 20 7a 29 | 29 29 0a 09 20 20 20 20 |ual f z)|)).. |
|00003250| 28 65 71 75 61 6c 20 28 | 61 73 73 69 67 6e 6d 65 |(equal (|assignme|
|00003260| 6e 74 20 78 20 28 61 70 | 70 65 6e 64 20 61 20 62 |nt x (ap|pend a b|
|00003270| 29 29 0a 09 09 20 20 20 | 28 69 66 20 28 61 73 73 |))... |(if (ass|
|00003280| 69 67 6e 65 64 70 20 78 | 20 61 29 0a 09 09 20 20 |ignedp x| a)... |
|00003290| 20 20 20 20 20 28 61 73 | 73 69 67 6e 6d 65 6e 74 | (as|signment|
|000032a0| 20 78 20 61 29 0a 09 09 | 20 20 20 20 20 20 20 28 | x a)...| (|
|000032b0| 61 73 73 69 67 6e 6d 65 | 6e 74 20 78 20 62 29 29 |assignme|nt x b))|
|000032c0| 29 0a 09 20 20 20 20 28 | 65 71 75 61 6c 20 28 63 |).. (|equal (c|
|000032d0| 61 72 20 28 67 6f 70 68 | 65 72 20 78 29 29 0a 09 |ar (goph|er x))..|
|000032e0| 09 20 20 20 28 69 66 20 | 28 6c 69 73 74 70 20 78 |. (if |(listp x|
|000032f0| 29 0a 09 09 20 20 20 20 | 20 20 20 28 63 61 72 20 |)... | (car |
|00003300| 28 66 6c 61 74 74 65 6e | 20 78 29 29 0a 09 09 20 |(flatten| x))... |
|00003310| 20 20 20 20 20 20 28 7a | 65 72 6f 29 29 29 0a 09 | (z|ero)))..|
|00003320| 20 20 20 20 28 65 71 75 | 61 6c 20 28 66 6c 61 74 | (equ|al (flat|
|00003330| 74 65 6e 20 28 63 64 72 | 20 28 67 6f 70 68 65 72 |ten (cdr| (gopher|
|00003340| 20 78 29 29 29 0a 09 09 | 20 20 20 28 69 66 20 28 | x)))...| (if (|
|00003350| 6c 69 73 74 70 20 78 29 | 0a 09 09 20 20 20 20 20 |listp x)|... |
|00003360| 20 20 28 63 64 72 20 28 | 66 6c 61 74 74 65 6e 20 | (cdr (|flatten |
|00003370| 78 29 29 0a 09 09 20 20 | 20 20 20 20 20 28 63 6f |x))... | (co|
|00003380| 6e 73 20 28 7a 65 72 6f | 29 0a 09 09 09 20 20 20 |ns (zero|).... |
|00003390| 20 20 28 6e 69 6c 29 29 | 29 29 0a 09 20 20 20 20 | (nil))|)).. |
|000033a0| 28 65 71 75 61 6c 20 28 | 71 75 6f 74 69 65 6e 74 |(equal (|quotient|
|000033b0| 20 28 74 69 6d 65 73 20 | 79 20 78 29 0a 09 09 09 | (times |y x)....|
|000033c0| 20 20 20 20 20 79 29 0a | 09 09 20 20 20 28 69 66 | y).|.. (if|
|000033d0| 20 28 7a 65 72 6f 70 20 | 79 29 0a 09 09 20 20 20 | (zerop |y)... |
|000033e0| 20 20 20 20 28 7a 65 72 | 6f 29 0a 09 09 20 20 20 | (zer|o)... |
|000033f0| 20 20 20 20 28 66 69 78 | 20 78 29 29 29 0a 09 20 | (fix| x))).. |
|00003400| 20 20 20 28 65 71 75 61 | 6c 20 28 67 65 74 20 6a | (equa|l (get j|
|00003410| 20 28 73 65 74 20 69 20 | 76 61 6c 20 6d 65 6d 29 | (set i |val mem)|
|00003420| 29 0a 09 09 20 20 20 28 | 69 66 20 28 65 71 70 20 |)... (|if (eqp |
|00003430| 6a 20 69 29 0a 09 09 20 | 20 20 20 20 20 20 76 61 |j i)... | va|
|00003440| 6c 0a 09 09 20 20 20 20 | 20 20 20 28 67 65 74 20 |l... | (get |
|00003450| 6a 20 6d 65 6d 29 29 29 | 29 29 29 29 0a 0a 28 64 |j mem)))|))))..(d|
|00003460| 65 66 75 6e 20 74 61 75 | 74 6f 6c 6f 67 79 70 20 |efun tau|tologyp |
|00003470| 28 78 20 74 72 75 65 2d | 6c 73 74 20 66 61 6c 73 |(x true-|lst fals|
|00003480| 65 2d 6c 73 74 29 0a 20 | 20 28 63 6f 6e 64 20 28 |e-lst). | (cond (|
|00003490| 28 74 72 75 65 70 20 78 | 20 74 72 75 65 2d 6c 73 |(truep x| true-ls|
|000034a0| 74 29 0a 09 20 74 29 0a | 09 28 28 66 61 6c 73 65 |t).. t).|.((false|
|000034b0| 70 20 78 20 66 61 6c 73 | 65 2d 6c 73 74 29 0a 09 |p x fals|e-lst)..|
|000034c0| 20 6e 69 6c 29 0a 09 28 | 28 61 74 6f 6d 20 78 29 | nil)..(|(atom x)|
|000034d0| 0a 09 20 6e 69 6c 29 0a | 09 28 28 65 71 20 28 63 |.. nil).|.((eq (c|
|000034e0| 61 72 20 78 29 0a 09 20 | 20 20 20 20 28 71 75 6f |ar x).. | (quo|
|000034f0| 74 65 20 69 66 29 29 0a | 09 20 28 63 6f 6e 64 20 |te if)).|. (cond |
|00003500| 28 28 74 72 75 65 70 20 | 28 63 61 64 72 20 78 29 |((truep |(cadr x)|
|00003510| 0a 09 09 20 20 20 20 20 | 20 20 74 72 75 65 2d 6c |... | true-l|
|00003520| 73 74 29 0a 09 09 28 74 | 61 75 74 6f 6c 6f 67 79 |st)...(t|autology|
|00003530| 70 20 28 63 61 64 64 72 | 20 78 29 0a 09 09 09 20 |p (caddr| x).... |
|00003540| 20 20 20 74 72 75 65 2d | 6c 73 74 20 66 61 6c 73 | true-|lst fals|
|00003550| 65 2d 6c 73 74 29 29 0a | 09 20 20 20 20 20 20 20 |e-lst)).|. |
|00003560| 28 28 66 61 6c 73 65 70 | 20 28 63 61 64 72 20 78 |((falsep| (cadr x|
|00003570| 29 0a 09 09 09 66 61 6c | 73 65 2d 6c 73 74 29 0a |)....fal|se-lst).|
|00003580| 09 09 28 74 61 75 74 6f | 6c 6f 67 79 70 20 28 63 |..(tauto|logyp (c|
|00003590| 61 64 64 64 72 20 78 29 | 0a 09 09 09 20 20 20 20 |adddr x)|.... |
|000035a0| 74 72 75 65 2d 6c 73 74 | 20 66 61 6c 73 65 2d 6c |true-lst| false-l|
|000035b0| 73 74 29 29 0a 09 20 20 | 20 20 20 20 20 28 74 20 |st)).. | (t |
|000035c0| 28 61 6e 64 20 28 74 61 | 75 74 6f 6c 6f 67 79 70 |(and (ta|utologyp|
|000035d0| 20 28 63 61 64 64 72 20 | 78 29 0a 09 09 09 09 20 | (caddr |x)..... |
|000035e0| 20 20 28 63 6f 6e 73 20 | 28 63 61 64 72 20 78 29 | (cons |(cadr x)|
|000035f0| 0a 09 09 09 09 09 20 74 | 72 75 65 2d 6c 73 74 29 |...... t|rue-lst)|
|00003600| 0a 09 09 09 09 20 20 20 | 66 61 6c 73 65 2d 6c 73 |..... |false-ls|
|00003610| 74 29 0a 09 09 20 20 20 | 20 20 20 20 28 74 61 75 |t)... | (tau|
|00003620| 74 6f 6c 6f 67 79 70 20 | 28 63 61 64 64 64 72 20 |tologyp |(cadddr |
|00003630| 78 29 0a 09 09 09 09 20 | 20 20 74 72 75 65 2d 6c |x)..... | true-l|
|00003640| 73 74 0a 09 09 09 09 20 | 20 20 28 63 6f 6e 73 20 |st..... | (cons |
|00003650| 28 63 61 64 72 20 78 29 | 0a 09 09 09 09 09 20 66 |(cadr x)|...... f|
|00003660| 61 6c 73 65 2d 6c 73 74 | 29 29 29 29 29 29 0a 09 |alse-lst|))))))..|
|00003670| 28 74 20 6e 69 6c 29 29 | 29 0a 0a 28 64 65 66 75 |(t nil))|)..(defu|
|00003680| 6e 20 74 61 75 74 70 20 | 28 78 29 0a 20 20 28 74 |n tautp |(x). (t|
|00003690| 61 75 74 6f 6c 6f 67 79 | 70 20 28 72 65 77 72 69 |autology|p (rewri|
|000036a0| 74 65 20 78 29 0a 09 20 | 20 20 20 20 20 6e 69 6c |te x).. | nil|
|000036b0| 20 6e 69 6c 29 29 0a 0a | 28 64 65 66 75 6e 20 74 | nil))..|(defun t|
|000036c0| 65 73 74 20 28 29 0a 20 | 20 28 70 72 6f 67 20 28 |est (). | (prog (|
|000036d0| 61 6e 73 20 74 65 72 6d | 29 0a 09 28 73 65 74 71 |ans term|)..(setq|
|000036e0| 20 74 65 72 6d 0a 09 20 | 20 20 20 20 20 28 61 70 | term.. | (ap|
|000036f0| 70 6c 79 2d 73 75 62 73 | 74 0a 09 09 28 71 75 6f |ply-subs|t...(quo|
|00003700| 74 65 20 28 28 78 20 66 | 20 28 70 6c 75 73 20 28 |te ((x f| (plus (|
|00003710| 70 6c 75 73 20 61 20 62 | 29 0a 09 09 09 09 20 20 |plus a b|)..... |
|00003720| 20 28 70 6c 75 73 20 63 | 20 28 7a 65 72 6f 29 29 | (plus c| (zero))|
|00003730| 29 29 0a 09 09 09 28 79 | 20 66 20 28 74 69 6d 65 |))....(y| f (time|
|00003740| 73 20 28 74 69 6d 65 73 | 20 61 20 62 29 0a 09 09 |s (times| a b)...|
|00003750| 09 09 20 20 20 20 28 70 | 6c 75 73 20 63 20 64 29 |.. (p|lus c d)|
|00003760| 29 29 0a 09 09 09 28 7a | 20 66 20 28 72 65 76 65 |))....(z| f (reve|
|00003770| 72 73 65 20 28 61 70 70 | 65 6e 64 20 28 61 70 70 |rse (app|end (app|
|00003780| 65 6e 64 20 61 20 62 29 | 0a 09 09 09 09 09 20 20 |end a b)|...... |
|00003790| 20 20 20 20 28 6e 69 6c | 29 29 29 29 0a 09 09 09 | (nil|))))....|
|000037a0| 28 75 20 65 71 75 61 6c | 20 28 70 6c 75 73 20 61 |(u equal| (plus a|
|000037b0| 20 62 29 0a 09 09 09 20 | 20 20 28 64 69 66 66 65 | b).... | (diffe|
|000037c0| 72 65 6e 63 65 20 78 20 | 79 29 29 0a 09 09 09 28 |rence x |y))....(|
|000037d0| 77 20 6c 65 73 73 70 20 | 28 72 65 6d 61 69 6e 64 |w lessp |(remaind|
|000037e0| 65 72 20 61 20 62 29 0a | 09 09 09 20 20 20 28 6d |er a b).|... (m|
|000037f0| 65 6d 62 65 72 20 61 20 | 28 6c 65 6e 67 74 68 20 |ember a |(length |
|00003800| 62 29 29 29 29 29 0a 09 | 09 28 71 75 6f 74 65 20 |b)))))..|.(quote |
|00003810| 28 69 6d 70 6c 69 65 73 | 20 28 61 6e 64 20 28 69 |(implies| (and (i|
|00003820| 6d 70 6c 69 65 73 20 78 | 20 79 29 0a 09 09 09 09 |mplies x| y).....|
|00003830| 20 20 20 20 20 28 61 6e | 64 20 28 69 6d 70 6c 69 | (an|d (impli|
|00003840| 65 73 20 79 20 7a 29 0a | 09 09 09 09 09 20 20 28 |es y z).|..... (|
|00003850| 61 6e 64 20 28 69 6d 70 | 6c 69 65 73 20 7a 20 75 |and (imp|lies z u|
|00003860| 29 0a 09 09 09 09 09 20 | 20 20 20 20 20 20 28 69 |)...... | (i|
|00003870| 6d 70 6c 69 65 73 20 75 | 20 77 29 29 29 29 0a 09 |mplies u| w))))..|
|00003880| 09 09 09 28 69 6d 70 6c | 69 65 73 20 78 20 77 29 |...(impl|ies x w)|
|00003890| 29 29 29 29 0a 09 28 73 | 65 74 71 20 61 6e 73 20 |))))..(s|etq ans |
|000038a0| 28 74 61 75 74 70 20 74 | 65 72 6d 29 29 29 29 0a |(tautp t|erm)))).|
|000038b0| 0a 28 64 65 66 75 6e 20 | 74 72 61 6e 73 2d 6f 66 |.(defun |trans-of|
|000038c0| 2d 69 6d 70 6c 69 65 73 | 20 28 6e 29 0a 20 20 28 |-implies| (n). (|
|000038d0| 6c 69 73 74 20 28 71 75 | 6f 74 65 20 69 6d 70 6c |list (qu|ote impl|
|000038e0| 69 65 73 29 0a 09 28 74 | 72 61 6e 73 2d 6f 66 2d |ies)..(t|rans-of-|
|000038f0| 69 6d 70 6c 69 65 73 31 | 20 6e 29 0a 09 28 6c 69 |implies1| n)..(li|
|00003900| 73 74 20 28 71 75 6f 74 | 65 20 69 6d 70 6c 69 65 |st (quot|e implie|
|00003910| 73 29 0a 09 20 20 20 20 | 20 20 30 20 6e 29 29 29 |s).. | 0 n)))|
|00003920| 0a 0a 28 64 65 66 75 6e | 20 74 72 61 6e 73 2d 6f |..(defun| trans-o|
|00003930| 66 2d 69 6d 70 6c 69 65 | 73 31 20 28 6e 29 0a 20 |f-implie|s1 (n). |
|00003940| 20 28 63 6f 6e 64 20 28 | 28 65 71 75 61 6c 20 6e | (cond (|(equal n|
|00003950| 20 31 29 09 09 09 3b 20 | 49 20 74 68 69 6e 6b 20 | 1)...; |I think |
|00003960| 28 65 71 6c 20 6e 20 31 | 29 20 6d 61 79 20 77 6f |(eql n 1|) may wo|
|00003970| 72 6b 20 68 65 72 65 0a | 09 20 28 6c 69 73 74 20 |rk here.|. (list |
|00003980| 28 71 75 6f 74 65 20 69 | 6d 70 6c 69 65 73 29 0a |(quote i|mplies).|
|00003990| 09 20 20 20 20 20 20 20 | 30 20 31 29 29 0a 09 28 |. |0 1))..(|
|000039a0| 74 20 28 6c 69 73 74 20 | 28 71 75 6f 74 65 20 61 |t (list |(quote a|
|000039b0| 6e 64 29 0a 09 09 20 28 | 6c 69 73 74 20 28 71 75 |nd)... (|list (qu|
|000039c0| 6f 74 65 20 69 6d 70 6c | 69 65 73 29 0a 09 09 20 |ote impl|ies)... |
|000039d0| 20 20 20 20 20 20 28 31 | 2d 20 6e 29 0a 09 09 20 | (1|- n)... |
|000039e0| 20 20 20 20 20 20 6e 29 | 0a 09 09 20 28 74 72 61 | n)|... (tra|
|000039f0| 6e 73 2d 6f 66 2d 69 6d | 70 6c 69 65 73 31 20 28 |ns-of-im|plies1 (|
|00003a00| 31 2d 20 6e 29 29 29 29 | 29 29 0a 0a 28 64 65 66 |1- n))))|))..(def|
|00003a10| 75 6e 20 74 72 75 65 70 | 20 28 78 20 6c 73 74 29 |un truep| (x lst)|
|00003a20| 0a 20 20 20 20 20 20 20 | 28 6f 72 20 28 65 71 75 |. |(or (equ|
|00003a30| 61 6c 20 78 20 28 71 75 | 6f 74 65 20 28 74 29 29 |al x (qu|ote (t))|
|00003a40| 29 0a 09 20 20 20 28 6d | 65 6d 62 65 72 20 78 20 |).. (m|ember x |
|00003a50| 6c 73 74 29 29 29 0a 0a | 28 65 76 61 6c 2d 77 68 |lst)))..|(eval-wh|
|00003a60| 65 6e 20 28 6c 6f 61 64 | 20 65 76 61 6c 29 0a 20 |en (load| eval). |
|00003a70| 20 28 73 65 74 75 70 29 | 29 0a 0a 3b 3b 3b 20 6d | (setup)|)..;;; m|
|00003a80| 61 6b 65 20 73 75 72 65 | 20 79 6f 75 27 76 65 20 |ake sure| you've |
|00003a90| 72 75 6e 20 28 73 65 74 | 75 70 29 20 74 68 65 6e |run (set|up) then|
|00003aa0| 20 63 61 6c 6c 3a 20 20 | 28 74 65 73 74 29 0a 0a | call: |(test)..|
|00003ab0| 28 72 75 6e 2d 62 65 6e | 63 68 6d 61 72 6b 20 22 |(run-ben|chmark "|
|00003ac0| 42 6f 79 65 72 22 20 27 | 28 74 65 73 74 29 29 0a |Boyer" '|(test)).|
|00003ad0| 0a 53 48 41 52 5f 45 4f | 46 0a 66 69 20 23 20 65 |.SHAR_EO|F.fi # e|
|00003ae0| 6e 64 20 6f 66 20 6f 76 | 65 72 77 72 69 74 69 6e |nd of ov|erwritin|
|00003af0| 67 20 63 68 65 63 6b 0a | 69 66 20 74 65 73 74 20 |g check.|if test |
|00003b00| 2d 66 20 27 62 72 6f 77 | 73 65 2e 63 6c 27 0a 74 |-f 'brow|se.cl'.t|
|00003b10| 68 65 6e 0a 09 65 63 68 | 6f 20 73 68 61 72 3a 20 |hen..ech|o shar: |
|00003b20| 77 69 6c 6c 20 6e 6f 74 | 20 6f 76 65 72 2d 77 72 |will not| over-wr|
|00003b30| 69 74 65 20 65 78 69 73 | 74 69 6e 67 20 66 69 6c |ite exis|ting fil|
|00003b40| 65 20 22 27 62 72 6f 77 | 73 65 2e 63 6c 27 22 0a |e "'brow|se.cl'".|
|00003b50| 65 6c 73 65 0a 63 61 74 | 20 3c 3c 20 5c 53 48 41 |else.cat| << \SHA|
|00003b60| 52 5f 45 4f 46 20 3e 20 | 27 62 72 6f 77 73 65 2e |R_EOF > |'browse.|
|00003b70| 63 6c 27 0a 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |cl'.;;;;|;;;;;;;;|
|00003b80| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003b90| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003ba0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003bb0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003bc0| 3b 0a 3b 20 46 69 6c 65 | 3a 20 20 20 20 20 20 20 |;.; File|: |
|00003bd0| 20 20 62 72 6f 77 73 65 | 2e 63 6c 0a 3b 20 44 65 | browse|.cl.; De|
|00003be0| 73 63 72 69 70 74 69 6f | 6e 3a 20 20 54 68 65 20 |scriptio|n: The |
|00003bf0| 42 52 4f 57 53 45 20 62 | 65 6e 63 68 6d 61 72 6b |BROWSE b|enchmark|
|00003c00| 20 66 72 6f 6d 20 74 68 | 65 20 47 61 62 72 69 65 | from th|e Gabrie|
|00003c10| 6c 20 74 65 73 74 73 0a | 3b 20 41 75 74 68 6f 72 |l tests.|; Author|
|00003c20| 3a 20 20 20 20 20 20 20 | 52 69 63 68 61 72 64 20 |: |Richard |
|00003c30| 47 61 62 72 69 65 6c 0a | 3b 20 43 72 65 61 74 65 |Gabriel.|; Create|
|00003c40| 64 3a 20 20 20 20 20 20 | 38 2d 41 70 72 2d 38 35 |d: |8-Apr-85|
|00003c50| 0a 3b 20 4d 6f 64 69 66 | 69 65 64 3a 20 20 20 20 |.; Modif|ied: |
|00003c60| 20 31 34 2d 4a 75 6e 2d | 38 35 20 31 38 3a 34 34 | 14-Jun-|85 18:44|
|00003c70| 3a 34 39 20 28 42 6f 62 | 20 53 68 61 77 29 0a 3b |:49 (Bob| Shaw).;|
|00003c80| 20 4c 61 6e 67 75 61 67 | 65 3a 20 20 20 20 20 43 | Languag|e: C|
|00003c90| 6f 6d 6d 6f 6e 20 4c 69 | 73 70 0a 3b 20 50 61 63 |ommon Li|sp.; Pac|
|00003ca0| 6b 61 67 65 3a 20 20 20 | 20 20 20 55 73 65 72 0a |kage: | User.|
|00003cb0| 3b 20 53 74 61 74 75 73 | 3a 20 20 20 20 20 20 20 |; Status|: |
|00003cc0| 50 75 62 6c 69 63 20 44 | 6f 6d 61 69 6e 0a 3b 3b |Public D|omain.;;|
|00003cd0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00003ce0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|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 0a 0a 3b 3b |;;;;;;;;|;;;;..;;|
|00003d20| 3b 20 42 52 4f 57 53 45 | 20 2d 2d 20 42 65 6e 63 |; BROWSE| -- Benc|
|00003d30| 68 6d 61 72 6b 20 74 6f | 20 63 72 65 61 74 65 20 |hmark to| create |
|00003d40| 61 6e 64 20 62 72 6f 77 | 73 65 20 74 68 72 6f 75 |and brow|se throu|
|00003d50| 67 68 20 0a 3b 3b 3b 20 | 61 6e 20 41 49 2d 6c 69 |gh .;;; |an AI-li|
|00003d60| 6b 65 20 64 61 74 61 20 | 62 61 73 65 20 6f 66 20 |ke data |base of |
|00003d70| 75 6e 69 74 73 2e 0a 0a | 3b 3b 3b 20 6e 20 69 73 |units...|;;; n is|
|00003d80| 20 23 20 6f 66 20 73 79 | 6d 62 6f 6c 73 0a 3b 3b | # of sy|mbols.;;|
|00003d90| 3b 20 6d 20 69 73 20 6d | 61 78 69 6d 75 6d 20 61 |; m is m|aximum a|
|00003da0| 6d 6f 75 6e 74 20 6f 66 | 20 73 74 75 66 66 20 6f |mount of| stuff o|
|00003db0| 6e 20 74 68 65 20 70 6c | 69 73 74 0a 3b 3b 3b 20 |n the pl|ist.;;; |
|00003dc0| 6e 70 61 74 73 20 69 73 | 20 74 68 65 20 6e 75 6d |npats is| the num|
|00003dd0| 62 65 72 20 6f 66 20 62 | 61 73 69 63 20 70 61 74 |ber of b|asic pat|
|00003de0| 74 65 72 6e 73 20 6f 6e | 20 74 68 65 20 75 6e 69 |terns on| the uni|
|00003df0| 74 0a 3b 3b 3b 20 69 70 | 61 74 73 20 69 73 20 74 |t.;;; ip|ats is t|
|00003e00| 68 65 20 69 6e 73 74 61 | 6e 74 69 61 74 65 64 20 |he insta|ntiated |
|00003e10| 63 6f 70 69 65 73 20 6f | 66 20 74 68 65 20 70 61 |copies o|f the pa|
|00003e20| 74 74 65 72 6e 73 0a 0a | 28 64 65 66 76 61 72 20 |tterns..|(defvar |
|00003e30| 2a 72 61 6e 64 2a 20 32 | 31 29 0a 0a 28 64 65 66 |*rand* 2|1)..(def|
|00003e40| 6d 61 63 72 6f 20 63 68 | 61 72 31 20 28 78 29 20 |macro ch|ar1 (x) |
|00003e50| 60 28 73 63 68 61 72 20 | 28 73 79 6d 62 6f 6c 2d |`(schar |(symbol-|
|00003e60| 6e 61 6d 65 20 2c 78 29 | 20 30 29 29 0a 0a 28 64 |name ,x)| 0))..(d|
|00003e70| 65 66 75 6e 20 69 6e 69 | 74 20 28 6e 20 6d 20 6e |efun ini|t (n m n|
|00003e80| 70 61 74 73 20 69 70 61 | 74 73 29 0a 20 20 28 64 |pats ipa|ts). (d|
|00003e90| 65 63 6c 61 72 65 20 28 | 66 69 78 6e 75 6d 20 6e |eclare (|fixnum n|
|00003ea0| 20 6d 20 6e 70 61 74 73 | 29 29 0a 20 20 28 6c 65 | m npats|)). (le|
|00003eb0| 74 20 28 28 69 70 61 74 | 73 20 28 63 6f 70 79 2d |t ((ipat|s (copy-|
|00003ec0| 74 72 65 65 20 69 70 61 | 74 73 29 29 29 0a 20 20 |tree ipa|ts))). |
|00003ed0| 20 20 28 64 6f 20 28 28 | 70 20 69 70 61 74 73 20 | (do ((|p ipats |
|00003ee0| 28 63 64 72 20 70 29 29 | 29 0a 09 28 28 6e 75 6c |(cdr p))|)..((nul|
|00003ef0| 6c 20 28 63 64 72 20 70 | 29 29 20 28 72 70 6c 61 |l (cdr p|)) (rpla|
|00003f00| 63 64 20 70 20 69 70 61 | 74 73 29 29 29 09 0a 20 |cd p ipa|ts))).. |
|00003f10| 20 20 20 28 64 6f 20 28 | 28 6e 20 6e 20 28 31 2d | (do (|(n n (1-|
|00003f20| 20 6e 29 29 0a 09 20 28 | 69 20 6d 20 28 63 6f 6e | n)).. (|i m (con|
|00003f30| 64 20 28 28 3d 20 69 20 | 30 29 20 6d 29 0a 09 09 |d ((= i |0) m)...|
|00003f40| 20 20 20 20 28 74 20 28 | 31 2d 20 69 29 29 29 29 | (t (|1- i))))|
|00003f50| 0a 09 20 28 6e 61 6d 65 | 20 28 67 65 6e 73 79 6d |.. (name| (gensym|
|00003f60| 29 20 28 67 65 6e 73 79 | 6d 29 29 0a 09 20 28 61 |) (gensy|m)).. (a|
|00003f70| 20 6e 69 6c 29 29 0a 09 | 28 28 3d 20 6e 20 30 29 | nil))..|((= n 0)|
|00003f80| 20 61 29 0a 20 20 20 20 | 20 20 28 64 65 63 6c 61 | a). | (decla|
|00003f90| 72 65 20 28 66 69 78 6e | 75 6d 20 6e 20 69 29 29 |re (fixn|um n i))|
|00003fa0| 0a 20 20 20 20 20 20 28 | 70 75 73 68 20 6e 61 6d |. (|push nam|
|00003fb0| 65 20 61 29 0a 20 20 20 | 20 20 20 28 64 6f 20 28 |e a). | (do (|
|00003fc0| 28 69 20 69 20 28 31 2d | 20 69 29 29 29 0a 09 20 |(i i (1-| i))).. |
|00003fd0| 20 28 28 3d 20 69 20 30 | 29 29 0a 09 28 64 65 63 | ((= i 0|))..(dec|
|00003fe0| 6c 61 72 65 20 28 66 69 | 78 6e 75 6d 20 69 29 29 |lare (fi|xnum i))|
|00003ff0| 0a 09 28 73 65 74 66 20 | 28 67 65 74 20 6e 61 6d |..(setf |(get nam|
|00004000| 65 20 28 67 65 6e 73 79 | 6d 29 29 20 6e 69 6c 29 |e (gensy|m)) nil)|
|00004010| 29 0a 20 20 20 20 20 20 | 28 73 65 74 66 20 28 67 |). |(setf (g|
|00004020| 65 74 20 6e 61 6d 65 20 | 27 70 61 74 74 65 72 6e |et name |'pattern|
|00004030| 29 0a 09 20 20 20 20 28 | 64 6f 20 28 28 69 20 6e |).. (|do ((i n|
|00004040| 70 61 74 73 20 28 31 2d | 20 69 29 29 0a 09 09 20 |pats (1-| i))... |
|00004050| 28 69 70 61 74 73 20 69 | 70 61 74 73 20 28 63 64 |(ipats i|pats (cd|
|00004060| 72 20 69 70 61 74 73 29 | 29 0a 09 09 20 28 61 20 |r ipats)|)... (a |
|00004070| 28 29 29 29 0a 09 09 28 | 28 3d 20 69 20 30 29 20 |()))...(|(= i 0) |
|00004080| 61 29 0a 09 20 20 20 20 | 20 20 28 64 65 63 6c 61 |a).. | (decla|
|00004090| 72 65 20 28 66 69 78 6e | 75 6d 20 69 20 69 70 61 |re (fixn|um i ipa|
|000040a0| 74 73 29 29 0a 09 20 20 | 20 20 20 20 28 70 75 73 |ts)).. | (pus|
|000040b0| 68 20 28 63 61 72 20 69 | 70 61 74 73 29 20 61 29 |h (car i|pats) a)|
|000040c0| 29 29 0a 20 20 20 20 20 | 20 28 64 6f 20 28 28 6a |)). | (do ((j|
|000040d0| 20 28 2d 20 6d 20 69 29 | 20 28 31 2d 20 6a 29 29 | (- m i)| (1- j))|
|000040e0| 29 0a 09 20 20 28 28 3d | 20 6a 20 30 29 29 0a 09 |).. ((=| j 0))..|
|000040f0| 28 64 65 63 6c 61 72 65 | 20 28 66 69 78 6e 75 6d |(declare| (fixnum|
|00004100| 20 6a 29 29 0a 09 28 73 | 65 74 66 20 28 67 65 74 | j))..(s|etf (get|
|00004110| 20 6e 61 6d 65 20 28 67 | 65 6e 73 79 6d 29 29 20 | name (g|ensym)) |
|00004120| 6e 69 6c 29 29 29 29 29 | 20 20 0a 0a 28 64 65 66 |nil)))))| ..(def|
|00004130| 75 6e 20 62 72 6f 77 73 | 65 2d 72 61 6e 64 6f 6d |un brows|e-random|
|00004140| 20 28 29 0a 20 20 28 73 | 65 74 71 20 2a 72 61 6e | (). (s|etq *ran|
|00004150| 64 2a 20 28 6d 6f 64 20 | 28 2a 20 2a 72 61 6e 64 |d* (mod |(* *rand|
|00004160| 2a 20 31 37 29 20 32 35 | 31 29 29 29 0a 0a 28 64 |* 17) 25|1)))..(d|
|00004170| 65 66 75 6e 20 72 61 6e | 64 6f 6d 69 7a 65 20 28 |efun ran|domize (|
|00004180| 6c 29 0a 20 20 28 64 6f | 20 28 28 61 20 28 29 29 |l). (do| ((a ())|
|00004190| 29 0a 20 20 20 20 20 20 | 28 28 6e 75 6c 6c 20 6c |). |((null l|
|000041a0| 29 20 61 29 0a 20 20 20 | 20 28 6c 65 74 20 28 28 |) a). | (let ((|
|000041b0| 6e 20 28 6d 6f 64 20 28 | 62 72 6f 77 73 65 2d 72 |n (mod (|browse-r|
|000041c0| 61 6e 64 6f 6d 29 20 28 | 6c 65 6e 67 74 68 20 6c |andom) (|length l|
|000041d0| 29 29 29 29 0a 20 20 20 | 20 20 20 28 64 65 63 6c |)))). | (decl|
|000041e0| 61 72 65 20 28 66 69 78 | 6e 75 6d 20 6e 29 29 0a |are (fix|num n)).|
|000041f0| 20 20 20 20 20 20 28 63 | 6f 6e 64 20 28 28 3d 20 | (c|ond ((= |
|00004200| 6e 20 30 29 0a 09 20 20 | 20 20 20 28 70 75 73 68 |n 0).. | (push|
|00004210| 20 28 63 61 72 20 6c 29 | 20 61 29 0a 09 20 20 20 | (car l)| a).. |
|00004220| 20 20 28 73 65 74 71 20 | 6c 20 28 63 64 72 20 6c | (setq |l (cdr l|
|00004230| 29 29 29 0a 09 20 20 20 | 20 28 74 20 0a 09 20 20 |))).. | (t .. |
|00004240| 20 20 20 28 64 6f 20 28 | 28 6e 20 6e 20 28 31 2d | (do (|(n n (1-|
|00004250| 20 6e 29 29 0a 09 09 20 | 20 28 78 20 6c 20 28 63 | n))... | (x l (c|
|00004260| 64 72 20 78 29 29 29 0a | 09 09 20 28 28 3d 20 6e |dr x))).|.. ((= n|
|00004270| 20 31 29 0a 09 09 20 20 | 28 70 75 73 68 20 28 63 | 1)... |(push (c|
|00004280| 61 64 72 20 78 29 20 61 | 29 0a 09 09 20 20 28 72 |adr x) a|)... (r|
|00004290| 70 6c 61 63 64 20 78 20 | 28 63 64 64 72 20 78 29 |placd x |(cddr x)|
|000042a0| 29 29 0a 09 09 20 28 64 | 65 63 6c 61 72 65 20 28 |))... (d|eclare (|
|000042b0| 66 69 78 6e 75 6d 20 6e | 29 29 29 29 29 29 29 29 |fixnum n|))))))))|
|000042c0| 0a 0a 28 64 65 66 75 6e | 20 6d 61 74 63 68 20 28 |..(defun| match (|
|000042d0| 70 61 74 20 64 61 74 20 | 61 6c 69 73 74 29 0a 20 |pat dat |alist). |
|000042e0| 20 28 63 6f 6e 64 20 28 | 28 6e 75 6c 6c 20 70 61 | (cond (|(null pa|
|000042f0| 74 29 0a 09 20 28 6e 75 | 6c 6c 20 64 61 74 29 29 |t).. (nu|ll dat))|
|00004300| 0a 09 28 28 6e 75 6c 6c | 20 64 61 74 29 20 28 29 |..((null| dat) ()|
|00004310| 29 0a 09 28 28 6f 72 20 | 28 65 71 20 28 63 61 72 |)..((or |(eq (car|
|00004320| 20 70 61 74 29 20 27 3f | 29 0a 09 20 20 20 20 20 | pat) '?|).. |
|00004330| 28 65 71 20 28 63 61 72 | 20 70 61 74 29 0a 09 09 |(eq (car| pat)...|
|00004340| 20 28 63 61 72 20 64 61 | 74 29 29 29 0a 09 20 28 | (car da|t))).. (|
|00004350| 6d 61 74 63 68 20 28 63 | 64 72 20 70 61 74 29 20 |match (c|dr pat) |
|00004360| 28 63 64 72 20 64 61 74 | 29 20 61 6c 69 73 74 29 |(cdr dat|) alist)|
|00004370| 29 0a 09 28 28 65 71 20 | 28 63 61 72 20 70 61 74 |)..((eq |(car pat|
|00004380| 29 20 27 2a 29 0a 09 20 | 28 6f 72 20 28 6d 61 74 |) '*).. |(or (mat|
|00004390| 63 68 20 28 63 64 72 20 | 70 61 74 29 20 64 61 74 |ch (cdr |pat) dat|
|000043a0| 20 61 6c 69 73 74 29 0a | 09 20 20 20 20 20 28 6d | alist).|. (m|
|000043b0| 61 74 63 68 20 28 63 64 | 72 20 70 61 74 29 20 28 |atch (cd|r pat) (|
|000043c0| 63 64 72 20 64 61 74 29 | 20 61 6c 69 73 74 29 0a |cdr dat)| alist).|
|000043d0| 09 20 20 20 20 20 28 6d | 61 74 63 68 20 70 61 74 |. (m|atch pat|
|000043e0| 20 28 63 64 72 20 64 61 | 74 29 20 61 6c 69 73 74 | (cdr da|t) alist|
|000043f0| 29 29 29 0a 09 28 74 20 | 28 63 6f 6e 64 20 28 28 |)))..(t |(cond ((|
|00004400| 61 74 6f 6d 20 28 63 61 | 72 20 70 61 74 29 29 0a |atom (ca|r pat)).|
|00004410| 09 09 20 20 28 63 6f 6e | 64 20 28 28 65 71 20 28 |.. (con|d ((eq (|
|00004420| 63 68 61 72 31 20 28 63 | 61 72 20 70 61 74 29 29 |char1 (c|ar pat))|
|00004430| 20 23 5c 3f 29 0a 09 09 | 09 20 28 6c 65 74 20 28 | #\?)...|. (let (|
|00004440| 28 76 61 6c 20 28 61 73 | 73 6f 63 20 28 63 61 72 |(val (as|soc (car|
|00004450| 20 70 61 74 29 20 61 6c | 69 73 74 29 29 29 0a 09 | pat) al|ist)))..|
|00004460| 09 09 20 20 20 28 63 6f | 6e 64 20 28 76 61 6c 20 |.. (co|nd (val |
|00004470| 28 6d 61 74 63 68 20 28 | 63 6f 6e 73 20 28 63 64 |(match (|cons (cd|
|00004480| 72 20 76 61 6c 29 0a 09 | 09 09 09 09 09 20 20 20 |r val)..|..... |
|00004490| 28 63 64 72 20 70 61 74 | 29 29 0a 09 09 09 09 09 |(cdr pat|))......|
|000044a0| 20 20 20 20 20 64 61 74 | 20 61 6c 69 73 74 29 29 | dat| alist))|
|000044b0| 0a 09 09 09 09 20 28 74 | 20 28 6d 61 74 63 68 20 |..... (t| (match |
|000044c0| 28 63 64 72 20 70 61 74 | 29 0a 09 09 09 09 09 20 |(cdr pat|)...... |
|000044d0| 20 20 28 63 64 72 20 64 | 61 74 29 0a 09 09 09 09 | (cdr d|at).....|
|000044e0| 09 20 20 20 28 63 6f 6e | 73 20 28 63 6f 6e 73 20 |. (con|s (cons |
|000044f0| 28 63 61 72 20 70 61 74 | 29 0a 09 09 09 09 09 09 |(car pat|).......|
|00004500| 20 20 20 20 20 20 20 28 | 63 61 72 20 64 61 74 29 | (|car dat)|
|00004510| 29 0a 09 09 09 09 09 09 | 20 61 6c 69 73 74 29 29 |).......| alist))|
|00004520| 29 29 29 29 0a 09 09 09 | 28 28 65 71 20 28 63 68 |))))....|((eq (ch|
|00004530| 61 72 31 20 28 63 61 72 | 20 70 61 74 29 29 20 23 |ar1 (car| pat)) #|
|00004540| 5c 2a 29 0a 09 09 09 20 | 28 6c 65 74 20 28 28 76 |\*).... |(let ((v|
|00004550| 61 6c 20 28 61 73 73 6f | 63 20 28 63 61 72 20 70 |al (asso|c (car p|
|00004560| 61 74 29 20 61 6c 69 73 | 74 29 29 29 0a 09 09 09 |at) alis|t)))....|
|00004570| 20 20 20 28 63 6f 6e 64 | 20 28 76 61 6c 20 28 6d | (cond| (val (m|
|00004580| 61 74 63 68 20 28 61 70 | 70 65 6e 64 20 28 63 64 |atch (ap|pend (cd|
|00004590| 72 20 76 61 6c 29 0a 09 | 09 09 09 09 09 20 20 20 |r val)..|..... |
|000045a0| 20 20 28 63 64 72 20 70 | 61 74 29 29 0a 09 09 09 | (cdr p|at))....|
|000045b0| 09 09 20 20 20 20 20 64 | 61 74 20 61 6c 69 73 74 |.. d|at alist|
|000045c0| 29 29 0a 09 09 09 09 20 | 28 74 20 0a 09 09 09 09 |))..... |(t .....|
|000045d0| 20 20 28 64 6f 20 28 28 | 6c 20 28 29 20 28 6e 63 | (do ((|l () (nc|
|000045e0| 6f 6e 63 20 6c 20 28 63 | 6f 6e 73 20 28 63 61 72 |onc l (c|ons (car|
|000045f0| 20 64 29 20 6e 69 6c 29 | 29 29 0a 09 09 09 09 20 | d) nil)|))..... |
|00004600| 20 20 20 20 20 20 28 65 | 20 28 63 6f 6e 73 20 28 | (e| (cons (|
|00004610| 29 20 64 61 74 29 20 28 | 63 64 72 20 65 29 29 0a |) dat) (|cdr e)).|
|00004620| 09 09 09 09 20 20 20 20 | 20 20 20 28 64 20 64 61 |.... | (d da|
|00004630| 74 20 28 63 64 72 20 64 | 29 29 29 0a 09 09 09 09 |t (cdr d|))).....|
|00004640| 20 20 20 20 20 20 28 28 | 6e 75 6c 6c 20 65 29 20 | ((|null e) |
|00004650| 28 29 29 0a 09 09 09 09 | 20 20 20 20 28 63 6f 6e |()).....| (con|
|00004660| 64 20 28 28 6d 61 74 63 | 68 20 28 63 64 72 20 70 |d ((matc|h (cdr p|
|00004670| 61 74 29 20 64 0a 09 09 | 09 09 09 09 20 20 28 63 |at) d...|.... (c|
|00004680| 6f 6e 73 20 28 63 6f 6e | 73 20 28 63 61 72 20 70 |ons (con|s (car p|
|00004690| 61 74 29 20 6c 29 0a 09 | 09 09 09 09 09 09 61 6c |at) l)..|......al|
|000046a0| 69 73 74 29 29 0a 09 09 | 09 09 09 20 20 20 28 72 |ist))...|... (r|
|000046b0| 65 74 75 72 6e 20 74 29 | 29 29 29 29 29 29 29 29 |eturn t)|))))))))|
|000046c0| 29 0a 09 09 20 28 74 20 | 28 61 6e 64 20 0a 09 09 |)... (t |(and ...|
|000046d0| 20 20 20 20 20 20 28 6e | 6f 74 20 28 61 74 6f 6d | (n|ot (atom|
|000046e0| 20 28 63 61 72 20 64 61 | 74 29 29 29 0a 09 09 20 | (car da|t)))... |
|000046f0| 20 20 20 20 20 28 6d 61 | 74 63 68 20 28 63 61 72 | (ma|tch (car|
|00004700| 20 70 61 74 29 0a 09 09 | 09 20 20 20 20 20 28 63 | pat)...|. (c|
|00004710| 61 72 20 64 61 74 29 20 | 61 6c 69 73 74 29 0a 09 |ar dat) |alist)..|
|00004720| 09 20 20 20 20 20 20 28 | 6d 61 74 63 68 20 28 63 |. (|match (c|
|00004730| 64 72 20 70 61 74 29 0a | 09 09 09 20 20 20 20 20 |dr pat).|... |
|00004740| 28 63 64 72 20 64 61 74 | 29 20 61 6c 69 73 74 29 |(cdr dat|) alist)|
|00004750| 29 29 29 29 29 29 0a 0a | 28 64 65 66 75 6e 20 62 |))))))..|(defun b|
|00004760| 72 6f 77 73 65 20 28 29 | 0a 20 20 28 69 6e 76 65 |rowse ()|. (inve|
|00004770| 73 74 69 67 61 74 65 20 | 0a 20 20 20 20 28 72 61 |stigate |. (ra|
|00004780| 6e 64 6f 6d 69 7a 65 20 | 0a 20 20 20 20 20 20 28 |ndomize |. (|
|00004790| 69 6e 69 74 20 31 30 30 | 20 31 30 20 34 20 27 28 |init 100| 10 4 '(|
|000047a0| 28 61 20 61 20 61 20 62 | 20 62 20 62 20 62 20 61 |(a a a b| b b b a|
|000047b0| 20 61 20 61 20 61 20 61 | 20 62 20 62 20 61 20 61 | a a a a| b b a a|
|000047c0| 20 61 29 0a 09 09 20 20 | 20 20 20 20 20 28 61 20 | a)... | (a |
|000047d0| 61 20 62 20 62 20 62 20 | 62 20 61 20 61 0a 09 09 |a b b b |b a a...|
|000047e0| 09 28 61 20 61 29 28 62 | 20 62 29 29 0a 09 09 20 |.(a a)(b| b))... |
|000047f0| 20 20 20 20 20 20 28 61 | 20 61 20 61 20 62 20 28 | (a| a a b (|
|00004800| 62 20 61 29 20 62 20 61 | 20 62 20 61 29 29 29 29 |b a) b a| b a))))|
|00004810| 0a 20 20 20 20 27 28 28 | 2a 61 20 3f 62 20 2a 62 |. '((|*a ?b *b|
|00004820| 20 3f 62 20 61 20 2a 61 | 20 61 20 2a 62 20 2a 61 | ?b a *a| a *b *a|
|00004830| 29 0a 20 20 20 20 20 20 | 28 2a 61 20 2a 62 20 2a |). |(*a *b *|
|00004840| 62 20 2a 61 20 28 2a 61 | 29 20 28 2a 62 29 29 0a |b *a (*a|) (*b)).|
|00004850| 20 20 20 20 20 20 28 3f | 20 3f 20 2a 20 28 62 20 | (?| ? * (b |
|00004860| 61 29 20 2a 20 3f 20 3f | 29 29 29 29 0a 0a 28 64 |a) * ? ?|))))..(d|
|00004870| 65 66 75 6e 20 69 6e 76 | 65 73 74 69 67 61 74 65 |efun inv|estigate|
|00004880| 20 28 75 6e 69 74 73 20 | 70 61 74 73 29 0a 20 20 | (units |pats). |
|00004890| 28 64 6f 20 28 28 75 6e | 69 74 73 20 75 6e 69 74 |(do ((un|its unit|
|000048a0| 73 20 28 63 64 72 20 75 | 6e 69 74 73 29 29 29 0a |s (cdr u|nits))).|
|000048b0| 20 20 20 20 20 20 28 28 | 6e 75 6c 6c 20 75 6e 69 | ((|null uni|
|000048c0| 74 73 29 29 0a 20 20 20 | 20 28 64 6f 20 28 28 70 |ts)). | (do ((p|
|000048d0| 61 74 73 20 70 61 74 73 | 20 28 63 64 72 20 70 61 |ats pats| (cdr pa|
|000048e0| 74 73 29 29 29 0a 09 28 | 28 6e 75 6c 6c 20 70 61 |ts)))..(|(null pa|
|000048f0| 74 73 29 29 0a 20 20 20 | 20 20 20 28 64 6f 20 28 |ts)). | (do (|
|00004900| 28 70 20 28 67 65 74 20 | 28 63 61 72 20 75 6e 69 |(p (get |(car uni|
|00004910| 74 73 29 20 27 70 61 74 | 74 65 72 6e 29 0a 09 20 |ts) 'pat|tern).. |
|00004920| 20 20 20 20 20 28 63 64 | 72 20 70 29 29 29 0a 09 | (cd|r p)))..|
|00004930| 20 20 28 28 6e 75 6c 6c | 20 70 29 29 0a 09 28 6d | ((null| p))..(m|
|00004940| 61 74 63 68 20 28 63 61 | 72 20 70 61 74 73 29 20 |atch (ca|r pats) |
|00004950| 28 63 61 72 20 70 29 20 | 28 29 29 29 29 29 29 0a |(car p) |()))))).|
|00004960| 0a 3b 3b 3b 20 63 61 6c | 6c 3a 20 28 62 72 6f 77 |.;;; cal|l: (brow|
|00004970| 73 65 29 0a 0a 28 72 75 | 6e 2d 62 65 6e 63 68 6d |se)..(ru|n-benchm|
|00004980| 61 72 6b 20 22 42 72 6f | 77 73 65 22 20 27 28 62 |ark "Bro|wse" '(b|
|00004990| 72 6f 77 73 65 29 29 0a | 53 48 41 52 5f 45 4f 46 |rowse)).|SHAR_EOF|
|000049a0| 0a 66 69 20 23 20 65 6e | 64 20 6f 66 20 6f 76 65 |.fi # en|d of ove|
|000049b0| 72 77 72 69 74 69 6e 67 | 20 63 68 65 63 6b 0a 69 |rwriting| check.i|
|000049c0| 66 20 74 65 73 74 20 2d | 66 20 27 63 74 61 6b 2e |f test -|f 'ctak.|
|000049d0| 63 6c 27 0a 74 68 65 6e | 0a 09 65 63 68 6f 20 73 |cl'.then|..echo s|
|000049e0| 68 61 72 3a 20 77 69 6c | 6c 20 6e 6f 74 20 6f 76 |har: wil|l not ov|
|000049f0| 65 72 2d 77 72 69 74 65 | 20 65 78 69 73 74 69 6e |er-write| existin|
|00004a00| 67 20 66 69 6c 65 20 22 | 27 63 74 61 6b 2e 63 6c |g file "|'ctak.cl|
|00004a10| 27 22 0a 65 6c 73 65 0a | 63 61 74 20 3c 3c 20 5c |'".else.|cat << \|
|00004a20| 53 48 41 52 5f 45 4f 46 | 20 3e 20 27 63 74 61 6b |SHAR_EOF| > 'ctak|
|00004a30| 2e 63 6c 27 0a 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |.cl'.;;;|;;;;;;;;|
|00004a40| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004a50| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004a60| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004a70| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004a80| 3b 3b 3b 0a 3b 20 46 69 | 6c 65 3a 20 20 20 20 20 |;;;.; Fi|le: |
|00004a90| 20 20 20 20 63 74 61 6b | 2e 63 6c 0a 3b 20 44 65 | ctak|.cl.; De|
|00004aa0| 73 63 72 69 70 74 69 6f | 6e 3a 20 20 54 68 65 20 |scriptio|n: The |
|00004ab0| 63 74 61 6b 20 62 65 6e | 63 68 6d 61 72 6b 0a 3b |ctak ben|chmark.;|
|00004ac0| 20 41 75 74 68 6f 72 3a | 20 20 20 20 20 20 20 52 | Author:| R|
|00004ad0| 69 63 68 61 72 64 20 47 | 61 62 72 69 65 6c 0a 3b |ichard G|abriel.;|
|00004ae0| 20 43 72 65 61 74 65 64 | 3a 20 20 20 20 20 20 35 | Created|: 5|
|00004af0| 2d 41 70 72 2d 38 35 0a | 3b 20 4d 6f 64 69 66 69 |-Apr-85.|; Modifi|
|00004b00| 65 64 3a 20 20 20 20 20 | 31 30 2d 41 70 72 2d 38 |ed: |10-Apr-8|
|00004b10| 35 20 31 34 3a 35 33 3a | 30 32 20 28 42 6f 62 20 |5 14:53:|02 (Bob |
|00004b20| 53 68 61 77 29 0a 3b 20 | 4c 61 6e 67 75 61 67 65 |Shaw).; |Language|
|00004b30| 3a 20 20 20 20 20 43 6f | 6d 6d 6f 6e 20 4c 69 73 |: Co|mmon Lis|
|00004b40| 70 0a 3b 20 50 61 63 6b | 61 67 65 3a 20 20 20 20 |p.; Pack|age: |
|00004b50| 20 20 55 73 65 72 0a 3b | 20 53 74 61 74 75 73 3a | User.;| Status:|
|00004b60| 20 20 20 20 20 20 20 50 | 75 62 6c 69 63 20 44 6f | P|ublic Do|
|00004b70| 6d 61 69 6e 0a 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |main.;;;|;;;;;;;;|
|00004b80| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004b90| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004ba0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004bb0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004bc0| 3b 3b 3b 0a 0a 3b 3b 3b | 20 43 54 41 4b 20 2d 2d |;;;..;;;| CTAK --|
|00004bd0| 20 41 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 74 68 | A versi|on of th|
|00004be0| 65 20 54 41 4b 20 66 75 | 6e 63 74 69 6f 6e 20 74 |e TAK fu|nction t|
|00004bf0| 68 61 74 20 75 73 65 73 | 20 74 68 65 20 43 41 54 |hat uses| the CAT|
|00004c00| 43 48 2f 54 48 52 4f 57 | 20 66 61 63 69 6c 69 74 |CH/THROW| facilit|
|00004c10| 79 2e 0a 0a 28 64 65 66 | 75 6e 20 63 74 61 6b 20 |y...(def|un ctak |
|00004c20| 28 78 20 79 20 7a 29 0a | 20 20 28 63 61 74 63 68 |(x y z).| (catch|
|00004c30| 20 27 63 74 61 6b 20 28 | 63 74 61 6b 2d 61 75 78 | 'ctak (|ctak-aux|
|00004c40| 20 78 20 79 20 7a 29 29 | 29 0a 0a 28 64 65 66 75 | x y z))|)..(defu|
|00004c50| 6e 20 63 74 61 6b 2d 61 | 75 78 20 28 78 20 79 20 |n ctak-a|ux (x y |
|00004c60| 7a 29 0a 20 20 28 64 65 | 63 6c 61 72 65 20 28 66 |z). (de|clare (f|
|00004c70| 69 78 6e 75 6d 20 78 20 | 79 20 7a 29 29 0a 20 20 |ixnum x |y z)). |
|00004c80| 28 63 6f 6e 64 20 28 28 | 6e 6f 74 20 28 3c 20 79 |(cond ((|not (< y|
|00004c90| 20 78 29 29 09 3b 78 79 | 0a 09 20 28 74 68 72 6f | x)).;xy|.. (thro|
|00004ca0| 77 20 27 63 74 61 6b 20 | 7a 29 29 0a 09 28 74 20 |w 'ctak |z))..(t |
|00004cb0| 28 63 74 61 6b 2d 61 75 | 78 0a 09 20 20 20 20 20 |(ctak-au|x.. |
|00004cc0| 28 63 61 74 63 68 20 27 | 63 74 61 6b 0a 09 20 20 |(catch '|ctak.. |
|00004cd0| 20 20 20 20 20 28 63 74 | 61 6b 2d 61 75 78 20 28 | (ct|ak-aux (|
|00004ce0| 31 2d 20 78 29 0a 09 09 | 09 20 79 0a 09 09 09 20 |1- x)...|. y.... |
|00004cf0| 7a 29 29 0a 09 20 20 20 | 20 20 28 63 61 74 63 68 |z)).. | (catch|
|00004d00| 20 27 63 74 61 6b 0a 09 | 20 20 20 20 20 20 20 28 | 'ctak..| (|
|00004d10| 63 74 61 6b 2d 61 75 78 | 20 28 31 2d 20 79 29 0a |ctak-aux| (1- y).|
|00004d20| 09 09 09 20 7a 0a 09 09 | 09 20 78 29 29 0a 09 20 |... z...|. x)).. |
|00004d30| 20 20 20 20 28 63 61 74 | 63 68 20 27 63 74 61 6b | (cat|ch 'ctak|
|00004d40| 0a 09 20 20 20 20 20 20 | 20 28 63 74 61 6b 2d 61 |.. | (ctak-a|
|00004d50| 75 78 20 28 31 2d 20 7a | 29 0a 09 09 09 20 78 0a |ux (1- z|).... x.|
|00004d60| 09 09 09 20 79 29 29 29 | 29 29 29 0a 0a 3b 3b 3b |... y)))|)))..;;;|
|00004d70| 20 63 61 6c 6c 3a 20 28 | 63 74 61 6b 20 31 38 20 | call: (|ctak 18 |
|00004d80| 31 32 20 36 29 0a 0a 28 | 72 75 6e 2d 62 65 6e 63 |12 6)..(|run-benc|
|00004d90| 68 6d 61 72 6b 20 22 43 | 54 41 4b 22 20 27 28 63 |hmark "C|TAK" '(c|
|00004da0| 74 61 6b 20 31 38 20 31 | 32 20 36 29 29 0a 53 48 |tak 18 1|2 6)).SH|
|00004db0| 41 52 5f 45 4f 46 0a 66 | 69 20 23 20 65 6e 64 20 |AR_EOF.f|i # end |
|00004dc0| 6f 66 20 6f 76 65 72 77 | 72 69 74 69 6e 67 20 63 |of overw|riting c|
|00004dd0| 68 65 63 6b 0a 69 66 20 | 74 65 73 74 20 2d 66 20 |heck.if |test -f |
|00004de0| 27 64 64 65 72 69 76 2e | 63 6c 27 0a 74 68 65 6e |'dderiv.|cl'.then|
|00004df0| 0a 09 65 63 68 6f 20 73 | 68 61 72 3a 20 77 69 6c |..echo s|har: wil|
|00004e00| 6c 20 6e 6f 74 20 6f 76 | 65 72 2d 77 72 69 74 65 |l not ov|er-write|
|00004e10| 20 65 78 69 73 74 69 6e | 67 20 66 69 6c 65 20 22 | existin|g file "|
|00004e20| 27 64 64 65 72 69 76 2e | 63 6c 27 22 0a 65 6c 73 |'dderiv.|cl'".els|
|00004e30| 65 0a 63 61 74 20 3c 3c | 20 5c 53 48 41 52 5f 45 |e.cat <<| \SHAR_E|
|00004e40| 4f 46 20 3e 20 27 64 64 | 65 72 69 76 2e 63 6c 27 |OF > 'dd|eriv.cl'|
|00004e50| 0a 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |.;;;;;;;|;;;;;;;;|
|00004e60| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004e70| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004e80| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004e90| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 0a |;;;;;;;;|;;;;;;;.|
|00004ea0| 3b 20 46 69 6c 65 3a 20 | 20 20 20 20 20 20 20 20 |; File: | |
|00004eb0| 64 64 65 72 69 76 2e 63 | 6c 0a 3b 20 44 65 73 63 |dderiv.c|l.; Desc|
|00004ec0| 72 69 70 74 69 6f 6e 3a | 20 20 44 44 45 52 49 56 |ription:| DDERIV|
|00004ed0| 20 62 65 6e 63 68 6d 61 | 72 6b 20 66 72 6f 6d 20 | benchma|rk from |
|00004ee0| 74 68 65 20 47 61 62 72 | 69 65 6c 20 74 65 73 74 |the Gabr|iel test|
|00004ef0| 73 0a 3b 20 41 75 74 68 | 6f 72 3a 20 20 20 20 20 |s.; Auth|or: |
|00004f00| 20 20 56 61 75 67 68 61 | 6e 20 50 72 61 74 74 0a | Vaugha|n Pratt.|
|00004f10| 3b 20 43 72 65 61 74 65 | 64 3a 20 20 20 20 20 20 |; Create|d: |
|00004f20| 38 2d 41 70 72 2d 38 35 | 0a 3b 20 4d 6f 64 69 66 |8-Apr-85|.; Modif|
|00004f30| 69 65 64 3a 20 20 20 20 | 20 31 30 2d 41 70 72 2d |ied: | 10-Apr-|
|00004f40| 38 35 20 31 34 3a 35 33 | 3a 32 39 20 28 42 6f 62 |85 14:53|:29 (Bob|
|00004f50| 20 53 68 61 77 29 0a 3b | 20 4c 61 6e 67 75 61 67 | Shaw).;| Languag|
|00004f60| 65 3a 20 20 20 20 20 43 | 6f 6d 6d 6f 6e 20 4c 69 |e: C|ommon Li|
|00004f70| 73 70 0a 3b 20 50 61 63 | 6b 61 67 65 3a 20 20 20 |sp.; Pac|kage: |
|00004f80| 20 20 20 55 73 65 72 0a | 3b 20 53 74 61 74 75 73 | User.|; Status|
|00004f90| 3a 20 20 20 20 20 20 20 | 50 75 62 6c 69 63 20 44 |: |Public D|
|00004fa0| 6f 6d 61 69 6e 0a 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |omain.;;|;;;;;;;;|
|00004fb0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004fc0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004fd0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004fe0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00004ff0| 3b 3b 3b 3b 0a 0a 3b 3b | 3b 20 44 44 45 52 49 56 |;;;;..;;|; DDERIV|
|00005000| 20 2d 2d 20 53 79 6d 62 | 6f 6c 69 63 20 64 65 72 | -- Symb|olic der|
|00005010| 69 76 61 74 69 76 65 20 | 62 65 6e 63 68 6d 61 72 |ivative |benchmar|
|00005020| 6b 20 77 72 69 74 74 65 | 6e 20 62 79 20 56 61 75 |k writte|n by Vau|
|00005030| 67 68 6e 20 50 72 61 74 | 74 2e 20 20 0a 0a 3b 3b |ghn Prat|t. ..;;|
|00005040| 3b 20 54 68 69 73 20 62 | 65 6e 63 68 6d 61 72 6b |; This b|enchmark|
|00005050| 20 69 73 20 61 20 76 61 | 72 69 61 6e 74 20 6f 66 | is a va|riant of|
|00005060| 20 74 68 65 20 73 69 6d | 70 6c 65 20 73 79 6d 62 | the sim|ple symb|
|00005070| 6f 6c 69 63 20 64 65 72 | 69 76 61 74 69 76 65 20 |olic der|ivative |
|00005080| 70 72 6f 67 72 61 6d 20 | 0a 3b 3b 3b 20 28 44 45 |program |.;;; (DE|
|00005090| 52 49 56 29 2e 20 54 68 | 65 20 6d 61 69 6e 20 63 |RIV). Th|e main c|
|000050a0| 68 61 6e 67 65 20 69 73 | 20 74 68 61 74 20 69 74 |hange is| that it|
|000050b0| 20 69 73 20 60 74 61 62 | 6c 65 2d 64 72 69 76 65 | is `tab|le-drive|
|000050c0| 6e 2e 27 20 20 49 6e 73 | 74 65 61 64 20 6f 66 20 |n.' Ins|tead of |
|000050d0| 75 73 69 6e 67 20 61 0a | 3b 3b 3b 20 6c 61 72 67 |using a.|;;; larg|
|000050e0| 65 20 43 4f 4e 44 20 74 | 68 61 74 20 62 72 61 6e |e COND t|hat bran|
|000050f0| 63 68 65 73 20 6f 6e 20 | 74 68 65 20 43 41 52 20 |ches on |the CAR |
|00005100| 6f 66 20 74 68 65 20 65 | 78 70 72 65 73 73 69 6f |of the e|xpressio|
|00005110| 6e 2c 20 74 68 69 73 20 | 70 72 6f 67 72 61 6d 20 |n, this |program |
|00005120| 66 69 6e 64 73 0a 3b 3b | 3b 20 74 68 65 20 63 6f |finds.;;|; the co|
|00005130| 64 65 20 74 68 61 74 20 | 77 69 6c 6c 20 74 61 6b |de that |will tak|
|00005140| 65 20 74 68 65 20 64 65 | 72 69 76 61 74 69 76 65 |e the de|rivative|
|00005150| 20 6f 6e 20 74 68 65 20 | 70 72 6f 70 65 72 74 79 | on the |property|
|00005160| 20 6c 69 73 74 20 6f 66 | 20 74 68 65 20 61 74 6f | list of| the ato|
|00005170| 6d 20 69 6e 0a 3b 3b 3b | 20 74 68 65 20 43 41 52 |m in.;;;| the CAR|
|00005180| 20 70 6f 73 69 74 69 6f | 6e 2e 20 53 6f 2c 20 77 | positio|n. So, w|
|00005190| 68 65 6e 20 74 68 65 20 | 65 78 70 72 65 73 73 69 |hen the |expressi|
|000051a0| 6f 6e 20 69 73 20 28 2b | 20 2e 20 3c 72 65 73 74 |on is (+| . <rest|
|000051b0| 3e 29 2c 20 74 68 65 20 | 63 6f 64 65 0a 3b 3b 3b |>), the |code.;;;|
|000051c0| 20 73 74 6f 72 65 64 20 | 75 6e 64 65 72 20 74 68 | stored |under th|
|000051d0| 65 20 61 74 6f 6d 20 27 | 2b 20 77 69 74 68 20 69 |e atom '|+ with i|
|000051e0| 6e 64 69 63 61 74 6f 72 | 20 44 45 52 49 56 20 77 |ndicator| DERIV w|
|000051f0| 69 6c 6c 20 74 61 6b 65 | 20 3c 72 65 73 74 3e 20 |ill take| <rest> |
|00005200| 61 6e 64 0a 3b 3b 3b 20 | 72 65 74 75 72 6e 20 74 |and.;;; |return t|
|00005210| 68 65 20 64 65 72 69 76 | 61 74 69 76 65 20 66 6f |he deriv|ative fo|
|00005220| 72 20 27 2b 2e 20 54 68 | 65 20 77 61 79 20 74 68 |r '+. Th|e way th|
|00005230| 61 74 20 4d 61 63 4c 69 | 73 70 20 64 6f 65 73 20 |at MacLi|sp does |
|00005240| 74 68 69 73 20 69 73 20 | 77 69 74 68 20 74 68 65 |this is |with the|
|00005250| 0a 3b 3b 3b 20 73 70 65 | 63 69 61 6c 20 66 6f 72 |.;;; spe|cial for|
|00005260| 6d 3a 20 28 44 45 46 55 | 4e 20 28 46 4f 4f 20 42 |m: (DEFU|N (FOO B|
|00005270| 41 52 29 20 2e 2e 2e 29 | 2e 20 54 68 69 73 20 69 |AR) ...)|. This i|
|00005280| 73 20 65 78 61 63 74 6c | 79 20 6c 69 6b 65 20 44 |s exactl|y like D|
|00005290| 45 46 55 4e 20 77 69 74 | 68 20 61 6e 0a 3b 3b 3b |EFUN wit|h an.;;;|
|000052a0| 20 61 74 6f 6d 69 63 20 | 6e 61 6d 65 20 69 6e 20 | atomic |name in |
|000052b0| 74 68 61 74 20 69 74 20 | 65 78 70 65 63 74 73 20 |that it |expects |
|000052c0| 61 6e 20 61 72 67 75 6d | 65 6e 74 20 6c 69 73 74 |an argum|ent list|
|000052d0| 20 61 6e 64 20 74 68 65 | 20 63 6f 6d 70 69 6c 65 | and the| compile|
|000052e0| 72 20 63 6f 6d 70 69 6c | 65 73 0a 3b 3b 3b 20 63 |r compil|es.;;; c|
|000052f0| 6f 64 65 2c 20 62 75 74 | 20 74 68 65 20 6e 61 6d |ode, but| the nam|
|00005300| 65 20 6f 66 20 74 68 65 | 20 66 75 6e 63 74 69 6f |e of the| functio|
|00005310| 6e 20 77 69 74 68 20 74 | 68 61 74 20 63 6f 64 65 |n with t|hat code|
|00005320| 20 69 73 20 73 74 6f 72 | 65 64 20 6f 6e 20 74 68 | is stor|ed on th|
|00005330| 65 0a 3b 3b 3b 20 70 72 | 6f 70 65 72 74 79 20 6c |e.;;; pr|operty l|
|00005340| 69 73 74 20 6f 66 20 46 | 4f 4f 20 75 6e 64 65 72 |ist of F|OO under|
|00005350| 20 74 68 65 20 69 6e 64 | 69 63 61 74 6f 72 20 42 | the ind|icator B|
|00005360| 41 52 2c 20 69 6e 20 74 | 68 69 73 20 63 61 73 65 |AR, in t|his case|
|00005370| 2e 20 59 6f 75 20 6d 61 | 79 20 68 61 76 65 0a 3b |. You ma|y have.;|
|00005380| 3b 3b 20 74 6f 20 64 6f | 20 73 6f 6d 65 74 68 69 |;; to do| somethi|
|00005390| 6e 67 20 6c 69 6b 65 3a | 0a 0a 3b 3b 3b 20 3a 70 |ng like:|..;;; :p|
|000053a0| 72 6f 70 65 72 74 79 20 | 6b 65 79 77 6f 72 64 20 |roperty |keyword |
|000053b0| 69 73 20 6e 6f 74 20 43 | 6f 6d 6d 6f 6e 20 4c 69 |is not C|ommon Li|
|000053c0| 73 70 2e 0a 0a 28 64 65 | 66 75 6e 20 64 64 65 72 |sp...(de|fun dder|
|000053d0| 69 76 2d 61 75 78 20 28 | 61 29 20 0a 20 20 28 6c |iv-aux (|a) . (l|
|000053e0| 69 73 74 20 27 2f 20 28 | 64 64 65 72 69 76 20 61 |ist '/ (|dderiv a|
|000053f0| 29 20 61 29 29 0a 0a 28 | 64 65 66 75 6e 20 2b 64 |) a))..(|defun +d|
|00005400| 64 65 72 69 76 20 28 61 | 29 0a 20 20 28 63 6f 6e |deriv (a|). (con|
|00005410| 73 20 27 2b 20 28 6d 61 | 70 63 61 72 20 27 64 64 |s '+ (ma|pcar 'dd|
|00005420| 65 72 69 76 20 61 29 29 | 29 0a 0a 28 73 65 74 66 |eriv a))|)..(setf|
|00005430| 20 28 67 65 74 20 27 2b | 20 27 64 64 65 72 69 76 | (get '+| 'dderiv|
|00005440| 29 20 27 2b 64 64 65 72 | 69 76 29 20 20 20 20 3b |) '+dder|iv) ;|
|00005450| 20 69 6e 73 74 61 6c 6c | 20 66 75 6e 63 74 69 6f | install| functio|
|00005460| 6e 20 6f 6e 20 74 68 65 | 20 70 72 6f 70 65 72 74 |n on the| propert|
|00005470| 79 20 6c 69 73 74 0a 0a | 28 64 65 66 75 6e 20 2d |y list..|(defun -|
|00005480| 64 64 65 72 69 76 20 28 | 61 29 0a 20 20 28 63 6f |dderiv (|a). (co|
|00005490| 6e 73 20 27 2d 20 28 6d | 61 70 63 61 72 20 27 64 |ns '- (m|apcar 'd|
|000054a0| 64 65 72 69 76 20 61 29 | 29 29 0a 0a 28 73 65 74 |deriv a)|))..(set|
|000054b0| 66 20 28 67 65 74 20 27 | 2d 20 27 64 64 65 72 69 |f (get '|- 'dderi|
|000054c0| 76 29 20 27 2d 64 64 65 | 72 69 76 29 20 20 20 20 |v) '-dde|riv) |
|000054d0| 3b 20 69 6e 73 74 61 6c | 6c 20 66 75 6e 63 74 69 |; instal|l functi|
|000054e0| 6f 6e 20 6f 6e 20 74 68 | 65 20 70 72 6f 70 65 72 |on on th|e proper|
|000054f0| 74 79 20 6c 69 73 74 0a | 0a 28 64 65 66 75 6e 20 |ty list.|.(defun |
|00005500| 2a 64 64 65 72 69 76 20 | 28 61 29 0a 20 20 28 6c |*dderiv |(a). (l|
|00005510| 69 73 74 20 27 2a 20 28 | 63 6f 6e 73 20 27 2a 20 |ist '* (|cons '* |
|00005520| 61 29 0a 09 28 63 6f 6e | 73 20 27 2b 20 28 6d 61 |a)..(con|s '+ (ma|
|00005530| 70 63 61 72 20 27 64 64 | 65 72 69 76 2d 61 75 78 |pcar 'dd|eriv-aux|
|00005540| 20 61 29 29 29 29 0a 0a | 28 73 65 74 66 20 28 67 | a))))..|(setf (g|
|00005550| 65 74 20 27 2a 20 27 64 | 64 65 72 69 76 29 20 27 |et '* 'd|deriv) '|
|00005560| 2a 64 64 65 72 69 76 29 | 20 20 20 20 3b 20 69 6e |*dderiv)| ; in|
|00005570| 73 74 61 6c 6c 20 66 75 | 6e 63 74 69 6f 6e 20 6f |stall fu|nction o|
|00005580| 6e 20 74 68 65 20 70 72 | 6f 70 65 72 74 79 20 6c |n the pr|operty l|
|00005590| 69 73 74 0a 0a 28 64 65 | 66 75 6e 20 2f 64 64 65 |ist..(de|fun /dde|
|000055a0| 72 69 76 20 28 61 29 0a | 20 20 28 6c 69 73 74 20 |riv (a).| (list |
|000055b0| 27 2d 20 0a 09 28 6c 69 | 73 74 20 27 2f 20 0a 09 |'- ..(li|st '/ ..|
|000055c0| 20 20 20 20 20 20 28 64 | 64 65 72 69 76 20 28 63 | (d|deriv (c|
|000055d0| 61 72 20 61 29 29 20 0a | 09 20 20 20 20 20 20 28 |ar a)) .|. (|
|000055e0| 63 61 64 72 20 61 29 29 | 0a 09 28 6c 69 73 74 20 |cadr a))|..(list |
|000055f0| 27 2f 20 0a 09 20 20 20 | 20 20 20 28 63 61 72 20 |'/ .. | (car |
|00005600| 61 29 20 0a 09 20 20 20 | 20 20 20 28 6c 69 73 74 |a) .. | (list|
|00005610| 20 27 2a 0a 09 09 20 20 | 20 20 28 63 61 64 72 20 | '*... | (cadr |
|00005620| 61 29 0a 09 09 20 20 20 | 20 28 64 64 65 72 69 76 |a)... | (dderiv|
|00005630| 20 28 63 61 64 72 20 61 | 29 29 29 29 29 29 0a 0a | (cadr a|))))))..|
|00005640| 28 73 65 74 66 20 28 67 | 65 74 20 27 2f 20 27 64 |(setf (g|et '/ 'd|
|00005650| 64 65 72 69 76 29 20 27 | 2f 64 64 65 72 69 76 29 |deriv) '|/dderiv)|
|00005660| 20 20 20 20 3b 20 69 6e | 73 74 61 6c 6c 20 66 75 | ; in|stall fu|
|00005670| 6e 63 74 69 6f 6e 20 6f | 6e 20 74 68 65 20 70 72 |nction o|n the pr|
|00005680| 6f 70 65 72 74 79 20 6c | 69 73 74 0a 0a 28 64 65 |operty l|ist..(de|
|00005690| 66 75 6e 20 64 64 65 72 | 69 76 20 28 61 29 0a 20 |fun dder|iv (a). |
|000056a0| 20 28 63 6f 6e 64 20 0a | 20 20 20 20 28 28 61 74 | (cond .| ((at|
|000056b0| 6f 6d 20 61 29 0a 20 20 | 20 20 20 28 63 6f 6e 64 |om a). | (cond|
|000056c0| 20 28 28 65 71 20 61 20 | 27 78 29 20 31 29 20 28 | ((eq a |'x) 1) (|
|000056d0| 74 20 30 29 29 29 0a 20 | 20 20 20 28 74 20 28 6c |t 0))). | (t (l|
|000056e0| 65 74 20 28 28 64 64 65 | 72 69 76 20 28 67 65 74 |et ((dde|riv (get|
|000056f0| 20 28 63 61 72 20 61 29 | 20 27 64 64 65 72 69 76 | (car a)| 'dderiv|
|00005700| 29 29 29 0a 09 20 28 63 | 6f 6e 64 20 28 64 64 65 |))).. (c|ond (dde|
|00005710| 72 69 76 20 28 66 75 6e | 63 61 6c 6c 20 64 64 65 |riv (fun|call dde|
|00005720| 72 69 76 20 28 63 64 72 | 20 61 29 29 29 0a 09 20 |riv (cdr| a))).. |
|00005730| 20 20 20 20 20 20 28 74 | 20 27 65 72 72 6f 72 29 | (t| 'error)|
|00005740| 29 29 29 29 29 0a 0a 28 | 64 65 66 75 6e 20 72 75 |)))))..(|defun ru|
|00005750| 6e 20 28 29 0a 20 20 28 | 64 6f 20 28 28 69 20 30 |n (). (|do ((i 0|
|00005760| 20 28 31 2b 20 69 29 29 | 29 0a 20 20 20 20 20 20 | (1+ i))|). |
|00005770| 28 28 3d 20 69 20 31 30 | 30 30 29 29 0a 20 20 20 |((= i 10|00)). |
|00005780| 20 28 64 65 63 6c 61 72 | 65 20 28 66 69 78 6e 75 | (declar|e (fixnu|
|00005790| 6d 20 69 29 29 0a 20 20 | 20 20 28 64 64 65 72 69 |m i)). | (dderi|
|000057a0| 76 20 27 28 2b 20 28 2a | 20 33 20 78 20 78 29 20 |v '(+ (*| 3 x x) |
|000057b0| 28 2a 20 61 20 78 20 78 | 29 20 28 2a 20 62 20 78 |(* a x x|) (* b x|
|000057c0| 29 20 35 29 29 0a 20 20 | 20 20 28 64 64 65 72 69 |) 5)). | (dderi|
|000057d0| 76 20 27 28 2b 20 28 2a | 20 33 20 78 20 78 29 20 |v '(+ (*| 3 x x) |
|000057e0| 28 2a 20 61 20 78 20 78 | 29 20 28 2a 20 62 20 78 |(* a x x|) (* b x|
|000057f0| 29 20 35 29 29 29 29 0a | 0a 3b 3b 3b 20 63 61 6c |) 5)))).|.;;; cal|
|00005800| 6c 3a 20 20 28 72 75 6e | 29 0a 0a 28 72 75 6e 2d |l: (run|)..(run-|
|00005810| 62 65 6e 63 68 6d 61 72 | 6b 20 22 44 64 65 72 69 |benchmar|k "Dderi|
|00005820| 76 22 20 27 28 72 75 6e | 29 29 0a 53 48 41 52 5f |v" '(run|)).SHAR_|
|00005830| 45 4f 46 0a 66 69 20 23 | 20 65 6e 64 20 6f 66 20 |EOF.fi #| end of |
|00005840| 6f 76 65 72 77 72 69 74 | 69 6e 67 20 63 68 65 63 |overwrit|ing chec|
|00005850| 6b 0a 69 66 20 74 65 73 | 74 20 2d 66 20 27 64 65 |k.if tes|t -f 'de|
|00005860| 72 69 76 2e 63 6c 27 0a | 74 68 65 6e 0a 09 65 63 |riv.cl'.|then..ec|
|00005870| 68 6f 20 73 68 61 72 3a | 20 77 69 6c 6c 20 6e 6f |ho shar:| will no|
|00005880| 74 20 6f 76 65 72 2d 77 | 72 69 74 65 20 65 78 69 |t over-w|rite exi|
|00005890| 73 74 69 6e 67 20 66 69 | 6c 65 20 22 27 64 65 72 |sting fi|le "'der|
|000058a0| 69 76 2e 63 6c 27 22 0a | 65 6c 73 65 0a 63 61 74 |iv.cl'".|else.cat|
|000058b0| 20 3c 3c 20 5c 53 48 41 | 52 5f 45 4f 46 20 3e 20 | << \SHA|R_EOF > |
|000058c0| 27 64 65 72 69 76 2e 63 | 6c 27 0a 3b 3b 3b 3b 3b |'deriv.c|l'.;;;;;|
|000058d0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000058e0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|000058f0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005900| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005910| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 0a 3b 20 46 69 6c 65 |;;;;;;;;|;.; File|
|00005920| 3a 20 20 20 20 20 20 20 | 20 20 64 65 72 69 76 2e |: | deriv.|
|00005930| 63 6c 0a 3b 20 44 65 73 | 63 72 69 70 74 69 6f 6e |cl.; Des|cription|
|00005940| 3a 20 20 54 68 65 20 44 | 45 52 49 56 20 62 65 6e |: The D|ERIV ben|
|00005950| 63 68 6d 61 72 6b 20 66 | 72 6f 6d 20 74 68 65 20 |chmark f|rom the |
|00005960| 47 61 62 72 69 65 6c 20 | 74 65 73 74 73 2e 0a 3b |Gabriel |tests..;|
|00005970| 20 41 75 74 68 6f 72 3a | 20 20 20 20 20 20 20 56 | Author:| V|
|00005980| 61 75 67 68 61 6e 20 50 | 72 61 74 74 0a 3b 20 43 |aughan P|ratt.; C|
|00005990| 72 65 61 74 65 64 3a 20 | 20 20 20 20 20 38 2d 41 |reated: | 8-A|
|000059a0| 70 72 2d 38 35 0a 3b 20 | 4d 6f 64 69 66 69 65 64 |pr-85.; |Modified|
|000059b0| 3a 20 20 20 20 20 31 30 | 2d 41 70 72 2d 38 35 20 |: 10|-Apr-85 |
|000059c0| 31 34 3a 35 33 3a 35 30 | 20 28 42 6f 62 20 53 68 |14:53:50| (Bob Sh|
|000059d0| 61 77 29 0a 3b 20 4c 61 | 6e 67 75 61 67 65 3a 20 |aw).; La|nguage: |
|000059e0| 20 20 20 20 43 6f 6d 6d | 6f 6e 20 4c 69 73 70 0a | Comm|on Lisp.|
|000059f0| 3b 20 50 61 63 6b 61 67 | 65 3a 20 20 20 20 20 20 |; Packag|e: |
|00005a00| 55 73 65 72 0a 3b 20 53 | 74 61 74 75 73 3a 20 20 |User.; S|tatus: |
|00005a10| 20 20 20 20 20 50 75 62 | 6c 69 63 20 44 6f 6d 61 | Pub|lic Doma|
|00005a20| 69 6e 0a 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |in.;;;;;|;;;;;;;;|
|00005a30| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005a40| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005a50| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005a60| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005a70| 3b 0a 0a 3b 3b 3b 20 44 | 45 52 49 56 20 2d 2d 20 |;..;;; D|ERIV -- |
|00005a80| 53 79 6d 62 6f 6c 69 63 | 20 64 65 72 69 76 61 74 |Symbolic| derivat|
|00005a90| 69 76 65 20 62 65 6e 63 | 68 6d 61 72 6b 20 77 72 |ive benc|hmark wr|
|00005aa0| 69 74 74 65 6e 20 62 79 | 20 56 61 75 67 68 6e 20 |itten by| Vaughn |
|00005ab0| 50 72 61 74 74 2e 20 20 | 0a 3b 3b 3b 20 49 74 20 |Pratt. |.;;; It |
|00005ac0| 75 73 65 73 20 61 20 73 | 69 6d 70 6c 65 20 73 75 |uses a s|imple su|
|00005ad0| 62 73 65 74 20 6f 66 20 | 4c 69 73 70 20 61 6e 64 |bset of |Lisp and|
|00005ae0| 20 64 6f 65 73 20 61 20 | 6c 6f 74 20 6f 66 20 20 | does a |lot of |
|00005af0| 43 4f 4e 53 69 6e 67 2e | 20 0a 0a 28 64 65 66 75 |CONSing.| ..(defu|
|00005b00| 6e 20 64 65 72 69 76 2d | 61 75 78 20 28 61 29 20 |n deriv-|aux (a) |
|00005b10| 28 6c 69 73 74 20 27 2f | 20 28 64 65 72 69 76 20 |(list '/| (deriv |
|00005b20| 61 29 20 61 29 29 0a 0a | 28 64 65 66 75 6e 20 64 |a) a))..|(defun d|
|00005b30| 65 72 69 76 20 28 61 29 | 0a 20 20 28 63 6f 6e 64 |eriv (a)|. (cond|
|00005b40| 20 0a 20 20 20 20 28 28 | 61 74 6f 6d 20 61 29 0a | . ((|atom a).|
|00005b50| 20 20 20 20 20 28 63 6f | 6e 64 20 28 28 65 71 20 | (co|nd ((eq |
|00005b60| 61 20 27 78 29 20 31 29 | 20 28 74 20 30 29 29 29 |a 'x) 1)| (t 0)))|
|00005b70| 0a 20 20 20 20 28 28 65 | 71 20 28 63 61 72 20 61 |. ((e|q (car a|
|00005b80| 29 20 27 2b 29 09 0a 20 | 20 20 20 20 28 63 6f 6e |) '+).. | (con|
|00005b90| 73 20 27 2b 20 28 6d 61 | 70 63 61 72 20 23 27 64 |s '+ (ma|pcar #'d|
|00005ba0| 65 72 69 76 20 28 63 64 | 72 20 61 29 29 29 29 0a |eriv (cd|r a)))).|
|00005bb0| 20 20 20 20 28 28 65 71 | 20 28 63 61 72 20 61 29 | ((eq| (car a)|
|00005bc0| 20 27 2d 29 20 0a 20 20 | 20 20 20 28 63 6f 6e 73 | '-) . | (cons|
|00005bd0| 20 27 2d 20 28 6d 61 70 | 63 61 72 20 23 27 64 65 | '- (map|car #'de|
|00005be0| 72 69 76 20 0a 09 09 20 | 20 20 20 20 20 28 63 64 |riv ... | (cd|
|00005bf0| 72 20 61 29 29 29 29 0a | 20 20 20 20 28 28 65 71 |r a)))).| ((eq|
|00005c00| 20 28 63 61 72 20 61 29 | 20 27 2a 29 0a 20 20 20 | (car a)| '*). |
|00005c10| 20 20 28 6c 69 73 74 20 | 27 2a 20 0a 09 20 20 20 | (list |'* .. |
|00005c20| 61 20 0a 09 20 20 20 28 | 63 6f 6e 73 20 27 2b 20 |a .. (|cons '+ |
|00005c30| 28 6d 61 70 63 61 72 20 | 23 27 64 65 72 69 76 2d |(mapcar |#'deriv-|
|00005c40| 61 75 78 20 28 63 64 72 | 20 61 29 29 29 29 29 0a |aux (cdr| a))))).|
|00005c50| 20 20 20 20 28 28 65 71 | 20 28 63 61 72 20 61 29 | ((eq| (car a)|
|00005c60| 20 27 2f 29 0a 20 20 20 | 20 20 28 6c 69 73 74 20 | '/). | (list |
|00005c70| 27 2d 20 0a 09 20 20 20 | 28 6c 69 73 74 20 27 2f |'- .. |(list '/|
|00005c80| 20 0a 09 09 20 28 64 65 | 72 69 76 20 28 63 61 64 | ... (de|riv (cad|
|00005c90| 72 20 61 29 29 20 0a 09 | 09 20 28 63 61 64 64 72 |r a)) ..|. (caddr|
|00005ca0| 20 61 29 29 0a 09 20 20 | 20 28 6c 69 73 74 20 27 | a)).. | (list '|
|00005cb0| 2f 20 0a 09 09 20 28 63 | 61 64 72 20 61 29 20 0a |/ ... (c|adr a) .|
|00005cc0| 09 09 20 28 6c 69 73 74 | 20 27 2a 0a 09 09 20 20 |.. (list| '*... |
|00005cd0| 20 20 20 20 20 28 63 61 | 64 64 72 20 61 29 0a 09 | (ca|ddr a)..|
|00005ce0| 09 20 20 20 20 20 20 20 | 28 64 65 72 69 76 20 28 |. |(deriv (|
|00005cf0| 63 61 64 64 72 20 61 29 | 29 29 29 29 29 0a 20 20 |caddr a)|))))). |
|00005d00| 20 20 28 74 20 27 65 72 | 72 6f 72 29 29 29 0a 0a | (t 'er|ror)))..|
|00005d10| 28 64 65 66 75 6e 20 72 | 75 6e 20 28 29 0a 20 20 |(defun r|un (). |
|00005d20| 28 64 6f 20 28 28 69 20 | 30 20 28 31 2b 20 69 29 |(do ((i |0 (1+ i)|
|00005d30| 29 29 0a 20 20 20 20 20 | 20 28 28 3d 20 69 20 31 |)). | ((= i 1|
|00005d40| 30 30 30 29 29 0a 20 20 | 20 20 28 64 65 63 6c 61 |000)). | (decla|
|00005d50| 72 65 20 28 66 69 78 6e | 75 6d 20 69 29 29 0a 20 |re (fixn|um i)). |
|00005d60| 20 20 20 28 64 65 72 69 | 76 20 27 28 2b 20 28 2a | (deri|v '(+ (*|
|00005d70| 20 33 20 78 20 78 29 20 | 28 2a 20 61 20 78 20 78 | 3 x x) |(* a x x|
|00005d80| 29 20 28 2a 20 62 20 78 | 29 20 35 29 29 0a 20 20 |) (* b x|) 5)). |
|00005d90| 20 20 28 64 65 72 69 76 | 20 27 28 2b 20 28 2a 20 | (deriv| '(+ (* |
|00005da0| 33 20 78 20 78 29 20 28 | 2a 20 61 20 78 20 78 29 |3 x x) (|* a x x)|
|00005db0| 20 28 2a 20 62 20 78 29 | 20 35 29 29 29 29 0a 0a | (* b x)| 5))))..|
|00005dc0| 3b 3b 3b 20 63 61 6c 6c | 3a 20 20 28 72 75 6e 29 |;;; call|: (run)|
|00005dd0| 0a 0a 28 72 75 6e 2d 62 | 65 6e 63 68 6d 61 72 6b |..(run-b|enchmark|
|00005de0| 20 22 44 65 72 69 76 22 | 20 27 28 72 75 6e 29 29 | "Deriv"| '(run))|
|00005df0| 0a 53 48 41 52 5f 45 4f | 46 0a 66 69 20 23 20 65 |.SHAR_EO|F.fi # e|
|00005e00| 6e 64 20 6f 66 20 6f 76 | 65 72 77 72 69 74 69 6e |nd of ov|erwritin|
|00005e10| 67 20 63 68 65 63 6b 0a | 69 66 20 74 65 73 74 20 |g check.|if test |
|00005e20| 2d 66 20 27 64 65 73 74 | 72 75 63 74 2e 63 6c 27 |-f 'dest|ruct.cl'|
|00005e30| 0a 74 68 65 6e 0a 09 65 | 63 68 6f 20 73 68 61 72 |.then..e|cho shar|
|00005e40| 3a 20 77 69 6c 6c 20 6e | 6f 74 20 6f 76 65 72 2d |: will n|ot over-|
|00005e50| 77 72 69 74 65 20 65 78 | 69 73 74 69 6e 67 20 66 |write ex|isting f|
|00005e60| 69 6c 65 20 22 27 64 65 | 73 74 72 75 63 74 2e 63 |ile "'de|struct.c|
|00005e70| 6c 27 22 0a 65 6c 73 65 | 0a 63 61 74 20 3c 3c 20 |l'".else|.cat << |
|00005e80| 5c 53 48 41 52 5f 45 4f | 46 20 3e 20 27 64 65 73 |\SHAR_EO|F > 'des|
|00005e90| 74 72 75 63 74 2e 63 6c | 27 0a 3b 3b 3b 3b 3b 3b |truct.cl|'.;;;;;;|
|00005ea0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005eb0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005ec0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005ed0| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00005ee0| 3b 3b 3b 3b 3b 3b 3b 3b | 0a 3b 20 46 69 6c 65 3a |;;;;;;;;|.; File:|
|00005ef0| 20 20 20 20 20 20 20 20 | 20 64 65 73 74 72 75 63 | | destruc|
|00005f00| 74 2e 63 6c 0a 3b 20 44 | 65 73 63 72 69 70 74 69 |t.cl.; D|escripti|
|00005f10| 6f 6e 3a 20 20 44 45 53 | 54 52 55 43 54 49 56 45 |on: DES|TRUCTIVE|
|00005f20| 20 62 65 6e 63 68 6d 61 | 72 6b 20 66 72 6f 6d 20 | benchma|rk from |
|00005f30| 47 61 62 72 69 65 6c 20 | 74 65 73 74 73 0a 3b 20 |Gabriel |tests.; |
|00005f40| 41 75 74 68 6f 72 3a 20 | 20 20 20 20 20 20 42 6f |Author: | Bo|
|00005f50| 62 20 53 68 61 77 2c 20 | 48 50 4c 61 62 73 2f 41 |b Shaw, |HPLabs/A|
|00005f60| 54 43 0a 3b 20 43 72 65 | 61 74 65 64 3a 20 20 20 |TC.; Cre|ated: |
|00005f70| 20 20 20 38 2d 41 70 72 | 2d 38 35 0a 3b 20 4d 6f | 8-Apr|-85.; Mo|
|00005f80| 64 69 66 69 65 64 3a 20 | 20 20 20 20 31 30 2d 41 |dified: | 10-A|
|00005f90| 70 72 2d 38 35 20 31 34 | 3a 35 34 3a 31 32 20 28 |pr-85 14|:54:12 (|
|00005fa0| 42 6f 62 20 53 68 61 77 | 29 0a 3b 20 4c 61 6e 67 |Bob Shaw|).; Lang|
|00005fb0| 75 61 67 65 3a 20 20 20 | 20 20 43 6f 6d 6d 6f 6e |uage: | Common|
|00005fc0| 20 4c 69 73 70 0a 3b 20 | 50 61 63 6b 61 67 65 3a | Lisp.; |Package:|
|00005fd0| 20 20 20 20 20 20 55 73 | 65 72 0a 3b 20 53 74 61 | Us|er.; Sta|
|00005fe0| 74 75 73 3a 20 20 20 20 | 20 20 20 50 75 62 6c 69 |tus: | Publi|
|00005ff0| 63 20 44 6f 6d 61 69 6e | 0a 3b 3b 3b 3b 3b 3b 3b |c Domain|.;;;;;;;|
|00006000| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00006010| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00006020| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00006030| 3b 3b 3b 3b 3b 3b 3b 3b | 3b 3b 3b 3b 3b 3b 3b 3b |;;;;;;;;|;;;;;;;;|
|00006040| 3b 3b 3b 3b 3b 3b 3b 0a | 0a 3b 3b 3b 20 44 45 53 |;;;;;;;.|.;;; DES|
|00006050| 54 52 55 20 2d 2d 20 44 | 65 73 74 72 75 63 74 69 |TRU -- D|estructi|
|00006060| 76 65 20 6f 70 65 72 61 | 74 69 6f 6e 20 62 65 6e |ve opera|tion ben|
|00006070| 63 68 6d 61 72 6b 0a 0a | 28 64 65 66 75 6e 20 64 |chmark..|(defun d|
|00006080| 65 73 74 72 75 63 74 69 | 76 65 20 28 6e 20 6d 29 |estructi|ve (n m)|
|00006090| 0a 20 20 28 64 65 63 6c | 61 72 65 20 28 66 69 78 |. (decl|are (fix|
|000060a0| 6e 75 6d 20 6e 20 6d 29 | 29 0a 20 20 28 6c 65 74 |num n m)|). (let|
|000060b0| 20 28 28 6c 20 28 64 6f | 20 28 28 69 20 31 30 20 | ((l (do| ((i 10 |
|000060c0| 28 31 2d 20 69 29 29 0a | 09 09 28 61 20 6e 69 6c |(1- i)).|..(a nil|
|000060d0| 20 28 70 75 73 68 20 6e | 69 6c 20 61 29 29 29 0a | (push n|il a))).|
|000060e0| 09 20 20 20 20 20 20 20 | 28 28 3d 20 69 20 30 29 |. |((= i 0)|
|000060f0| 20 61 29 0a 09 20 20 20 | 20 20 28 64 65 63 6c 61 | a).. | (decla|
|00006100| 72 65 20 28 66 69 78 6e | 75 6d 20 69 29 29 29 29 |re (fixn|um i))))|
|00006110| 29 0a 20 20 20 20 28 64 | 6f 20 28 28 69 20 6e 20 |). (d|o ((i n |
|00006120| 28 31 2d 20 69 29 29 29 | 0a 09 28 28 3d 20 69 20 |(1- i)))|..((= i |
|00006130| 30 29 29 0a 20 20 20 20 | 20 20 28 64 65 63 6c 61 |0)). | (decla|
|00006140| 72 65 20 28 66 69 78 6e | 75 6d 20 69 29 29 0a 20 |re (fixn|um i)). |
|00006150| 20 20 20 20 20 28 63 6f | 6e 64 20 28 28 6e 75 6c | (co|nd ((nul|
|00006160| 6c 20 28 63 61 72 20 6c | 29 29 0a 09 20 20 20 20 |l (car l|)).. |
|00006170| 20 28 64 6f 20 28 28 6c | 20 6c 20 28 63 64 72 20 | (do ((l| l (cdr |
|00006180| 6c 29 29 29 0a 09 09 20 | 28 28 6e 75 6c 6c 20 6c |l)))... |((null l|
|00006190| 29 29 0a 09 20 20 20 20 | 20 20 20 28 6f 72 20 28 |)).. | (or (|
|000061a0| 63 61 72 20 6c 29 20 0a | 09 09 20 20 20 28 72 70 |car l) .|.. (rp|
|000061b0| 6c 61 63 61 20 6c 20 28 | 63 6f 6e 73 20 6e 69 6c |laca l (|cons nil|
|000061c0| 20 6e 69 6c 29 29 29 0a | 09 20 20 20 20 20 20 20 | nil))).|. |
|000061d0| 28 6e 63 6f 6e 63 20 28 | 63 61 72 20 6c 29 0a 09 |(nconc (|car l)..|
|000061e0| 09 20 20 20 20 20 20 28 | 64 6f 20 28 28 6a 20 6d |. (|do ((j m|
|000061f0| 20 28 31 2d 20 6a 29 29 | 0a 09 09 09 20 20 20 28 | (1- j))|.... (|
|00006200| 61 20 6e 69 6c 20 28 70 | 75 73 68 20 6e 69 6c 20 |a nil (p|ush nil |
|00006210| 61 29 29 29 0a 09 09 09 | 20 20 28 28 3d 20 6a 20 |a)))....| ((= j |
|00006220| 30 29 20 61 29 29 29 29 | 29 20 0a 09 20 20 20 20 |0) a))))|) .. |
|00006230| 28 74 0a 09 20 20 20 20 | 20 28 64 6f 20 28 28 6c |(t.. | (do ((l|
|00006240| 31 20 6c 20 28 63 64 72 | 20 6c 31 29 29 0a 09 09 |1 l (cdr| l1))...|
|00006250| 20 20 28 6c 32 20 28 63 | 64 72 20 6c 29 20 28 63 | (l2 (c|dr l) (c|
|00006260| 64 72 20 6c 32 29 29 29 | 0a 09 09 20 28 28 6e 75 |dr l2)))|... ((nu|
|00006270| 6c 6c 20 6c 32 29 29 0a | 09 20 20 20 20 20 20 20 |ll l2)).|. |
|00006280| 28 72 70 6c 61 63 64 20 | 28 64 6f 20 28 28 6a 20 |(rplacd |(do ((j |
|00006290| 28 66 6c 6f 6f 72 20 28 | 6c 65 6e 67 74 68 20 28 |(floor (|length (|
|000062a0| 63 61 72 20 6c 32 29 29 | 20 32 29 20 28 31 2d 20 |car l2))| 2) (1- |
|000062b0| 6a 29 29 0a 09 09 09 20 | 20 20 20 28 61 20 28 63 |j)).... | (a (c|
|000062c0| 61 72 20 6c 32 29 20 28 | 63 64 72 20 61 29 29 29 |ar l2) (|cdr a)))|
|000062d0| 0a 09 09 09 20 20 20 28 | 28 7a 65 72 6f 70 20 6a |.... (|(zerop j|
|000062e0| 29 20 61 29 0a 09 09 09 | 20 28 64 65 63 6c 61 72 |) a)....| (declar|
|000062f0| 65 20 28 66 69 78 6e 75 | 6d 20 6a 29 29 0a 09 09 |e (fixnu|m j))...|
|00006300| 09 20 28 72 70 6c 61 63 | 61 20 61 20 69 29 29 0a |. (rplac|a a i)).|
|00006310| 09 09 20 20 20 20 20 20 | 20 28 6c 65 74 20 28 28 |.. | (let ((|
|00006320| 6e 20 28 66 6c 6f 6f 72 | 20 28 6c 65 6e 67 74 68 |n (floor| (length|
|00006330| 20 28 63 61 72 20 6c 31 | 29 29 20 32 29 29 29 0a | (car l1|)) 2))).|
|00006340| 09 09 09 20 28 64 65 63 | 6c 61 72 65 20 28 66 69 |... (dec|lare (fi|
|00006350| 78 6e 75 6d 20 6e 29 29 | 0a 09 09 09 20 28 63 6f |xnum n))|.... (co|
|00006360| 6e 64 20 28 28 3d 20 6e | 20 30 29 20 28 72 70 6c |nd ((= n| 0) (rpl|
|00006370| 61 63 61 20 6c 31 20 6e | 69 6c 29 0a 09 09 09 09 |aca l1 n|il).....|
|00006380| 28 63 61 72 20 6c 31 29 | 29 0a 09 09 09 20 20 20 |(car l1)|).... |
|00006390| 20 20 20 20 28 74 20 0a | 09 09 09 09 28 64 6f 20 | (t .|....(do |
|000063a0| 28 28 6a 20 6e 20 28 31 | 2d 20 6a 29 29 0a 09 09 |((j n (1|- j))...|
|000063b0| 09 09 20 20 20 20 20 28 | 61 20 28 63 61 72 20 6c |.. (|a (car l|
|000063c0| 31 29 20 28 63 64 72 20 | 61 29 29 29 0a 09 09 09 |1) (cdr |a)))....|
|000063d0| 09 20 20 20 20 28 28 3d | 20 6a 20 31 29 0a 09 09 |. ((=| j 1)...|
|000063e0| 09 09 20 20 20 20 20 28 | 70 72 6f 67 31 20 28 63 |.. (|prog1 (c|
|000063f0| 64 72 20 61 29 0a 09 09 | 09 09 09 20 20 20 20 28 |dr a)...|... (|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
