home *** CD-ROM | disk | FTP | other *** search
/ Monster Media 1994 #1 / monster.zip / monster / FREQ_QA / LISP_6.ZIP / 00000150.TXT
Text File  |  1994-03-15  |  68KB  |  1,006 lines
  1. Uï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  2. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  3. α â─ ÷|ìF▒Pìå■■PÜh
  4. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  5. α â─ ÷|ìF▒Pìå■■PÜh
  6. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  7. α â─ÄN6& 6 & 6ìå" PÜ╝
  8. α â─╕vPìår PÜh
  9. α â─╕éPìå" PÜh
  10. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  11. α â─ÄP6& 6(& 6&ìå" PÜh
  12. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår PܬCα â─ï≡â■ uΘƒ╞år ╕Pìår PVÜj3α â─ 6d 6bìår PÜ°
  13. α â─ └ud╕pP╕~╣ùQPVÜj3α â─ìF■PïFε-ÇPÄ86& 6÷& 6⌠VÜPα â─ ÄR6&╟╕[ÖRPïFεïV≡-Çâ┌RPÜ║α Ä,6&úVÜ╚2α â─^ïσ]╦Uï∞ü∞╘WV+└PPÜ(α â─ëFⁿëV■ÄN6& 6 & 6ìFäPÜ╝
  14. α â─ÄN6& 6 & 6ìå4 PÜ╝
  15. α â─╕ÄPìFäPÜh
  16. α â─╕ÜPìå4 PÜh
  17. α â─ìF╘Pìå4 PÜXXα â─@uQÄN6& 6 & 6ìå4 PÜ╝
  18. α â─ÄP6& 6(& 6&ìå4 PÜh
  19. α â─ìF╘Pìå4 PÜXXα â─@uΘ3ïFµïVΦ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  20. α â─╕ªPìF¼PÜh
  21. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷-------------------------------------
  22.  
  23. ;;; *EOF*
  24. JÄF■&èG9êFα
  25. └t ÄFε&èD8Fαu0ÄF■ìwⁿ&ïëF▐;F⌠ÄF■&÷@t┐δï°+~⌠9~÷~ë~÷ëâ├[A9Nµ~Θa ü~÷í}Θ╡╕á+F⌠ëF≥╤f≡â~≡@~╟F≡3╔9NµΘöÄ86&í⌠&ï÷>ï╪ëV■ï~∞╕╘Ä╪â~t ÄF■ìw╞&÷uZÄF■ìw╨&è*ΣàF≡tJÄF■&èêFΓ
  26. └t    ÄFε&8Eu4ÄF■ìw &èêFα
  27. └t    ÄFε&8EuÄF■ìw┬&ïF≥ëF°;F÷}ëF÷ëâ├[A9Nµïü~÷áïV÷δ║áâ~tâ·}║ï┬^_ïσ]╦Éear all searchUï∞ü∞╢WV╕╚Pܬ α â─ï≡ëV■ ╨t5╕╨PÜ6    â─ └u$ïF■PVìåV PÜ╝
  28. α â─ìåV PÜ┘â─δÉ╞åV ╕▄PìåV PÜh
  29. α â─ìF╓PìåV PÜXXα â─ └t$ìåV P╕ΦP╕╠(PÜ─α â─ ╕·PÜ≤α â─ï~ΣW╕PÜα â─ï≡ëV· ╨u╕ P╕╠(PÜ─α â─╕·PÜ≤α â─╕P╕-PìåV PÜ26    â─
  30. ëFⁿëV■ ╨u$ìåV P╕0P╕╠(PÜ─α â─ ╕·PÜ≤α â─ v■ vⁿW╕P v·VÜα â─ ;╟t2ìåV P╕LP╕╠(PÜ─α â─  v■ vⁿܪα â─╕·PÜ≤α â─ v■ vⁿܪα â─ └t$ìåV P╕wP╕╠(PÜ─α â─ ╕·PÜ≤α â─ïF·╗
  31. Ä 3ë₧R îåT &ë7&ëGìL╗XÄ"3ë₧N îåP &ë&ëGÄ└&ï<ü pt#╕pPW╕ÖP╕╠(PÜ─α â─ ╕·PÜ≤α â──₧N &ï&ïWï╧╤ß╤ß┴ï≡ëVⁿ╟F°â ~>║ìM ëV■ëv·ë~÷ï≥ï~·╕ùÄ╪ÄZïX&ï&+╟ïVⁿ&ë&ëPâ╞IuΣïv·─₧N &─ïFⁿ&ë7&ëG─₧R &─&ï╤α╤α&G├î┬ï°ëV÷ï╪&ïÄ$3&ú·    â╟ï┬&ë>
  32. &ú
  33. &ï·    ╤π╤π▀Ä┬&ïÄ&3&ë║ìOëF÷&ë└&ú┬&ï║╤Γ╤Γ╩ï∙╗HÄ(3ë₧J îåL &ë&ëGâ┴Ä*3&ë┤&ú╢ÄF÷&ï╤Γ╤Γ╩ï±ëFⁿPQÜ" α â─@≡╟F°─₧J &─&â?~Gë~⌠║ëV■ëv·ï≥ïN°ï~·╕ùÄ╪─┤&ï&+╟ïVⁿ&ë&ëPâ╞A─₧J &─&9┌ï~⌠ïv·Ä*3&─┤ïFⁿ&ë7&ëG─₧J &─&ï@╤α╤α&G°ïF÷Ä,3&ë>ä
  34. &úå
  35. ìMÄ.3&ë▄ &ú▐ ╕^_ïσ]╦É&àÜuΘ0  Uï∞â∞.WVÜ4┘ÄZ9&╟3└Ä\9&ú6Ä^9&ú"Ä`9&ú╓ Äb9&úrÄd9&ïbÄf9&ëdÄh9&ïfÄj9&ëh+╔ëN÷ëN⌠ v vÜZ α    â─RP╕╠"P╕r ╣ùQPÜαα â─ ╕÷╣ùïVï^ï±Vï°ï≥Ä┴Ä█╣≤Ñ^║╢╣ùëV≡ëN≥Vï·ï≡Ä┴╣≤ÑÄl9&â>nu-Än9&─X& ╖B& ╖@Ü┌α    â─╕╧"PÜ|α    â─3└Θb╕r ╣ùQPÜÆ┘â─ └tτï~
  36.  Θ╛╕P v≥ v≡PÜ┘â─ └t!2└P░PÜ╢]    â─Äp9&àÜt¡ÜN┘δªÉ2└P░PÜ╢]    â─Äp9&àÜuÜ╬┘╕,
  37. ╣ùQPÜ╚┘â─2└P░PÜ╢]    â─Äp9&àÜuΘ0  ~+└PPÜ(α â─ëF⌠ëV÷╕PÜⁿ┘â─+└PPÜ(α â─ï╚ï┌+F⌠V÷Ä~9&ú║&ë╝SQ v÷ v⌠ï≡ï∙ëvΓëVΣï≤Ürα    â─ëFⁿëV■Ä~9&Ω&∞╣d3█SQRPÜåα ëF°ëV·╕dÖRP v■ vⁿÜ║α ëFⁿëV■ v· v°RP╕<ÖRP╣─ ╗  SQ╕ÖRP vΣ vΓÜ║α RPëF▐ëVαÜTα ╣─ ╗  SQ vα v▐ëF┌ëV▄ÜTα ╣<3█SQ vΣ vΓëF╓ëV╪Ü║α F╓V╪ïN┌ï^▄+╚┌SQëF╥ëV╘ÜTα ╟╓+F⌠V÷RP v╘ v╥ vα v▐ v vÜZ α    â─RPÄn9&─X& ╖r& ╖pÜ┌α    â─ÜN┘Ä~9& å╗pÄr9ë^µîFΦ&â?tÄt9&â>vtÜ£┘Ü÷┘─^µ&â?t;Ä^9&â>"uÄ\9&â>6u Ä`9&â>╓ t╕  P v vÜ╪┘â─ÉΦé─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕Θå  tΘ╣╕╘Ä╪╕[≈.ï╪╕ùÄ└&í⌠&ï÷Ä┬╪îFε&÷GÇt1&9}&ïG≈╪╣ùÄ┴&;z
  38. ~3└Θ6╕ùÄ└&íz
  39. ÄFε&9G|τ╕╘Ä└&íëFΩ └u╕╘Ä└&â>tÄFε&÷Gu╕ùÄ└&÷Ç
  40. t│â~Ωu╕╘Ä└&â>tÄFε&÷Gt╕ùÄ└&÷Ç
  41. uë╕P v≥ v≡PÜ┘â─ └tΘ}ⁿÜ╬┘╗pÄr9ë^µîFΦ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áJPÄv9& 68& 66Ü≡┘â─+└PPÜ(α â─ëF⌠ëV÷Äz9&â>|u Ä|9&╟z╕,
  42. ╣ùQPÜî┘â─ï≡ ÷|Θ%ⁿ─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕P v≥ v≡╕PÜ┘â─ï╞ΘÆÄn9&─X& ╖F& ╖DÜ┌α    â─╕P v≥ v≡╕PÜ┘â─Är9&â>ptMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─Ü÷┘╕^_ïσ]╦Uï∞â∞WV╕ P3└ÄZ9&úP╕÷╣ùQPÜα â─ÄÇ9+└&ú&ú■ï~  u1Äé9&9>"t2└P░PÜ╢]    â─Äp9&àÜuÜ|]    ÷─uΘ╗Ää9&╟Äå9&íëF· └|#╕[≈n·ï≡Äê9&─⌠&÷@t Ää9&╟2└P░PÜ╢]    â─=  tΘ╨Äz9&â>|u Ä|9&╟zÄr9&â>ptÄt9&â>vtÜT┘Äé9&â>"t2└P░PÜ╢]    â─Äp9&àÜtΘ  t╛3 δÉ╕⌠PÜ▐┘â─ï≡â■tΘéÄè9&íN& Lts╕dPÜ╒    â─ëFⁿëV■Ü|]    ÷─t6ë~ v■ vⁿÜ`╒    â─ └u!╕dPÜ╒    â─ëFⁿëV■Üè]    Ü|]    ÷─u═Ü°]    3└PÄè9& 6N& 6LÜ└┘â─ΘΩ■â■tm╕pPÜ╒    â─ëFⁿëV■RPÜ`╒    â─ └tΘP■ë~Ü|]    ÷─tΘ@■2└P░PÜ╢]    â─=  tΘ*■Ü─α     v■ vⁿÜ`╒    â─ └t╞Θ■Ü─α    3└δbÉ2└P░PÜ╢]    â─Äp9&àÜt;3└PÜⁿ┘â─ÜN┘Ä^9&â>"uÄ\9&â>6u Ä`9&â>╓ t ÉΦδÜN┘ÉΦ(╕^_ïσ]╦ÉUï∞ü∞·WV╗Äå9ë₧
  43.  îå  &â?|%╕[&≈/Äê9&⌠&ï÷ì~ñï≡Ä┌╣-≤Ññ─₧
  44.  &â?}ΘÄÄ^9&â>"t5Ç~║t/èF║*ΣPÄn9&─X& ╖N& ╖LÜ┌α    â─èF║*ΣPÉΦⁿâ─3÷ì~πÄî9&Ç╝& t1èB╗*ΣPWÄn9&─X& ╖R& ╖PÜ┌α    â─
  45. èB╗*ΣPÉΦ║â─Fâ╟ìF√;°r╕╗╓ Ä`9ë₧ îå &â?u Ä\9&â>6t?─₧
  46.  &â?|5Ç~╣t/èF╣*ΣPÄn9&─X& ╖V& ╖TÜ┌α    â─èF╣*ΣPÉΦOâ─ÄÄ9&í▓& ░uΘ─₧ &â?uÄ\9&â>6uÄ^9&â>"uΘ⌡Än9&─X& ╖Z& ╖XÜ┌α    â─ÄÉ9& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─ÄÄ9& 6▓& 6░ìå PÜ╝
  47. α â──₧
  48.  &â?|ìF┴Pìå PÜh
  49. α â─Ü╥┘ìå PÜ╠┘â─Ü╞┘░P░PÜ╢]    â─Än9&─X& ╖^& ╖\Ü┌α    â─ÄÆ9& 6á& 6₧Ü`┘â─Ü┘╕pPÜ╒    â─Äö9&úR&ëT3└Ä^9&ú"Ä\9&ú6─₧ &ë^_ïσ]╦ÉUï∞ÜÇ┘╕╨"PÄû9& 6°& 6÷Än9&─X& ╖å& ╖äÜ┌α    ïσÄÉ9& 6¿& 6ªÜ`┘ïσÜû┘Ät9&â>vtÄÿ9& 6╕3└PÜ≥]    ïσÄÜ9&â>LtÜr╣ Ä£9&â>duÜ.]     vÜ≤α ïσ]╦Uï∞Vïv ÷u3└Öδ,Ü─α ï╚ï╞Ö+┬╤°ìTï╪ï┴ï╩Ö≈∙ï┬├╣d≈ΘPÜ╒    â─^ïσ]╦ÉUï∞â∞WVï~Ä₧9&íB&ïDÄF&9Eu    &9U
  50. uΘ&ïE
  51. & EuΘÄá9&─α&╞Äó9& 6▐& 6▄╕╞KPÜ╝
  52. α â─╕╞KPÜ" α â─╞KëF÷î^°╟F■Äñ9&í& uΘ╗ï~■─N╕ùÄ╪ï±ïïW&9Du&9T
  53. tGâ├ïG uΓΘφÉĪ9ï▀╤π╤π&ïç╢&ïù╕ëV⌠ ╨uΘ╠ïV⌠ï≡ëVⁿÄ┬ï▐&Ç?u$ï~÷Ä¿9&â>t3╕┌"P v°WÜαα â─ΘùÉï~÷Ä^ⁿÄF°ï▐Fèï▀G&êÇ<u≡δ┬É─^& 7╕▄"P v°Wδ_ÉĬ9& 6╓& 6╘╕╞KPÜ╝
  54. α â─╕╞KPÜ" α â─╞Kï≡î^°Ä¼9&í≡ÄF&9t&Ä¿9&â>uÄF& 5╕π"PìD  v°PÜαα â─
  55. ╕╞Kî┌^_ïσ]╦ÉUï∞â∞Ät9&â>vuΘ½Är9&â>puΘ£3└PÜ,╣ â─Äå9&í@P╕Ω"P╕r ╣ùQPÜαα ╕
  56. αP╣QÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─Ä░9&í£@PÄ▓9& 6╛
  57. ╕∩"P╕r ╣ùQPÜαα â─ ╕
  58. P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─ÉΦΣÄ┤9&íbëF■ └t'PÄ╢9& 6& 6╕·"P╕r ╣ùQPÜαα â─δ$ÉÄ╢9& 6& 6╕ #P╕r ╣ùQPÜαα â─ ╕P╣QÄ«9& 6·& 6°Ü`┘â─╕#PÄ«9& 6·& 6°ÜZ┘â─╕P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─3└PÄ╕9& 6^Üα    ïσ]╦ÉÄt9&â>vt&Är9&â>pt╕ PÄ║9& 6û& 6öÜÉ┘â─╦ÉUï∞â∞.WVï~╗FLï≤î^·╞  }Θdï╟╣[≈ΘëF╘╗⌠Äê9ë^╓îF╪&─╪&÷Gt╞FLBï╞î┌@ï≡ëV·â~t    Ä┬ï╪F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Câ~t
  59. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Dâ~t
  60. ÄF·ï▐F&╞ â~t$─^╓&─^╘&÷G@tÄF·ï▐F&╞FÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Hâ~t
  61. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Kâ~t
  62. ÄF·ï▐F&╞ ─^╓&─^╘&÷GÇtyÄF·ï▐F&╞Lâ~ti─^╓&─^╘&ïGëF╥ └|@P╕+#δ É╕  +F╥P╕0#PìF┌PÜαα â─
  63. ìF┌î╥ï╚Ä┌ï╪6Ç?t!ëv°ëNⁿï°ï▀Gè─^° F°&êÇ=uφïv°ï~â~t$─^╓&─^╘&÷GtÄF·ï▐F&╞MÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Nâ~t
  64. ÄF·ï▐F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞Sâ~t
  65. ÄF·ï▐F&╞ ─^╓&─^╘&÷G tÄF·ï▐F&╞Râ~t
  66. ÄF·ï▐F&╞ â~tï^╘─~╓&─=&÷At
  67. ÄF·ï▐F&╞XÄF·&╞╕FLî┌^_ïσ]├ÉUï∞Ät9&â>vuΘ╚Är9&â>puΘ╣Ä╝9&â>≡uÉΦ²3└PÄå9& 6Φ+²ïσRPÄå9&í@P╕5#P╕r ╣ùQPÜαα ïσ╕
  68. P╣QÄ«9& 6·& 6°Ü`┘ïσ╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘ïσ╕
  69. P╕PÄ«9& 6·& 6°Ü`┘ïσ v vÄ«9& 6·& 6°ÜZ┘ïσÜT┘ïσ]╦Uï∞ü∞¼WV3└PÜz┘â─ï°╗Ä╛9ë₧` îåb &â?}ΘTÄt9&â>vuΘEÉΦⁿW─₧` &ï@P╛XÄn9ë╢\ îå^ &─& ╖f& ╖dìåd PÜαα â─ ╕P╕P╗öÄ║9ë₧X îåZ & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╕P─₧` & 7Φ╦√â─Ä┬ï╪ï≤îF·&Ç?tTï┬PV─₧\ &─& ╖j& ╖hìåd PÜαα â─ ╕PP─₧X & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╗╠Ä└9ë₧T îåV &ïG& uΘ9& w& 7ìåd PÜ╝
  70. α â─╕A#Pìåd PÜh
  71. α â─╕P╕J#Pìåd PÜ26    â─
  72. ï≡ëV· ╨uΘεïF·PV╣QQìN⌠Qï°Üα â─ ëFⁿWVܪα â─â~ⁿuΘ┐ïvⁿ╤µïr≥─₧T & w& 7ìåd PÜ╝
  73. α â─╕M#Pìåd PÜh
  74. α â─3└PìÄd QìN╚QÜ*6    â─
  75. └uqëv■ìFµPÜó α â─;╞╕Pìåd PìF╚PÜ*6    â─
  76. └t╘δ@É╕2P╕P─₧X & w& 7Ü`┘â──₧\ &─& ╖n& ╖l─₧X & w& 7ÜZ┘â─ÜT┘^_ïσ]╦R$bàCLS╦░Uï∞â∞.WVÄ╬4╕ù┐µ╛Φ Ä╪╣≤ÑÄ╨4&╟╝
  77. ╕&╣╘QPÜ(α â─Ä╥4+└&ú,&ú*&ú(&ú0&ú.╗pÄ╘4ë^ΣîFµ&9t&Ä╓4&9vtÄ╪4&─X& ╖& ╖Ü£┘â─╟Fⁿ≥Ä┌4ï^ⁿ&â?uΘ╟ï├-╣ùì~Φï≡Ä┘╣≤Ñâ~εt%ïFεëF∞╟FεÄ▄4&íèëFΓ └~ëFΩδÉ╟FΩìFΦPÜ■α    â─RPÄ╬4& 6°& 6÷╕Γ
  78. P╕r ╣ùQPÜαα â─╕r ╣ùQPÜéBα â─ìFΦPÜ■α    â─RP╕δ
  79. P╕r ╣ùQPÜαα â─ ╕r ╣ùQPÜéBα â─âFⁿ ü~ⁿjsΘ) +└ëF≥ëF≡ëFΦëFΩëF∞ëFε╗εÄ▐4ë^▐îFα&ëÄα4&â>v└% ╗Σ ÄΓ4ë^┌îF▄&ëÄΣ4&â>x╔≈┘ ┴─^┌&ëĵ4&í╛
  80. ÄΦ4&9«s ÄΩ4&â> t─^┌&Ç3└P╣╢║ùëN╓ëV╪RQ╣QÉΦDâ─â~uΘ╬╕÷╣ùQP╕PÜ╝α    â─Üÿ┘ └tΘuÜ░┘HtpHtHHtMΘcܬ┘ └uΘW─^▐&ï─^┌&àub╕Ä∞4&úhÄε4&údÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─δñÜñ┘ └uΘ─^▐&ï─^┌&àu2δ┤Ä∞4&╟h3└PÜ₧┘ΘΣÄ≡4&╟T  ╕Ä∞4&úhΘ┼É╕Θ╛╕t╣ùëF╥ëN╘ÉΦ3 ─^╥&9?~1╛Ä≥4& t& 4╕ª    ╣ùQPÜ╠Fα â─ └uΘâ╞G─^╥&9?╥Ü╢┘ï°HuΘ≤HuΘGHtvHuΘ╛â }ΘWÄ⌠4&ít;╟ΘE2└P░PÜ╢]    â─Ä÷4&àÜuΘ)ìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ⌐â─Ä°4╤τ& ╡Ü┌┘ΘφÉÜ╘┘ └uΘπ─^▐&ï─^┌&àtΘü╕Äε4&údÄ∞4&úhÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─Θµ■Ü╬┘ └uΘò─^▐&ï─^┌&àtΘπδ░Éâ╟Θ6 2└P░PÜ╢]    â─Ä÷4&àÜuΘ_Ä·4&â>tΘPìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ╨â─Ü╚┘Θ"É2└P░PÜ╢]    â─Ä÷4&àÜuΘ╟FΦⁿìFΦP╣QÜ╝α    â─╟FΦÄⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕≥
  81. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä∞4&╟h3└PÜ┬┘ΘOÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕°
  82. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä≡4&╟T  Ä∞4&╟hΘùÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕■
  83. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘3└PÜ╝┘â─Ä5&╞ª    Ä5&íbÄε4&údÄ5&ífÄ∞4&úh╕P v╪ v╓╕PÉΦfâ─3└P v╪ v╓╕PÉΦQâ─^_ïσ]╦WV╕ùÄ╪+└úú■úⁿú·ú°ú÷╣ùÄ┴&úε╣ùÄ┴&úr╣ùÄ┴&ú╓ ╣ùÄ┴&ú6╣ùÄ┴&ú"╣╘Ä┴&úµ╣ùÄ┴&ú╝
  84. ╣ùÄ┴&ú≥╕ùÄ└╕ù┐µ╛Φ Ä╪╣≤Ñ^_╦ÉUï∞â∞V╕XPÜ╒    â─ëF·ëVⁿRPÜ`╒    â─ └uuïv2└P░PÜ╢]    â─Ä÷4&àÜtYܵα     └uP2└P░PÜ╢]    â─÷─ tÄFï▐F&è
  85. └t*<t&PÜ÷]    â─δÉÜ─α     vⁿ v·Ü`╒    â─ └tùδÉ╕δ'É2└P░PÜ╢]    â─Ü:]    ╕
  86. PÜÄα    â─Ü°]    3└^ïσ]╦ÉUï∞ü∞(WV╗bÄ5ë₧▐■îåα■&â?uΘ] v
  87.  vÜα┘â─ëFⁿëV■ïF └tHt#HuΘëHuΘòHuΘτ╕Θ)É╟FΘ╫É3÷96F~(┐εD╕ P v
  88.  vWÜdα â─
  89. └uΘ÷â╟ F;6F|█ï~ÄF
  90. &â}t=& u& u v■ vⁿ╕ Pìåb PÜαα â─ÄF
  91. & u╕/ PìFΓPÜαα â─
  92. δ2É v■ vⁿìåb PÜ╝
  93. α â─ÄF
  94. & u& u╕8 PìFΓPÜαα â─ ïF╤π╟çF─₧▐■& 7ìåb P╕E PìåΓ■PÜαα â─╕T PìåΓ■PÜ¿α â─ï≡ëV■ ╨usÄ5&í╪&ï┌ëå┌■ëû▄■ ╨tZïF╤π╟çF ╢▄■ ╢┌■ìåb PÜ╝
  95. α â──₧▐■& 7ìåb P╕W PìåΓ■PÜαα â─╕f PìåΓ■PÜ¿α â─ï≡ëV■ïF■ ╞u-â~ uΘy■ìåΓ■PÄ╪4&─X& ╖>& ╖<Ü┌α    â─ΘU■ïF■PVܪα â─ìFΓPìåb PÜh
  96. α â─ìåb PìåΓ■PÜ<α â─ └uX9F t!ìåb PÄ╪4&─X& ╖B& ╖@Ü┌α    â─íFï╚╤α┴╤α╤αεDëFⁿî^■ FïFïV
  97. ï≡Ä┌─~ⁿ╣≤ÑΘ≤Éâ~ t+ v
  98.  vÜZ α    â─RPÄ╪4&─X& ╖F& ╖DÜ┌α    â─ìåΓ■PÜéBα â─Θâ²â>FuΘy²3÷96F~%┐εD╕ P v
  99.  vWÜdα â─
  100. └t
  101. â╟ F;6F|▐96F/â~ uΘ=² v
  102.  vÜZ α    â─RPÄ╪4&─X& ╖J& ╖HΘ╖■ï~ÄF
  103. &â}t=& u& u v■ vⁿ╕i Pìåb PÜαα â─ÄF
  104. & u╕y PìFΓPÜαα â─
  105. δ2É v■ vⁿìåb PÜ╝
  106. α â─ÄF
  107. & u& u╕é PìFΓPÜαα â─ ï▐╤πü├Fë₧╪■â?tÄ5& 6┌& 6╪ìåb PÜ╝
  108. α â─ìFΓPìåb PÜh
  109. α â─ï₧╪■╟ï■F;6F}rï╞╤αFëF·ï╟╤αFëF°ï╞╤α╞╤α╤αεDëF■ï╟╤α╟╤α╤αεDëFⁿíF+╞ëF÷ë~≥ëv⌠ïF■ï^ⁿï√ï≡╣≤Ñï^·âF·ïï^°âF°ëâFⁿ âF■  N÷u╨ Fìåb PÜéBα â─ └u$9F uΘ╗√ìåb PÄ╪4&─X& ╖N& ╖LΘ?²â~ uΘ├ìåb PÄ╪4&─X& ╖R& ╖PÜ┌α    â─ΘƒÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨uΘé─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─╕ Pìåb PÜ¿α â─RPܪα δDÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨t-─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─ìåb PÜéBα â─3└^_ïσ]╦Uï∞â∞(╗$Ä
  110. 5ë^▐îFα&â?uΘ≡╗╪Ä5ë^┌îF▄&ïG& uΘ╫íÆ É t 6Æ  6É Ü`╒    â─ └uΘ╖╕dPÜ╒    â─úÉ ëÆ Ä5&íbëF╪ └tP─^┌& w& 7╕ö P╕NFPÜαα â─δ─^┌& w& 7╕ó P╕NFPÜαα â─ ìFΓP╕NFPÜXXα â─ └uD╕NFPÜéBα â──^▐& 7Ä╪4&─X& ╖₧& ╖£Ü┌α    â─Ä 5&╟z─^▐& 7ܵ┘ïσ]╦3└Ä╪9&úRúzLúxLÄ┌9&9ptIÄ▄9&9vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕╠#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕ε#PÜ|α    â─Ü°]    Äα9&á£$■P░PÜ╢]    â─╕PΦ½â─ └u ÄΓ9&─X& ╖N& ╖LÜ┌α    â─3└δnÉÄ┌9&â>ptJÄ▄9&â>vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕∙#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕$PÜ|α    â─╕PΦΣâ─╦V3└Ä╪9&úRúzLúxLÄ┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕&$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕H$PÜ|α    â─Ü:]    Äα9&á£$■P░PÜ╢]    â─3└PΦNâ─ └tzÄ┌9&â>ptKÄ▄9&â>vt?╕PPÄ▐9& 6û& 6öÜ`┘â─╕S$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉÉ╕u$PÜ|α    â─3└PΦâ─ï≡ ÷uÜ4┘ï╞^╦ÉUï∞â∞WVÄΣ9&í╕
  111. &ï║
  112. ï°ëV≡ï╚ï┌Ç─ëF≥ëV⌠╕Ç$PSQÜ╝
  113. α â─╕ç$P v≡WΦöâ─╕÷╣ùQPΦrâ─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP╕ë$PÜ┌α    â─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP v≡WΦ'â─3└ëF■ëF·ÄΦ9&9Σ~Që~ε╛≡ï°Äµ9&9>µt,╕ù$P v≡ vεΦ≡â─╕ùPVÜZ α    â─RP v≡ vεΦ╒â─â╞ GÄΦ9&9>Σ║ï~ε╕Ö$P v≡WΦ┤â─╗8ÄΩ9ë^µîFΦ+└&ëG&ë9Ft╕÷╣ùQPÜ:┘â─ └'â~uZízLï╚╤α┴╤α╤α0╣ùQPÜ:┘â─ └~9─^µ&ïG& t-╕P& w& 7 v⌠ v≥Ü< α â─
  114. ─^≥&╞GS v≡WΦ%â─╕£$P v≡WΦâ─â~t)Ä∞9&â>^uÄε9&â>`t╕ó$δ6╕º$δ1É╕¼$δ+ÉÄ≡9&÷▓t╕▒$P v≡WΦ╠â─Ä≡9&÷│Çu╕╢$P v≡WΦ▒â─╕╗$P v≡WΦóâ─Ä≥9&â>Σ └≈╪¿t+╕ùÄ└&ÇΣ â~u:&íΣ ╣ùÄ┘#εëFΣ¿t╛δ&É╕ùÄ└δ┘É÷FΣt╛δÉïv■¿t
  115. ╛δ&ï6Σ â■└≈╪¿t╕╛$δ`Éâ~t6≈╞t╕├$P v≡WΦâ─≈╞t╕╚$P v≡WΦ√â─ï╞¿t3╕═$δ"É≈╞t╕╥$δÉ≈╞t╕╫$δ
  116. Éï╞¿t╕▄$P v≡WΦ┬â─Ä≡9&÷│Çtâ~tÄ⌠9&â>zu╕ß$P v≡WΦòâ─╕µ$P v≡WΦåâ─╕ε$P v≡WΦwâ─╕≤$P v≡WΦhâ─Ä÷9&â>j uÄΓ9&─X&ïç╝&ïù╛δ╕⌡$î┌ëFⁿëV■RPÄ°9& 6⌠Ä·9& 6≥╕÷$P╕P╕%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦⁿâ─╕%P v≡WΦφâ─Äⁿ9& 6║& 6╕Ä■9& 6╛& 6╝Ä:& 6╢& 6┤╕#%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦBâ─Ä:& 6╞& 6─Ä:& 6╩& 6╚Ä:& 6┬& 6└╕0%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦ⌡â─╕=%P v≡WΦDâ─Ä:&í&&ï(Ç─0ü╥T|RP╕E%P v⌠ v≥Üαα â─  v⌠ v≥ v≡WΦ â─ v≡WÜ" α â─ï≡Äα9&á£$■P░PÜ╢]    â─╟FΩ╕pPÜ╒    â─ëF÷ëV°ëv∞ë~εïv≥ v∞╕O%P v⌠VÜαα â─
  117.  v⌠VÜ" α â─P v⌠VÜj!α    â─ëF■╕P╣Q╣\%QÜJ]    â─╕P v⌠VÜ" α â─P v⌠VÜJ]    â─╕P v∞ v≡ vεÜJ]    â─╟F·â~∞~;ï~■ïv·Ä^≡ï^εèÿï╪ï╟è─*Σ3╪╤π╕QÄ└ï╟èα*└&3çZï°F;v∞|╓ë~■ïv≥Ü°]     v■╕_%P v⌠VÜαα â─
  118. ╕P v⌠VÜ" α â─P v⌠VÜJ]    â─ïFΩ FΩ=vΘτ╕╨PÜ╒    â─ëFⁿëV■ v° v÷Ü`╒    â─ └tΘ 2└P░PÜ╢]    â─Ä
  119. :&àÜuΘ v■ vⁿÜ`╒    â─ └tΘº■Ü|]    ÷─uܵα     └tΘ▒Ü─α    δ¥3└PÜ(α    â─ï°-*uï╕i%P v⌠VÜ╝
  120. α â─ v⌠VΦ2â─ └uΘi  6`# 6^# v⌠VÜ╠Fα â─ └uΘN  6p# 6n# v⌠ v≥Ü╠Fα â─ └tΘ■╕Θ╩ï~εÄΓ9&─X& ╖Ω& ╖Φ╕e%PïF≡PWï≡Üαα â─ ï╞ï≈ëF■ëvⁿΘàÉ2└P░PÜ╢]    â─ÄΓ9&─X&ïçá&ïùóï°ëV■δ\2└P░PÜ╢]    â─Ä
  121. :&àÜuÄΓ9&─X&ïçÇ&ïùéδ╦ÄΓ9&─X& ╖Ω& ╖Φ╕k%PïF⌠PVï°Üαα â─ ï╟ï■ëF■ v■WÜ┌α    â─3└^_ïσ]├Uï∞ü∞ WV╟Få╟åP ╞å{ ╟å8 o%î₧: ╟å< w%î₧> ╟å@ ~%î₧B ╟åD à%î₧F ╟åH ï%î₧J +└ëåN ëåL ÄΣ9&í╕
  122. &ï║
  123. ëåv ëûx Ç─ï≡ëû~ Ç─ï°ëûp Ç─ëår ëût ╗8ÄΩ9ë₧■îå
  124. ■+└&ëG&ëë╛n Ä┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕æ%PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕╡%PÜ|α    â─╗TÄ :ë₧■îå■&╟╕╨PÜ╒    â─ëF∞ëVε╕pPÜ╒    â─ëF≡ëV≥+└ëF÷ëF⌠èå{ ■å{ <vΘvâ~uZ 6`# 6^#╕└%P ╢~ VÜαα â─ ╕P ╢~ VÜ" α â─P ╢~ VÜJ]      Common Lisp versions of the mini programs from "Inside Computer
  125.    Understanding" by Schank and Riesbeck, 1981, are available by
  126.    anonymous ftp from cs.umd.edu in the directory pub/schank/icu. This
  127.    includes the SAM and ELI miniatures. It will eventually include copies
  128.    of the miniature versions of PAM, POLITICS, and Tale-Spin. The FOR
  129.    macro is also available in this directory, as are a set of functions
  130.    for manipulating and matching lisp representations of Conceptual
  131.    Dependency formulas.  Contact Bill Andersen <waander@cs.umd.edu> for
  132.    more information. 
  133.  
  134.    Norvig:
  135.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  136.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  137.    Macintosh or DOS format from the publisher, Morgan Kaufmann.
  138.    |
  139.    Software includes Common Lisp implementations of:
  140.       Eliza and pattern matchers, Emycin, Othello, Parsers,
  141.       Scheme interpreters and compilers, Unification and a prolog
  142.       interpreter and compiler, Waltz line-labelling,
  143.       implementation of GPS, macsyma, and random number generators.
  144.    |
  145.    For more information, contact:
  146.            Morgan Kaufmann, Dept. P1, 2929 Campus Drive, Suite 260
  147.            San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672
  148.              Mac          ISBN 1-55860-227-5
  149.              DOS 3.5"     ISBN 1-55860-228-3
  150.              DOS 5.25"    ISBN 1-55860-229-1
  151.  
  152.    A catalog of free and commercial natural language software is
  153.    available from the Natural Language Software Registry, by anonymous
  154.    ftp from ftp.dfki.uni-sb.de in the directory /registry, or by email to
  155.    registry@dfki.uni-sb.de.
  156.  
  157.    TI Explorer Lisp Code -- sumex-aim.stanford.edu:pub/exp/
  158.    The Knowledge Systems Lab's set of Explorer patches and tools. It
  159.    includes in the jwz subdirectory a set of tools written and collected
  160.    by Jamie Zawinski. Send questions to acuff@sumex-aim.stanford.edu.
  161.  
  162.    Dick Waters/MERL: XP, Series
  163.       Dick Waters' XP Lisp Pretty Printer is available by anonymous ftp
  164.       from merl.com:/pub/xp/ as the files xp-code.lisp, xp-doc.txt, and
  165.       xp-test.lisp.
  166.  
  167.       The Series Macro is also available from this site in the directory
  168.       /pub/series/ as the files s-code.lisp, s-test.lisp, and s-doc.txt. The
  169.       Series macro package is described fully in Waters, R.C., "Automatic
  170.       Transformation of Series Expressions into Loops", ACM Transactions on
  171.       Programming Languages and Systems, 13(1):52--98, January 1991,
  172.       MIT/AIM-1082 and MIT/AIM-1083.
  173.  
  174.       Both programs are also available from the Lisp Utilities Repository
  175.       described above.
  176.  
  177.       For further information, contact Dick Waters, <dick@merl.com> or
  178.       <dick@ai.mit.edu>. An improved version of Series is in the works.
  179.  
  180. ----------------------------------------------------------------
  181. Subject: [6-3] Publicly Redistributable Lisp Software
  182.  
  183. AI Algorithms and Tools:
  184.  
  185.    PAIL (Portable AI Lab) is a computing environment containing a
  186.    collection of state-of-the-art AI tools, examples, and documentation.
  187.    It is aimed at those involved in teaching AI courses at university
  188.    level or equivalent. The system has enough built-in functionality to
  189.    enable its users to get practical experience with a broad range of AI
  190.    problems without having to build all the supporting tools from
  191.    scratch. It is implemented in Common Lisp and uses CLOS and Allegro
  192.    Common Windows (i.e., in Allegro CL 4.1). It is available by anonymous
  193.    ftp from pobox.cscs.ch (148.187.10.13) in the directory /pub/ai/pail-2.4/.
  194.    Written by Mike Rosner and Dean Allemang {dean,mike}@idsia.ch.
  195.  
  196.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  197.    other information maintained by the University of Texas at Austin.  It
  198.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  199.    Babbler, Jive, and some AI-related programming languages.  This
  200.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  201.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  202.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  203.  
  204. Analogical Reasoning:
  205.  
  206.    SME is the Structure-Mapping Engine, as described in Falkenhainer,
  207.    Forbus, and Gentner's 1987 AIJ article.  Available from
  208.    multivac.ils.nwu.edu:pub/SME For further information, contact Brian
  209.    Falkenhainer <falkenhainer@parc.xerox.com> or Ken Forbus
  210.    <forbus@ils.nwu.edu>.
  211.  
  212. Benchmarks:
  213.  
  214.    Gabriel Lisp Benchmarks are available by anonymous ftp as
  215.    ai.toronto.edu:/pub/gabriel-lisp-benchmarks.tar.Z.
  216.    The benchmarks are described in the book "Performance Evaluation of
  217.    Lisp Systems", by Richard Gabriel. 
  218.  
  219.    Lucid CL contains a set of benchmarks in its goodies/ directory,
  220.    including Bob Boyer's logic programming benchmark, a benchmark to
  221.    create and browse through an AI-like database of units, a CLOS speed
  222.    test, a compilation speed test, TAKR (the 100 function version of TAK
  223.    that tries to defeat cache memory effects), CTAK (A version of the
  224.    TAKeuchi function that uses the CATCH/THROW facility), STAK (A version
  225.    of the TAKeuchi function with special variables instead of parameter
  226.    passing), DERIV and DDERIV (Symbolic derivative benchmarks written by
  227.    Vaughn Pratt), DESTRU (a destructive operation benchmark), DIV2 (a
  228.    benchmark which divides by 2 using lists of n ()'s), the FFT benchmark
  229.    written by Harry Barrow, FPRINT (a benchmark to print to a file),
  230.    FRPOLY (a Franz Lisp benchmark by Fateman based on polynomial
  231.    arithmentic), Forest Baskett's PUZZLE benchmark (originally written in
  232.    Pascal), the TPRINT benchmark to read and print to the terminal, a
  233.    benchmark that creates and traverses a tree structure, and TRIANG
  234.    (board game benchmark). Some of the benchmarks may work only in Lucid.
  235.  
  236. Blackboard Architectures:
  237.  
  238.    The UMass GBB system (V1.2) is available by anonymous ftp from
  239.    dime.cs.umass.edu:/gbb. The commercial GBB product is not.
  240.    Work on the UMass GBB project (and funding) ended over 2 years ago.
  241.    Many researchers using it have opted for the commercial
  242.    release.  The UMass research system remains available, but the
  243.    two should not be confused as the commercial system is
  244.    substantially improved and extended. The commercial system is available
  245.    from Blackboard Technology Group, 401 Main Street,
  246.    Amherst, Massachusetts 01002, 413-256-8990, fax 413-256-3179.
  247.  
  248.    For a tutorial on how to build a blackboard system, see the paper
  249.       P. R. Kersten and Avi C. Kak, "A Tutorial on Lng,
  250.    and convergence. Code to factor numbers and to do the
  251.    Solovay-Strassen probabilistic prime test is included. 
  252.    A technical report describing CLMath is available as MIT AI Lab
  253.    Memo 774, Gerald Roylance, "Some Scientific Subroutines in LISP",
  254.    September 1984. Iterate is Jonathan Amsterdam's alternative to
  255.    series and the Loop macro. For more information, contact jba@ai.mit.edu.
  256.  
  257.    The LispUsers Archives, a collection of programs for Medley, can be
  258.    found on nervous.cis.ohio-state.edu:pub/lispusers/medley. The files
  259.    include a plotting module, addressbook, chat program, clock,
  260.    call-grapher, grep implementation, Tower of Hanoi, Life, lisp dialect
  261.    translator, and fonts. Also on nervous.cis.ohio-state.edu is GTT, an
  262.    implementation of Chandrasekaran's Generic Tasks Toolset, in directory
  263.    pub/lispusers/toolset.
  264.  
  265.    There's a repository of Amiga LISP implementations (and other Lisp-like
  266.    language implementations) on gatekeeper.pa.dec.com:pub/micro/amiga/lisp/.
  267.  
  268.  d tar file for Unix machines (no MCL
  269.                               fonts)
  270.       GECO.abstract           a brief description
  271.    It runs in MCL 2.0, but should be portable among CLtL2 compliant
  272.    Common Lisps.
  273.  
  274.    GAL is a genetic algorithm suite written by Bill Spears of NRL. The
  275.    MCL2.0 port was done by Howard Oakley <howard@quercus.demon.co.uk> and
  276.    is available from cambridge.apple.com:/pub/MCL2/contrib as
  277.    GAL.sea.hqx.  Improvements and adaptations should be sent to Bill
  278.    Spears, but questions on the MCL port should be directed to Howard Oakley.
  279.  
  280.    Other genetic algorithms code is available  
  281.       ftp.aic.nrl.navy.mil:/pub/galist
  282.    including Genesis (source-code/ga-source/genesis.tar.Z) and the archives
  283.    of the GA-List mailing list. A survey of free and commercial
  284.    genetic algorithms implementations is available in
  285.    information/ga-software-survey.txt. 
  286.  
  287. Knowledge Representation:
  288.  
  289.    KNOWBEL is an implementation of Telos (a sorted/temporal logic
  290.    system) by Bryan M. Kramer, <kramer@ai.toronto.edu>. It is
  291.    available by anonymous ftp from ai.toronto.edu:/pub/kr/ as the
  292.    files knowbel.tar.Z and manual.txt.tar.Z 
  293.    Runs in Allegro CL on Sparcstations and Silicon Graphics 4d
  294.    and in MCL on Apple Macintoshes. 
  295.    
  296.    SNePS (Semantic Network Processing System) is the implementation of a
  297.    fully intensional theory of propositional knowledge representation and
  298.    reasoning. SNePS includes a module for creating and accessing
  299.    propositional semantic networks, path-based inference, node-based
  300.    inference based on SWM (a relevance logic with quantification) that
  301.    uses natural deduction and can deal with recursive rules, forward,
  302.    backward and bi-directional inference, nonstandard logical connectives
  303.    and quantifiers, an assumption based TMS for belief revision, a
  304.    morphological analyzer and a generalized ATN (GATN) parser for parsing
  305.    and generating natural language, SNePSLOG, a predicate-logic-style
  306.    interface to SNePS, XGinseng, an X-based graphics interface for
  307.    displaying, creating and editing SNePS networks, SNACTor, a
  308.    preliminary version of the SNePS Acting component, and SNIP 2.2, a new
  309.    implementation of the SNePS Inference Package that uses rule shadowing
  310.    and knowledge migration to speed up inference.  SNeRE (the SNePS
  311.    Rational Engine), which is part of Deepak Kumar's dissertation about
  312.    the integration of inference and acting, will replace the current
  313.    implementation of SNACTor.  SNePS is written in Common Lisp, and has
  314.    been tested in Allegro CL 4.1, Lucid CL 4.0, TI Common Lisp, CLISP
  315.    May-93, and CMU CL 17b. It should also run in Symbolics CL, AKCL 1.600
  316.    and higher, VAX Common Lisp, and MCL. The XGinseng interface is built
  317.    on top of Garnet.  SNePS 2.1 is free according to the GNU General
  318.    Public License version 2. The SNePS distribution is available by
  319.    anonymous ftp from 
  320.       ftp.cs.buffalo.edu:/pub/sneps/  [128.205.32.9] 
  321.    as the file rel-x-yyy.tar.Z, where 'x-yyy' is the version. The other
  322.    files in the directory are included in the distribution; they are
  323.    duplicated to let you get them without unpacking the full distribution
  324.    if you just want the bibliography or manual. If you use SNePS, please
  325.    send a short message to shapiro@cs.buffalo.edu and
  326.    snwiz@cs.buffalo.edu. Please also let them know whether you'd like to
  327.    be added to the SNUG (SNePS Users Group) mailing list. 
  328.  
  329.    COLAB (COmpilation LABoratory) is a hybrid knowledge representation
  330.    system emphasizing the horizontal and vertical compilation of
  331.    knowledge bases. It is comprised of cooperating subsystems -- CONTAX,
  332.    FORWARD, RELFUN and TAXON -- which deal with different knowledge
  333.    representation and reasoning formalisms. Each subsystem can also be
  334.    used as stand-alone system. CONTAX deals with constraint nets and
  335.    constraint-propagation techniques. Relational knowledge in the form of
  336.    Horn rules is processed by forward (FORWARD) and backward (RELFUN)
  337.    chaining. Taxonomic knowledge is represented by intensional concept
  338.    definitions which are automatically arranged in a subsumption
  339.    hierarchy (TAXON).  The COLAB software was developed at DFKI and the
  340.    University of Kaiserslautern and runs in Common Lisp. (The subsystems
  341.    have been tested in AKCL and Lucid CL, and possibly also Allegro CL
  342.    and Symbolics CL.) All the subsystems are available free of charge for
  343.    research purposes.
  344.    o  RELFUN is a logic-programming language with call-by-value (eager),
  345.       non-deterministic, non-ground functions, and higher-order operations.
  346.       It accepts freely interchangeable LISP-style and PROLOG-style syntaxes.
  347.       For sources to RELFUN and copies of relevant papers, contact
  348.       Dr. Harold Boley, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany,
  349.       call +49-631-205-3459, fax +49-631-205-3210, or send email to
  350.       boley@informatik.uni-kl.de.
  351.    o  TAXON is a terminological knowledge representation system extended by
  352.       concrete domains.  For sources to TAXON and copies of relevant papers,
  353.       contact Philipp Hanschke, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  354.       Germany, call +49-631-205-3460, fax +49-631-205-3210, or send email to
  355.       hanschke@dfki.uni-kl.de.
  356.    o  CONTAX is a constraint system for weighted constraints over
  357.       hierarchically structured finite domains. CONTAX uses CLOS in addition
  358.       to Common Lisp.  For sources to CONTAX and copies of relevant papers,
  359.       contact Manfred Meyer, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  360.       Germany, call +49-631-205-3468, fax +49-631-205-3210, or send email to
  361.       meyer@dfki.uni-kl.de.
  362.    o  FORWARD is a logic programming language with bottom-up and top-down
  363.       evaluation of Horn clauses. For sources to FORWARD and copies of
  364.       relevant papers, contact Knut Hinkelmann, DFKI, Postfach 2080, W-6750
  365.       Kaiserslautern, Germany, call +49-631-205-3467, fax +49-631-205-3210,
  366.       or send email to hinkelma@dfki.uni-kl.de.
  367.  
  368.    URANUS is a logic-based knowledge representation language. Uranus is
  369.    an extension of Prolog written in Common Lisp and using the syntax of
  370.    Lisp. Uranus extends Prolog with a multiple world mechanism for
  371.    knowledge representation and term descriptions to provide
  372.    functional programming within the framework of logic programming.
  373.    It is available free by anonymous ftp from 
  374.       etlport.etl.go.jp:pub/uranus/ftp/ [192.31.197.99]
  375.    for research purposes only.  For more information contact the author, 
  376.    Hideyuki Nakashima <nakashim@etl.go.jp>.
  377.  
  378. Languages and Alternate Syntaxes:
  379.  
  380.    Generalized Lisp (or Glisp for short) is a coordinated set of high
  381.    level syntaxes for Common Lisp.  Initially GLisp consists of three
  382.    dialects: Mlisp, Plisp and ordinary Lisp, together with an extensible
  383.    framework for adding others.  Mlisp (Meta-Lisp) is an Algol-like
  384.    syntax for people who don't like writing parentheses. For example,
  385.    one can write print("abc", stream) instead of (print "abc" stream).
  386.    Plisp (Pattern Lisp) is a pattern matching rewrite-rule language.
  387.    Plisp is a compiler-compiler; its rules are optimized for writing
  388.    language translators.  All dialects may be freely intermixed in a
  389.    file. The translators for all dialects are written in Plisp, as is
  390.    the Glisp translator framework itself. Support routines for the
  391.    translators are written in Mlisp and/or Lisp. All dialects are
  392.    translated to Common Lisp and execute in the standard Common Lisp
  393.    environment. Glisp is available by anonymous ftp from apple.com or 
  394.       ftp.apple.com:dts/mac/lisp/glisp.tar.Z
  395.    GLISP runs in MCL and has to be modified for other Common Lisp
  396.    implementations. 
  397.  
  398.    CGOL is algol-like language that is translated into Lisp before
  399.    execution. It was developed originally by Vaughn Pratt. A Common Lisp
  400.    implementation of CGOL is available by anonymous ftp from
  401.       peoplesparc.berkeley.edu:pub/cgol.1.tar.Z  [128.32.131.14]
  402.    (The number "1" may increase if newer versions are posted.)  It was 
  403.    written by a UC Berkeley graduate student, Tom Phelps, as a term
  404.    project, so there may still be some rough edges. There is a lot of
  405.    documentation in the distribution, including the "original" CGOL memo
  406.    (pratt.memo). For more information, contact Richard Fateman
  407.    <fateman@peoplesparc.berkeley.edu>.
  408.  
  409.    StarLisp Simulator. The StarLisp Simulator simulates *Lisp, one of
  410.    the programming langauges used to program the Connection Machine.
  411.    StarLisp runs under Symbolics, Lucid, Allegro, and Franz, and is
  412.    available by anonymous ftp from
  413.       think.com:/cm/starlisp/starsim-f19-sharfile
  414.    The "CM5 *Lisp Tutorial" is available by anonymous ftp from
  415.       arp.anu.edu.au:/ARP/papers/starlisp/  [150.203.20.2]
  416.    in Andrew "ez" and postscript formats.  Write to Zdzislaw Meglicki
  417.    <Zdzislaw.Meglicki@cisr.anu.edu.au> for more information about the tutorial.
  418.  
  419.    InterLisp->Common-Lisp Translator -- ftp.ai.sri.com:pub/pkarp/lisp/ilisp/
  420.    Other InterLisp to Common Lisp translators may be found in the LispUsers
  421.    archive listed above.
  422.  
  423.    The Yale Haskell system runs in CMU Common Lisp, Lucid CL, and AKCL.
  424.    It is available by anonymous ftp from 
  425.         Chalmers animal.cs.chalmers.se  129.16.225.66
  426.         Glasgow  ftp.dcs.glasgow.ac.uk  130.209.240.50
  427.         Yale     nebula.cs.yale.edu     128.36.13.1
  428.    in the directory pub/haskell/yale as the files
  429.         haskell-beta-2-source.tar.Z   -- full sources
  430.         haskell-beta-2-sparc.tar.Z    -- sparc executable
  431.  
  432. Lisp Tools:
  433.  
  434.    See the Lisp Utilities Repository in [6-2].
  435.  
  436.    The Automatic Memoization Facility adds a practical memoization
  437.    facility to Common Lisp. Automatic memoization is a technique by which
  438.    an existing function can be transformed into one that "remembers"
  439.    previous arguments and their associated results, yielding large
  440.    performance gains for certain types of applications.  This facility
  441.    extends the ideas from Norvig's book into what is needed for a
  442.    practical tool for us in large programs. It adds facilities for
  443.    bookkeeping and timing, and lets you evaluate of the timing advantages
  444.    of memoization, and save hash tables to disk for automatic reuse in
  445.    later sessions. The code is available by anonymous ftp from
  446.    archive.cs.umbc.edu:/pub/Memoization [130.85.100.53]. Contact Marty Hall
  447.    <hall@aplcenmp.apl.jhu.edu> for more information. The code includes an
  448.    overview of memoization and its applications.
  449.  
  450.    PLisp - A Common Lisp front end to Postscript. This translates many
  451.    Common Lisp functions to postscript as well as manage the environment
  452.    and many lispisms (&optional and &rest arguments, multiple values,
  453.    macros, ...).  Available via anonymous ftp in pub/plisp/plisp.tar.Z on
  454.    nebula.cs.yale.edu (128.36.13.1). Written by John Peterson,
  455.    peterson-john@cs.yale.edu.
  456.  
  457.    RegExp is an extension to Allegro Common Lisp which adds
  458.    regular expression string matching, using the foreign
  459.    function interface. Available by anonymous ftp from
  460.    ftp.ai.sri.com:/pub/pkarp/regexp/. Contact pkarp@ai.sri.com
  461.    for more information.
  462.  
  463.    ifi.informatik.uni-stuttgart.de:/pub/xit/cl-utilities/ contains
  464.    three small utilities:
  465.         completion.lisp         A simple filename completion program.
  466.         cl-utilities.lisp       Some macros for dealing with points,
  467.                                 regions, and some miscellaneous macros.
  468.         copy-objects.lisp       Code for copying instances.
  469.  
  470.    think.com:think/lisp contains some useful lisp code (most of it
  471.    Symbolics dependent) including:
  472.         lisp-lint.lisp          A set of compiler style checkers that
  473.                                 warn when a function call does not
  474.                                 conform to Common Lisp. 
  475.  
  476.    MEASURES is a system to handle engineering numbers and measures in
  477.    Common Lisp. It runs in Allegro CL, Lispworks, MCL, and Symbolics CL.
  478.    Written by Roman Cunis.  Some documentation can be found in the file
  479.    measures.doc and examples in measures-example.lisp.  It is available
  480.    from the Lisp Utilities Repository
  481.       /afs/cs.cmu.edu/project/ai-repository/ai/lang/lisp/lisp/syntax/
  482.    in the file measures-2.0.tar.gz.  For further information, contact Ralf
  483.    Moeller, University of Hamburg, Bodenstedtstr 16, 2000 Hamburg 50,
  484.    Germany, call 40-4123-6134, fax 40-4123-6530, or send email to
  485.    moeller@informatik.uni-hamburg.de.
  486.  
  487.    DEFTABLE provides a macro that unifies the interface to Common
  488.    Lisp's table-like data structures (e.g., association lists, property
  489.    lists, and hash tables). Written by Peter Norvig
  490.    <Peter.Norvig@East.Sun.Com>.  It is available by anonymous ftp from
  491.    ftp.ai.mit.edu:/pub/lptrs/deftable.lisp [128.52.32.6] and also the
  492.    Lisp Utilities Repository. An article describing deftable was
  493.    published in ACM Lisp Pointers 5(4):32-38, December 1992.
  494.  
  495.    SEQUEL (SEQUEnt processing Language) is designed both as a general
  496.    purpose AI language for generating type-secure and efficient Lisp
  497.    programs and as a very high level specification language for
  498.    implementing logics on the computer. Designed at the University of
  499.    Leeds, SEQUEL compiles sequent-calculus specifications of arbitrary
  500.    logics to working proof assistants.  The sequent calculus
  501.    specifications are compiled into Horn clauses and from Horn clauses
  502.    into virtual machine instructions of an abstract machine SLAM (SequeL
  503.    Abstract Machine) which then translates these instructions into
  504.    efficient Lisp code using WAM-style compilation techniques.  Although
  505.    a functional programming language, SEQUEL includes facilities for
  506.    backtracking usually associated with logic programming, and supports a
  507.    pattern-matching method of building functions based on Prolog
  508.    notation.  The Lisp code generated from SEQUEL functions is completely
  509.    portable and runs in most Common Lisp implementations. It is
  510.    comparable in efficiency with hand-written code.  SEQUEL also supports
  511.    optional static type-checking in the manner of SML and similar
  512.    languages.  With type-checking enabled, all inputs and loaded files
  513.    are type-checked and the resulting Lisp programs are type-secure.  The
  514.    SEQUEL compiler uses the information gleaned from type-checking to add
  515.    compiler directives within the generated Lisp functions to produce
  516.    optimized Lisp programs.  SEQUEL includes a UNIX-style top level with
  517.    its own trace package and type-checking debugger. SEQUEL is also of
  518.    interest to automated reasoning researchers. It provides a very
  519.    powerful means of generating proof assistants and theorem provers that
  520.    have a very fast performance using WAM-derived compilation techniques.
  521.    The theorem provers are automatically verified. It includes a facility
  522.    for Datalog and an efficient occurs-check Horn-clause-to-Lisp
  523.    compiler, a mouse driven graphical interface for all proof assistants
  524.    and theorem provers built under SEQUEL (currently available only under
  525.    Lucid).  Several demonstration theorem provers for different logics,
  526.    including FOL, Clarke's logic of space, partial evaluation, set
  527.    theory, and constructive type theory are available.  SEQUEL runs under
  528.    Kyoto CL, Lucid CL, and CMU Common Lisp.  SEQUEL is available free for
  529.    non-commercial purposes by anonymous ftp from
  530.       agora.leeds.ac.uk:scs/logic/  [129.11.144.130]
  531.    and includes LaTeX documentation in the distribution. For more
  532.    information, contact Mark Tarver <mark@scs.leeds.ac.uk> or 
  533.    <csc6mt@gps.leeds.ac.uk>. 
  534.  
  535. Machine Learning:
  536.  
  537.    ID3: A Lisp implementation of ID3 and other machine learning
  538.    algorithms are available by anonymous ftp from the machine learning
  539.    group at the University of Texas as cs.utexas.edu:pub/mooney
  540.  
  541.    COBWEB/3 is a concept formation system available free after
  542.    signing a license agreement. Contact cobweb@ptolemy.arc.nasa.gov
  543.    for more information.
  544.  
  545.    RWM (Refinement With Macros) is a Common Lisp program for learning
  546.    problem solving strategies. RWM takes a high level description of a
  547.    problem as input and successively refines it into a sequence of
  548.    "easier" subproblems, which collectively constitute a strategy for
  549.    solving the given problem. RWM also learns macro moves which are
  550.    useful for efficiently solving the problem. A short documentation and
  551.    some example problems/strategies are included. To get a copy of this
  552.    description, send mail to the Bilkent University Archieve Server
  553.    bilserv@trbilun.bitnet with "send RWM.tar.Z" in the body of the
  554.    message. For further information, contact H. Altay Guvenir
  555.    <guvenir@trbilun.bitnet>.
  556.   
  557. Mathematics:
  558.  
  559.    MockMma -- peoplesparc.berkeley.edu:pub/mma.tar.Z       [128.32.131.14]
  560.    A Mathematica-style parser written in Common Lisp. Written by Richard
  561.    Fateman; fateman@renoir.Berkeley.EDU. Runs in any valid Common Lisp.
  562.    Tested in Allegro, KCL and Lucid.
  563.  
  564.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  565.       Maxima for Common Lisp (License required from National
  566.       Energy Software Center at Argonne.) Ported by Bill Schelter.
  567.  
  568.    QUAIL (Quantitative Analysis in Lisp) extends Common Lisp to better
  569.    support quantitative analysis. It includes an object-oriented
  570.    quantitative analysis programming environment based on CLOS.  Quail
  571.    was developed by the Statistical Computing Laboratory of the
  572.    Department of Statistics and Actuarial Science of the University of
  573.    Waterloo.  It includes a variety of mathematical and statistical
  574.    capabilities, such as symbolic and numerical differentiation,
  575.    numerical integration, probability calculations (e.g., pseudo-random
  576.    number generation), and statistical response models.  The
  577.    object-oriented graphics display facilities include building blocks
  578.    for arbitrary graphics, a collection of stock statistical graphics,
  579.    function plotting, 3d-rotating function and surface plots, and
  580.    graphical browsers. Quail currently runs in MCL, but a Franz and CLX
  581.    based version is forthcoming. It is available by anonymous ftp from
  582.    setosa.uwaterloo.ca [129.97.141.101] in pub/Quail/. You must read the
  583.    file README-I-MEAN-IT and return a signed copy of the license
  584.    agreement ($10 annual license fee) before using the software. For
  585.    further information, contact Dr. R. W. Oldford,
  586.    <rwoldford@watstat.waterloo.edu> or <rwoldford@watstat.uwaterloo.ca>.
  587.  
  588. Medical Reasoning:
  589.  
  590.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  The TMYCIN rule based system.
  591.  
  592. Music:
  593.  
  594.    Common Music is a music composition language written in Common Lisp
  595.    and CLOS that outputs music (directly or through scorefiles) to a
  596.    variety of synthesis packages, such as the Music Kit, Common Lisp
  597.    Music, MIDI, and CSound.  Common Music runs under MCL 2.0, Allegro CL
  598.    3.1.2 (NeXT), AKCL 1.615 (NeXT), Allegro CL 4.1 beta (SGI Iris), and
  599.    AKCL 6.15 (Sun4). It is available by anonymous ftp from
  600.    ccrma-ftp.stanford.edu [36.49.0.93] and ftp.zkm.de [192.101.28.17] in
  601.    the files pub/cm.tar.Z.  To be added to the mailing list, send mail to
  602.    cmdist-request@ccrma.stanford.edu. For further information, contact
  603.    Rick Taube, <hkt@zkm.de> or <hkt@ccrma.stanford.edu>.
  604.    [Note: In the Common Music sources, there is a generic portable Lisp
  605.    Listener style interpreter that supports command dispatching in
  606.    addition to Lisp evaluation. It is the file ./utils/tl.lisp.] 
  607.  
  608.    Common Lisp Music (CLM) is a software synthesis and signal
  609.    processing package (CL-MUSIC) and a package that makes it relatively
  610.    easy to take advantage of the Motorola DSP 56000 (CL-MUSIC-56).  It is
  611.    available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as
  612.    pub/clm.tar.Z. Basic documentation is in clm.wn (or clm.rtf) and
  613.    ins.lisp.  CLM runs on NeXT under Allegro CL or KCL and on SGI Indigo
  614.    under Allegro CL. The non-56000 version should run on any machine with
  615.    C and Common Lisp. Send bug reports or suggestions to
  616.    Bil Schottstaedt <bil@ccrma.stanford.edu>.
  617.  
  618.    Common Music Notation (CMN) is a music notation package based on on
  619.    Common Lisp, CLOS (pcl), PostScript, and the Adobe Sonata font. It is
  620.    available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as
  621.    pub/cmn.tar.Z.  To be added to the mailing list (same list as for
  622.    Common Music), send mail to cmdist-request@ccrma.stanford.edu.  Please
  623.    send bug reports and suggestions to Bil Schottstaedt
  624.    <bil@ccrma.stanford.edu>. 
  625.  
  626. Natural Language Processing:
  627.  
  628.    The Xerox part-of-speech tagger is available by anonymous ftp from
  629.    parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in
  630.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  631.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  632.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  633.    <pedersen@parc.xerox.com>.
  634.  
  635. Natural Language Generation:
  636.  
  637.    FUF is a natural language generation system based on Functional
  638.    Unification Grammars implemented in Common Lisp. It includes a
  639.    unifier, a large grammar of English (surge), a user manual and many
  640.    examples. FUF is available by anonymous ftp from
  641.       cs.columbia.edu:/pub/fuf/
  642.       black.bgu.ac.il:/pub/fuf/
  643.    as the files fuf5.2.tar.Z and surge.tar.Z. For further information,
  644.    contact the author, Michael Elhadad <elhadad@bengus.bgu.ac.il>.
  645.  
  646. Neural Networks:
  647.  
  648.    ANSIL  -- nervous.cis.ohio-state.edu:pub/lispusers/ansil/ 
  649.              "Advanced Network Simulator in Lisp"
  650.              email: ansil@cis.ohio-state.edu
  651.  
  652. Object-Oriented Programming:
  653.  
  654.    PCL -- parcftp.xerox.com:pcl/ [13.1.64.94]
  655.    Portable Common Loops (PCL) is a portable implementation of
  656.    the Common Lisp Object System (CLOS). A miniature CLOS
  657.    implementation called Closette is available pcl/mop/closette.lisp.
  658.  
  659.    CLOS-on-KEE -- zaphod.lanl.gov:/pub/
  660.    A subset of CLOS that is implemented on top of KEE. Contact
  661.    egdorf%zaphod@LANL.GOV (Skip Egdorf) for more info.
  662.  
  663.    MCS (Meta Class System) -- ftp.gmd.de:/lang/lisp/mcs/ [129.26.8.90]
  664.    Portable object-oriented extension to Common Lisp. Integrates the
  665.    functionality of CLOS (the Common Lisp Object System), and TELOS, (the
  666.    object system of LeLisp Version 16 and EuLisp).  MCS provides a metaobject
  667.    protocol which the user can specialize. Runs in any valid Common Lisp.
  668.    Contact: Harry Bretthauer and Juergen Kopp, German National Research
  669.    Center for Computer Science (GMD), AI Research Division,
  670.    P.O. Box 1316, D-5205 Sankt Augustin 1, FRG, email: juergen.kopp@gmd.de
  671.  
  672.    CommonORBIT (also called CORBIT) is an object-oriented extension of
  673.    Common Lisp.  It uses a prototype (classless) model of OOP, is easy to
  674.    use and yet has many sophisticated features found also in KL-ONE type
  675.    languages.  CommonORBIT is a Common Lisp reimplementation of ORBIT,
  676.    which was originally conceived by Luc Steels around 1981-1983.
  677.    Because of its delegation-based rather than class-based inheritance,
  678.    CommonORBIT offers extreme flexibility to define and change
  679.    practically anything at run-time.  Because of the generic functions,
  680.    it fits well into regular Lisp code.  It can co-exist with CLOS but
  681.    remains completely separate. The source code of CommonORBIT is in the
  682.    public domain and available by anonymous ftp from the Lisp
  683.    Utilities Repository,
  684.       ftp.cs.cmu.edu:user/ai/lang/lisp/
  685.    in the oop/non-clos/corbit/ subdirectory as the file corbit.tar.gz. 
  686.    Documentation is available as the files corbit.msword.hqx, corbit.ps
  687.    or corbit.text. A stripped-down version of CORBIT, known as BOOPS
  688.    (Beginner's Object-Oriented Programming System), is also available
  689.    from the repository as boops.tar.Z. For further information,
  690.    contact the author, Koenraad de Smedt <desmedt@ruls40.LeidenUniv.nl>.
  691.  
  692.  
  693. Parser Generators:
  694.  
  695.    Mark Johnson <mj@cs.brown.edu> has written a LALR parser generator
  696.    for Common Lisp. It is fairly small (about 500 lines of code) and
  697.    can be found in the Lisp Utilities Repository above.
  698.  
  699.    IPG (Incremental Parser Generator) is available by email from 
  700.    Jan Rekers <rekers@cwi.nl>.  It is an appendix to his thesis. It is
  701.    written in LeLisp, but should be portable to other Lisp dialects.
  702.  
  703.    Zebu 2.8.5 is a parser generator for Common Lisp by Joachim H. Laubsch
  704.    <laubsch@hplabs.hpl.hp.com>.  It is an extention written in Common
  705.    Lisp of the Scheme version.  It generates a LALR(1) parsing table.  To
  706.    parse a string with a grammar, only this table and a driver need to be
  707.    loaded. The present version of Zebu contains the ability to define
  708.    several grammars and parsers simultaneously, a declarative framework
  709.    for specifying the semantics, as well as efficiency related
  710.    improvements.  The current version compiles a grammar with 300
  711.    productions (including dumping of the tables to disk) in approx 2
  712.    minutes and 30 seconds on a HP 9000/370.  This implimentation has been
  713.    tested in Lucid CL, Allegro CL, and MCL 2.0b. The current version
  714.    can also produce a generator in addition to a parser. A copy may be
  715.    found on cambridge.apple.com:/pub/mcl2/contrib/zebu-2.2.tar.Z.
  716.  
  717.  
  718. Probabilistic Reasoning and Statistics:
  719.  
  720.    BELIEF is a Common Lisp implementation of the Dempster and Kong fusion
  721.    and propagation algorithm for Graphical Belief Function Models and the
  722.    Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic
  723.    Models. It includes code for manipulating graphical belief models such
  724.    as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams)
  725.    using both belief functions and probabilities as basic representations
  726.    of uncertainty. It is available by anonymous ftp from
  727.    ftp.stat.washington.edu (128.95.17.34), and by email from the author,
  728.    Russell Almond <almond@stat.washington.edu>. Contact the author at
  729.    almond@statsci.com for information about a commercial version
  730.    GRAPHICAL-BELIEF currently in the prototype stages.
  731.  
  732.    XLISP-STAT is an extensible statistics package which runs in XLISP.
  733.    It has recently been ported to Common Lisp, and is available as
  734.       umnstat.stat.umn.edu:/pub/xlispstat/CL/CLS1.0A1.tar.Z [128.101.51.1]
  735.    The CL port does not yet include the lisp-stat dynamic graphics 
  736.    package, only the numerics. The XLisp version is available from
  737.    the above site and several mirror sites, such as mac.archive.umich.edu, 
  738.    and runs on the Apple Macintosh, Unix systems running X11
  739.    (Vax, PMAX, Sun3, Encore Multimax, and Cray XMP), Sun workstations
  740.    running SunView, and the Commodore Amiga. An experimental version
  741.    for DOS computers running Microsoft Windows 3.0 is also available.
  742.    Documentation is available online, in the tutorial introduction
  743.    pub/xlispstat/xlispstat.doc.tar.Z and also in the book
  744.       Luke Tierney, "Lisp-Stat: An Object Oriented Environment for Statistical
  745.       Computing and Dynamic Graphics", Wiley, 1990, 397 pages.
  746.       ISBN 0-471-50916-7. 
  747.    For more information, write to Lisp-Stat Information, School of
  748.    Statistics, 270 Vincent Hall, University of Minnesota, Minneapolis, MN
  749.    55455, or send e-mail to lispstat-info@umnstat.stat.umn.edu.
  750.  
  751.    CLASP (Common Lisp Analytical Statistics Package) provides the basic
  752.    functionality of a statistics package. It is implemented on top of
  753.    CLOS and CLIM on a variety of platforms, and uses BBN's SciGraph
  754.    package for plotting. The CLIM interface includes a "notebook" that is
  755.    both a "desktop" for icons and a Lisp interactor pane.  The Common
  756.    Lisp Instrumentation Package (CLIP) is available along with CLASP.
  757.    CLIP is designed to allow AI system developers andevaluators a
  758.    portable way to define and manage "alligator clips" for instrumenting
  759.    their programs.  CLIP produces data about program behavior in CLASP
  760.    format, as well as other commonly used data formats.  It currently has
  761.    facilities to support experiment design, such as scenario scripting
  762.    and factorial combination of independent variables, and can collect
  763.    data in summaryform (at the end of each trial) or based upon the
  764.    occurrence of specific events (both periodic and non-periodic).  CLASP
  765.    is available by anonymous ftp from
  766.       ftp.cs.umass.edu:pub/eksl/clasp/
  767.    and CLIP is in the directory 
  768.       pub/eksl/clip/
  769.    A tutorial on CLASP can be found in 
  770.       pub/eksl/clasp-tutorial/
  771.    Bugs should be reported to clasp-support@cs.umass.edu. For more
  772.    information, contact Dave Hart <dhart@cs.umass.edu>.
  773.  
  774. Planning:
  775.  
  776.    NONLIN -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  777.    Common Lisp implementation of the NONLIN planning system originally
  778.    designed and implemented by Austin Tate. Bugs can be reported to
  779.    nonlin-bugs@cs.umd.edu. User's group is nonlin-users@cs.umd.edu.
  780.    The authors request that anybody ftping the code send a message to
  781.    nonlin-users-request@cs.umd.edu, letting them know you have a copy
  782.    and also letting them know if you wish to subscribe to the users group.
  783.    More information can also be obtained from Jim Hendler, hendler@cs.umd.edu.
  784.  
  785.    ABTWEAK is a Common Lisp implementation of ABTWEAK, a hierarchical
  786.    nonlinear planner extending David Chapman's (MIT) TWEAK, may be obtained by 
  787.    anonymous ftp from jupiter.drev.dnd.ca in the directory pub/steve/Abtweak. 
  788.    A user's manual is included in the planner distribution, and a copy of the
  789.    associated masters thesis by Steven Woods, and other related papers are 
  790.    also contained in that directory. Send mail to woods@drev.dnd.ca for more
  791.    information.  
  792.  
  793.    RHETORICAL is a planning and knowledge tool available by
  794.    anonymous ftp from cs.rochester.edu:/pub/knowledge-tools
  795.    in the files rhet-19-40.tar.Z and cl-lib-3-11.tar.Z. The files
  796.    tempos-3-6.tar.Z and timelogic-5-0.tar.Z add James Allen's
  797.    interval logic to Rhet. It runs on Symbolics Genera and
  798.    Allegro Common Lisp. Written by Brad Miller <miller@cs.rochester.edu>.
  799.  
  800.    PRODIGY is an integrated planning and learning system,
  801.    available free after signing a license agreement. Contact
  802.    prodigy@cs.cmu.edu for more information.
  803.  
  804.    SOAR is an integrated intelligent agent architecture currently
  805.    being developed at Carnegie Mellon University, the University of
  806.    Michigan, and the Information Sciences Institute of the University of
  807.    Southern California. SOAR, and its companion systems, CParaOPS5 and
  808.    TAQL, have been placed in the public domain. The system may be
  809.    retrieved by anonymous ftp to ftp.cs.cmu.edu (or any other CMU CS
  810.    machine) in the directory /afs/cs.cmu.edu/project/soar/5.2/2/public/.
  811.    [Note: You must cd to this directory in one atomic operation, as
  812.    superior directories may be protected during an anonymous ftp.]  For
  813.    more information, send email to soar-request@cs.cmu.edu or write to
  814.    The Soar Group, School of Computer Science, Carnegie Mellon
  815.    University, Pittsburgh, PA 15213.  Finally, though the software is in
  816.    the public domain, the manual remains under copyright. To obtain one
  817.    (at no charge) send a request (including your physical mail address)
  818.    to soar-doc@cs.cmu.edu or to the physical address above. 
  819.  
  820.    A simple route planning agent implemented in Soar6 is available by
  821.    anonymous ftp from 
  822.       earth.med.ohio-state.edu:pub/IEEE-Soar-code/route-planning.soar6.
  823.    This is the complete code for the agent described in the IEEE Expert
  824.    article: Smith, J. W. and Johnson, T. R., "A stratified approach to
  825.    specifying, designing, and building knowledge systems", IEEE Expert,
  826.    8(3):15-25, 1993.
  827.  
  828.    SNLP is a domain independent systematic nonlinear planner,
  829.    available by anonymous ftp from cs.washington.edu:/pub/snlp.tar.Z
  830.    Contact weld@cs.washington.edu for more information. 
  831.  
  832.    IDM is a Common Lisp implementation of both a classical and extended
  833.    version of the STRIPS planner. It is available by anonymous ftp from 
  834.    sauquoit.gsfc.nasa.gov (128.183.101.29). Questions, comments and bug
  835.    reports may be sent to idm-users@chelmsford.gsfc.nasa.gov.             
  836.  
  837. Planning Testbeds:
  838.  
  839.    TILEWORLD is a planning testbed/simulator developed at SRI
  840.    International by Martha Pollack, Michael Frank and Marc
  841.    Ringuette. TILEWORLD originally ran under Lucid CL, but was
  842.    later extended and ported to Allegro CL by Badr H. Al-Badr
  843.    and Steve Hanks. The new tileworld is available by anonymous
  844.    ftp from cs.washington.edu as the file new-tileworld.tar.Z
  845.    It includes an X interface. Contact pollack@cs.pitt.edu for more
  846.    information. 
  847.  
  848.    TRUCKWORLD is a simulated world intended to provide a 
  849.    testbed for AI planning programs, where the planning agent
  850.    is a truck that roams around the simulated world. It is
  851.    available by anonymous ftp from cs.washington.edu in the
  852.    file simulator.tar.Z. It includes an X interface. Contact
  853.    Steve Hanks <hanks@cs.washington.edu> for more information.
  854.  
  855.    ARS MAGNA is a simulated world intended for use as a testbed for
  856.    planning and mapping programs.  The simulated agent is a robot in an
  857.    indoors environment.  High-level sensing and action are provided,
  858.    realistically modelled on current vision and robotics research.  It is
  859.    written in Nisp, a macro package running on top of Common Lisp.  It is
  860.    available by anonymous ftp from dept.cs.yale.edu in pub/nisp as file
  861.    ars-magna.tar.Z.  It includes an X display.  Contact Sean Engelson
  862.    <engelson@cs.yale.edu> for more information.
  863.  
  864. Qualitative Reasoning:
  865.  
  866.    QSIM is a qualitative reasoning system implemented in Common
  867.    Lisp. It is available by anonymous ftp from cs.utexas.edu:/pub/qsim
  868.    Contact Ben Kuipers <kuipers@cs.utexas.edu> for more information.
  869.  
  870.    QPE is the Qualitative Process Engine, an envisioner for QP theory.
  871.    QPE is publically available from multivac.ils.nwu.edu:pub/QPE
  872.    Maintained by Ken Forbus <forbus@ils.nwu.edu>.
  873.  
  874. Theorem Proving:
  875.  
  876.    MVL (Multi-Valued Logic) is a theorem proving system written in Common
  877.    Lisp. MVL is a bilattice-based reasoning system.  By changing the
  878.    bilattice, you can use MVL to do truth maintenance, nonmonotonic
  879.    reasoning, first-order reasoning, and a variety of other reasoning
  880.    strategies.  MVL is available by anonymous ftp from t.stanford.edu in
  881.    /mvl/mvl.tar.Z. A user's manual may be found in /mvl/manual.tex. For
  882.    more information, contact Matthew L. Ginsberg, <ginsberg@t.stanford.edu>
  883.    or <ginsberg@cs.stanford.edu>. Matthew asks that you send him an email
  884.    message if you retrieve the system by anonymous ftp.
  885.  
  886.    Boyer-Moore
  887.    ftp.cli.com:pub/nqthm/nqthm.tar.Z   Contact: kaufman@cli.com
  888.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  889.       nqthm/               Boyer and Moore's theorem prover.
  890.                            Also available from ftp.cli.com:/pub/nqthm.
  891.       proof-checker/       Matt Kaufmann's proof checking
  892.                            enhancements to nqthm.
  893.    The mailing list nqthm-users-request@cli.com is for users of the
  894.    Boyer-Moore theorem-prover, NQTHM.
  895.  
  896.    DTP is a general theorem prover incorporating domain-independent control
  897.    of inference.  Implemented in CLtL2 Common Lisp, it runs in Franz
  898.    Allegro, Lucid, and Macintosh (MCL) Common Lisp.  It is available by
  899.    anonymous ftp from meta.stanford.edu:pub/dtp/ [36.8.0.54].  Contact
  900.    Don Geddis <Geddis@CS.Stanford.EDU> for more information.
  901.  
  902.    RRL (Rewrite Rule Laboratory) -- herky.cs.uiowa.edu:public/rrl
  903.    [128.255.28.100]
  904.  
  905.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  906.    a portable resolution theorem-prover written in Common Lisp. It is
  907.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  908.    If you take a copy of FRAPPS, please send a short note to Prof.
  909.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  910.  
  911. Truth Maintenance:
  912.  
  913.    The truth maintenance system and problem solver implementations
  914.    described in the book "Building Problem Solvers" by Ken Forbus and
  915.    Johan de Kleer are available by anonymous ftp from
  916.    parcftp.xerox.com:/ftp/pub/bps/. For more information send mail to
  917.    Johan de Kleer <deKleer@parc.xerox.com>.
  918.  
  919. Virtual Reality:
  920.  
  921.    VEOS (Virtual Environment Operating Shell) is an extendible environment
  922.    for prototyping distributed applications for Unix. The programmer's
  923.    interface uses XLISP 2.1. Although intended for distributed
  924.    Virtual Reality applications at The Human Interface Technology Lab
  925.    in Seattle, it should be appropriate for other applications.  VEOS
  926.    uses heavyweight sequential processes, corresponding roughly to
  927.    unix processes. VEOS runs on DEC/5000, Sun4, and Silicon Graphics
  928.    VGX and Indigo. VEOS is available by anonymous ftp from
  929.    milton.u.washington.edu (128.95.136.1) in the directory ~ftp/public/veos
  930.    as veos.tar.Z. If you use the software, the authors ask that you send
  931.    them mail to veos-support@hitl.washington.edu.
  932.  
  933. Vision:
  934.  
  935.    OBVIUS -- whitechapel.media.mit.edu:/obvius/ [18.85.0.125]
  936.              white.stanford.edu: [36.121.0.16]
  937.    Object-Based Vision and Image Understanding System (OBVIUS), is a Common
  938.    Lisp image processing package. Provides a library of image processing
  939.    routines (e.g., convolutions, fourier transforms, statistical
  940.    computations, etc.) on gray or binary images and image-sequences (no
  941.    color support yet), an X windows display interface, postscript printer
  942.    output, etc.  It uses a homebrew interface to X11 (i.e., it does not use
  943.    clx or clue). However, they eventually hope to port Obvius to a clx/clue
  944.    platform. Written by David Heeger <heeger@white.stanford.edu> and Eero
  945.    Simoncelli <eero@whitechapel.media.mit.edu>. Runs in Lucid-4.0. Includes
  946.    LaTeX documentation and User's Guide.
  947.  
  948. Miscellaneous:
  949.  
  950.    ftp.csrl.aoyama.ac.jp:
  951.       YY/       YY window toolkit sources
  952.       lispsrc/  several common lisp sources, including MIT's FRL.
  953.  
  954. ----------------------------------------------------------------
  955. Subject: [6-6] Formatting code in LaTeX (WEB and other literate
  956.                programming tools) 
  957.  
  958. SLaTeX is a R4RS-compliant Scheme program that allows you to write
  959. program code "as is" in your LaTeX or TeX source.  It is particularly
  960. geared to the programming languages Scheme and Common Lisp, and has
  961. been tested in Chez Scheme, Common Lisp, MIT C Scheme, Elk, Scheme->C,
  962. SCM and UMB Scheme on Unix; and MIT C Scheme and SCM on MSDOS.  The
  963. formatting of the code includes assigning appropriate fonts to the
  964. various tokens in the code (keywords, variables, constants, data), at
  965. the same time retaining the proper indentation when going to the
  966. non-monospace (non-typewriter) provided by TeX.  SLaTeX comes with two
  967. databases that recognize the standard keywords/variables/constants of
  968. Scheme and Common Lisp respectively.  These can be modified by the
  969. user using easy TeX commands.  In addition, the user can inform SLaTeX
  970. to typeset arbitrary identifiers as specially suiUï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  971. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  972. α â─ ÷|ìF▒Pìå■■PÜh
  973. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  974. α â─ ÷|ìF▒Pìå■■PÜh
  975. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  976. α â─ÄN6& 6 & 6ìå" PÜ╝
  977. α â─╕vPìår PÜh
  978. α â─╕éPìå" PÜh
  979. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  980. α â─ÄP6& 6(& 6&ìå" PÜh
  981. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår PܬCα â─ï≡â■ uΘƒ╞år ╕Pìår PVÜj3α â─ 6d 6bìår PÜ°
  982. α â─ └ud╕pP╕~╣ùQPVÜj3α â─ìF■PïFε-ÇPÄ86& 6÷& 6⌠VÜPα â─ ÄR6&╟╕[ÖRPïFεïV≡-Çâ┌RPÜ║α Ä,6&úVÜ╚2α â─^ïσ]╦Uï∞ü∞╘WV+└PPÜ(α â─ëFⁿëV■ÄN6& 6 & 6ìFäPÜ╝
  983. α â─ÄN6& 6 & 6ìå4 PÜ╝
  984. α â─╕ÄPìFäPÜh
  985. α â─╕ÜPìå4 PÜh
  986. α â─ìF╘Pìå4 PÜXXα â─@uQÄN6& 6 & 6ìå4 PÜ╝
  987. α â─ÄP6& 6(& 6&ìå4 PÜh
  988. α â─ìF╘Pìå4 PÜXXα â─@uΘ3ïFµïVΦ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  989. α â─╕ªPìF¼PÜh
  990. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷-------------------------------------
  991.  
  992. ;;; *EOF*
  993. JÄF■&èG9êFα
  994. └t ÄFε&èD8Fαu0ÄF■ìwⁿ&ïëF▐;F⌠ÄF■&÷@t┐δï°+~⌠9~÷~ë~÷ëâ├[A9Nµ~Θa ü~÷í}Θ╡╕á+F⌠ëF≥╤f≡â~≡@~╟F≡3╔9NµΘöÄ86&í⌠&ï÷>ï╪ëV■ï~∞╕╘Ä╪â~t ÄF■ìw╞&÷uZÄF■ìw╨&è*ΣàF≡tJÄF■&èêFΓ
  995. └t    ÄFε&8Eu4ÄF■ìw &èêFα
  996. └t    ÄFε&8EuÄF■ìw┬&ïF≥ëF°;F÷}ëF÷ëâ├[A9Nµïü~÷áïV÷δ║áâ~tâ·}║ï┬^_ïσ]╦Éear all searchUï∞ü∞╢WV╕╚Pܬ α â─ï≡ëV■ ╨t5╕╨PÜ6    â─ └u$ïF■PVìåV PÜ╝
  997. α â─ìåV PÜ┘â─δÉ╞åV ╕▄PìåV PÜh
  998. α â─ìF╓PìåV PÜXXα â─ └t$ìåV P╕ΦP╕╠(PÜ─α â─ ╕·PÜ≤α â─ï~ΣW╕PÜα â─ï≡ëV· ╨u╕ P╕╠(PÜ─α â─╕·PÜ≤α â─╕P╕-PìåV PÜ26    â─
  999. ëFⁿëV■ ╨u$ìåV P╕0P╕╠(PÜ─α â─ ╕·PÜ≤α â─ v■ vⁿW╕P v·VÜα â─ ;╟t2ìåV P╕LP╕╠(PÜ─α â─  v■ vⁿܪα â─╕·PÜ≤α â─ v■ vⁿܪα â─ └t$ìåV P╕wP╕╠(PÜ─α â─ ╕·PÜ≤α â─ïF·╗
  1000. Ä 3ë₧R îåT &ë7&ëGìL╗XÄ"3ë₧N îåP &ë&ëGÄ└&ï<ü pt#╕pPW╕ÖP╕╠(PÜ─α â─ ╕·PÜ≤α â──₧N &ï&ïWï╧╤ß╤ß┴ï≡ëVⁿ╟F°â ~>║ìM ëV■ëv·ë~÷ï≥ï~·╕ùÄ╪ÄZïX&ï&+╟ïVⁿ&ë&ëPâ╞IuΣïv·─₧N &─ïFⁿ&ë7&ëG─₧R &─&ï╤α╤α&G├î┬ï°ëV÷ï╪&ïÄ$3&ú·    â╟ï┬&ë>
  1001. &ú
  1002. &ï·    ╤π╤π▀Ä┬&ïÄ&3&ë║ìOëF÷&ë└&ú┬&ï║╤Γ╤Γ╩ï∙╗HÄ(3ë₧J îåL &ë&ëGâ┴Ä*3&ë┤&ú╢ÄF÷&ï╤Γ╤Γ╩ï±ëFⁿPQÜ" α â─@≡╟F°─₧J &─&â?~Gë~⌠║ëV■ëv·ï≥ïN°ï~·╕ùÄ╪─┤&ï&+╟ïVⁿ&ë&ëPâ╞A─₧J &─&9┌ï~⌠ïv·Ä*3&─┤ïFⁿ&ë7&ëG─₧J &─&ï@╤α╤α&G°ïF÷Ä,3&ë>ä
  1003. &úå
  1004. ìMÄ.3&ë▄ &ú▐ ╕^_ïσ]╦É&àÜuΘ0  Uï∞â∞.WVÜ4┘ÄZ9&╟3└Ä\9&ú6Ä^9&ú"Ä`9&ú╓ Äb9&úrÄd9&ïbÄf9&ëdÄh9&ïfÄj9&ëh+╔ëN÷ëN⌠ v vÜZ α    â─RP╕╠"P╕r ╣ùQPÜαα â─ ╕÷╣ùïVï^ï±Vï°ï≥Ä┴Ä█╣≤Ñ^║╢╣ùëV≡ëN≥Vï·ï≡Ä┴╣≤ÑÄl9&â>nu-Än9&─X& ╖B& ╖@Ü┌α    â─╕╧"PÜ|α    â─3└Θb╕r ╣ùQPÜÆ┘â─ └tτï~
  1005.  Θ╛╕P v≥ v≡PÜ┘â─ └t!2└P░PÜ╢]    â─Äp9&àÜt¡ÜN┘δªÉ2└P░PÜ╢]    â─Äp9&àÜuÜ╬┘╕,
  1006. ╣ùQPÜ╚┘â─2└P░PÜ╢]    â─Äp9&àÜuΘ0  ~+└PPÜ(α â─ëF⌠ëV÷╕PÜⁿ┘â─+└PPÜ(α â─ï╚ï┌+F⌠V÷Ä~9&ú║&ë╝SQ v÷ v⌠ï≡ï∙ëvΓëVΣï≤Ürα    â─ëFⁿëV■Ä~9&Ω&∞╣d3█SQRPÜåα ëF°ëV·╕dÖRP v■ vⁿÜ║α ëFⁿëV■ v· v°RP╕<ÖRP╣─ ╗  SQ╕ÖRP vΣ vΓÜ║α RPëF▐ëVαÜTα ╣─ ╗  SQ vα v▐ëF┌ëV▄ÜTα ╣<3█SQ vΣ vΓëF╓ëV╪Ü║quest@cs.cmu.edu. Bugs should be sent toπ   elp-bugs@cs.cmu.edu.ππSee the Scheme FAQ for information on implementations of Prolog in Scheme.ππ----------------------------------------------------------------π;;; *EOF*ππ