UWVFP( FP0 ‹؋F&O F&G&G<ʋЋ™Ƌ$6&~&6&F&9EtL2pP3P F&EĞ&(6&>pt*6&>vt TF&EF,6&>~FvFĞ&^&9~Ì~ڹ-F*Ftz8ft F^&8Gui~t F^&8GuWF+F;F| F9Fu~tF@t8F^&8Gt,F+F;F~<.6&>t0^&GĞ&v&@F[FF,6&9~2F^&8Gu FuӋvzvĞ&7X06&?&&DPĞ&&& 26&>|u 46&z66&^&Gȋƻ[؎86&>&I86&&a~t;F*PĞ&&& 46&zF*Pv:6&& ud26&>|u 46&zĞ&&& <6&6&6` P, >6&F&H t8PP  |FPPh P:6&6&6P  |FPPh P*6&>vt BlPP] @6&6&6`Ğ&&& pP B6&R&TĞ&7FD6&FF6& fĞ&7FtH6&&J6&H6&J6&f%=؎L6&FD6&FF6& ^_]ːUVN6&6 &6rP N6&6 &6"P vPrPh P"Ph FPrPXX @uNFP"PXX @uQN6&6 &6"P P6&6(&6&"Ph FP"PXX @uFV9Vvr9Fv~} ~[sPrPC uƆrPrPVj3 6d6brP  udpP~QPVj3 FPF-P86&6&6VP R6&[RPFV-RP ,6&V2 ^]UWV+PP( FVN6&6 &6FP N6&6 &64P PFPh P4Ph FP4PXX @uQN6&6 &64P P6&6(&6&4Ph FP4PXX @u3FV9Vw1r9Fs*FVFV06&X&& FVFVFVPPFPC uP6d6bVh4 pP~QPVh4 3,602&9?~Dv3ɉNރ,.&Gt &u&g[GĞ0&9?ЋvFP[Ğ0&/P86&6&6VW V2 FPFPR ^_]ːUTWVN6&6 &6FP PFPh PFP V t)FPVQpQ~RQx WV ^_]ːU"WVFP( FP0 V<&m&EFT6&F&M FF &EF~,6&F 86&&؉V$6&FN9Nu~t F&------------------------------------- ;;; *EOF* JF&G9F t F&D8Fu0Fw&F;FF&@t+~9~~~[A9N~a~}+FFf~@~F39N86&&>؉V~؃~t Fw&uZFw&*FtJF&F t F&8Eu4Fw&F t F&8EuFw&FF;F}F[A9N~V~t}^_]ːear all searchUWVP V t5P6  u$FPVVP VPƆVPVPh FPVPXX  t$VPP(P P ~WP V u P(P P P-PVP26 FV u$VP0P(P P vvWPvV ;t2VPLP(P vv P vv  t$VPwP(P P F  3RT&7&GLX"3NP&&G&MVv~~؎ZX&&+NjV&&PIuvĞN&F&7&GĞR&&&GÌV&$3& &> & & ߎ&&3&OF&&&ʋH(3JL&&G*3&&F&ʋFPQ" @FĞJ&&?~G~VvN~&&+NjV&&PAĞJ&&9ڋ~v*3&F&7&GĞJ&&@&GF,3&> & M.3& & ^_]ː&u0 U.WV4Z9&3\9&6^9&"`9& b9&r d9&bf9&dh9&fj9&h+ɉNNvvZ RP"Pr QP V^V۹^VNVl9&>nu-n9&X&B&@ "P| 3br QP t~ PvvP t!2PP] p9&tN릐2PP] p9&u, QP2PP] p9&u0 ~+PP( FVP+PP( ȋ+FV~9&&SQvvvVr FV~9&&d3SQRP FVdRPvv FVvvRP<RPSQRPvv⚺ RPFމVT SQvvމFډVܚT <3SQvvF։Vؚ FV؋Nڋ^+SQF҉VԚT +FVRPvvvvvvZ RPn9&X&r&p N~9&pr9^F&?tt9&>vt^&?t;^9&>"u\9&>6u `9&> tPvv^&?tMt9&>vtAPPv9&68&66`Px9&GPv9&68&66 tظ[.ظ&&،F&Gt1&9}&Gع&;z ~36&z F&9G|&F u &>tF&Gu & t~u &>tF&Gt & uPvvP t}pr9^F&?tMt9&>vtAPPv9&68&66`Px9&JPv9&68&66+PP( FVz9&>|u |9&z, QP |%^&?tMt9&>vtAPPv9&68&66`Px9&GPv9&68&66PvvPn9&X&F&D PvvPr9&>ptMt9&>vtAPPv9&68&66`Px9&GPv9&68&66^_]UWV P3Z9&P QP 9+&& ~ u19&9>"t2PP] p9&u |] u9&9&F |#[n9&&@t 9&2P P] =tz9&>|u |9&zr9&>ptt9&>vtT9&>"t2PP] p9&t t3Pt9&N& LtsdP FV|] t6~vv`  u!dP FV] |] u͚] 3P9&6N&6LtmpP FVRP`  tP~|] t@2P P] =t* vv`  t 3b2PP] p9&t;3PN^9&>"u\9&>6u `9&> t N(^_]ːUWV9 &?|%[&/9&&~ڹ-Ğ &?}^9&>"t5~t/F*Pn9&X&N&L F*P3~9&& t1B*PWn9&X&R&P B*PFF;r `9&?u \9&>6t?Ğ &?|5~t/F*Pn9&X&V&T F*PO9&& uĞ&?u\9&>6u^9&>"un9&X&Z&X 9&6&6` P, 9&6&6P Ğ &?|FPPh PPP] n9&X&^&\ 9&6&6`pP 9&R&T3^9&"\9&6Ğ&^_]ːU욀"P9&6&6n9&X&& 9&6&6`嚖t9&>vt9&63P] 9&>Ltr 9&>du.] v ]UVv u3, ȋƙ+T؋ʙùdP ^]ːUWV~9&B&DF&9Eu &9U u&E & Eu 9&&9&6&6KP KP" KF^F9&& u~N؋W&9Du&9T tGG u9&&V uVV‹&?u$~9&>t3"PvW ~^FFG&<u^&7"PvW_9&6&6KP KP" K^9&F&9t&9&>uF&5"PDvP K^_]ːUt9&>vur9&>pu3P, 9&@P"Pr QP PQ9&6&6`r QP9&6&6Z9&@P9&6 "Pr QP PP9&6&6`r QP9&6&6Z9&bF t'P9&6&6"Pr QP $9&6&6 #Pr QP PQ9&6&6`#P9&6&6ZPP9&6&6`r QP9&6&6Z3P9&6^ ]ːt9&>vt&r9&>pt P9&6&6ːU.WV~FL^ }dǹ[FԻ9^֌F&&GtFLBƌ@V~t ‹F& ^&^&GtFF&C~t FF& ^&^&GtFF&D~t FF& ~t$^&^&G@tFF&FFF& ^&^&GtFF&H~t FF& ^&^&GtFF&K~t FF& ^&^&GtyFF&L~ti^&^&GF |@P+# +FP0#PFP FڌҋȎڋ6?t!vNG^F&=uv~~t$^&^&GtFF&MFF& ^&^&GtFF&N~t FF& ^&^&GtFF&S~t FF& ^&^&G tFF&R~t FF& ~t^~&=&At FF&XF&FL^_]ÐUt9&>vur9&>pu9&>u3P9&6+RP9&@P5#Pr QP PQ9&6&6`r QP9&6&6Z PP9&6&6`vv9&6&6ZT]UWV3Pz9`b&?}Tt9&>vuEWĞ`&@PXn9\^&&f&ddP PP9XZ&w&7`dPĞX&w&7ZPĞ`&7‹؋F&?tTPVĞ\&&j&hdP PPĞX&w&7`dPĞX&w&7Z9TV&G& u9&w&7dP A#PdPh PJ#PdP26 V uFPVQQNQ FWV ~uvrĞT&w&7dP M#PdPh 3PdQNQ*6 uqvFP ;PdPFP*6 t@2PPĞX&w&7`Ğ\&&n&lĞX&w&7ZT^_]R$bCLSU.WV4 ع4& &QP( 4+&,&*&(&0&.p4^F&9t&4&9vt4&X&&F4^&?u-~ٹ~t%FFF4&F ~FFFP RP4&6&6 Pr QP r QPB FP RP Pr QP r QPB F ~js)+FFFFFF4^ތF&4&>v% 4^ڌF&4&>x ^&4& 4&9s 4&> t^&3PN։VRQQD~u QPP  tuHtpHtHHtMc uW^&^&ub4&h4&d4&X&& 뤚 u ^&^&u2봎4&h3P4&T4&ht F҉NԐ3^&9?~14&t&4 QPF  uG^&9?ҚHuHuGHtvHu}W4&t ;E2PP] 4&u)FPP 3PvvָP4& u^&^&t4&d4&h4&X&&  u^&^&t밐62PP] 4&u_4&>tPFPP 3PvvָP"2PP] 4&uFFPQ F4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT4&h3PO QPP 4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT4&T4&h QPP 4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT3P5& 5&b4&d5&f4&hPvvָPf3PvvָPQ^_]WV+ &&r & &6&"&& & ع^_ːUVXP FVRP`  uuv2PP] 4&tY uP2PP]  tFF& t*<t&P]  vv`  t'2PP] :] P ] 3^]ːU(WVb5&?u]v vFVF tHt#HuHuHu)F396F~(D Pv vWd u F;6F|ۋ~F &}t=&u&uvv PbP F &u/ PFP 2vvbP F &u&u8 PFP FLJFĞ&7bPE PP T PP V us5&& tZFLJFbP Ğ&7bPW PP f PP VF u-~ uyP4&X&>&< UFPV FPbPh bPP<  uX9F t!bP4&X&B&@ FDF^FFV ~~ t+v vZ RP4&X&F&D PB >Fuy396F~%D Pv vWd t F;6F|96F/~ u=v vZ RP4&X&J&H~F &}t=&u&uvvi PbP F &uy PFP 2vvbP F &u&u PFP F?t5&6&6bP FPbPh F;6F}rFFFFDFDFF+ƉF~vF^^F^FF F NuFbPB  u$9F ubP4&X&N&L?~ ubP4&X&R&P 5&& uĞ&7P PbP  PbP RP D5&& t-Ğ&7P PbP bPB 3^_]U($ 5^ތF&?u5^ڌF&G& u  t6 6 `  udP   5&bF tP^&w&7 PNFP ^&w&7 PNFP FPNFPXX  uDNFPB ^&74&X&&  5&z^&7]39&RzLxL9&9ptI9&9vt>PP9&6&6`#P9&6&6ZT#P| ] 9&$PP] P u 9&X&N&L 3n9&>ptJ9&>vt>PP9&6&6`#P9&6&6ZT$P| PV39&RzLxL9&9ptH9&9vt=PP9&6&6`&$P9&6&6ZT H$P| :] 9&$PP] 3PN tz9&>ptK9&>vt?PP9&6&6`S$P9&6&6ZTu$P| 3P u4^ːUWV9& & VȋڀFV$PSQ $PvW QPr9&QPZ RP$P 9&QPZ RPvW'3FF9&9~Q~9&9>t,$PvvPVZ RPvv G9&9>~$PvW89^F+&G&9Ft QP: '~uZzL0QP: ~9^&G& t-P&w&7vv< ^&GSvW%$PvW~t)9&>^u9&>`t$6$1$+9&t$PvW9&u$PvW$PvW9&> بt+& ~u:& #Ft&ِFtvt &6 بt$`~t6t$PvWt$PvWƨt3$"t$t$ ƨt$PvW9&t~t9&>zu$PvW$PvW$PvWw$PvWh9&>ju9&X&&$ډFVRP9&69&6$PP%Pvv vvvW%PvW9&6&69&6&6:&6&6#%Pvv vvvWB:&6&6:&6&6:&6&60%Pvv vvvW=%PvWD:&&&(0T|RPE%Pvv vvvW vW" 9&$PP] FpP FVv~vvO%PvV vV" PvVj! FPQ\%QJ] PvV" PvVJ] PvvvJ] F~~;~v^^؋NJ*3QNJ*&3ZF;v|։~v] v_%PvV PvV" PvVJ] FF=vP FVvv`  t 2PP]  :&uvv`  t|] u t 3P( -*ui%PvV vV2 ui6`#6^#vVF  uN6p#6n#vvF  t~9&X&&e%PFPW ƋFv2PP] 9&X&&V\2PP]  :&u9&X&&ˎ9&X&&k%PFPV NjFvW 3^_]U WVFdžPƆ{dž8o%:dždž@~%BdžD%FdžH%J+NL9& & vx~prt89 +&G&n9&9ptH9&9vt=PP9&6&6`%P9&6&6ZT %P| T :&P FVpP FV+FF{{<vv~uZ6`#6^#%P~V P~V" P~VJ] Common Lisp versions of the mini programs from "Inside Computer Understanding" by Schank and Riesbeck, 1981, are available by anonymous ftp from cs.umd.edu in the directory pub/schank/icu. This includes the SAM and ELI miniatures. It will eventually include copies of the miniature versions of PAM, POLITICS, and Tale-Spin. The FOR macro is also available in this directory, as are a set of functions for manipulating and matching lisp representations of Conceptual Dependency formulas. Contact Bill Andersen for more information. Norvig: The software from Peter Norvig's book "Paradigms of AI Programming" is available by anonymous ftp from unix.sri.com:pub/norvig and on disk in Macintosh or DOS format from the publisher, Morgan Kaufmann. | Software includes Common Lisp implementations of: Eliza and pattern matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers, Unification and a prolog interpreter and compiler, Waltz line-labelling, implementation of GPS, macsyma, and random number generators. | For more information, contact: Morgan Kaufmann, Dept. P1, 2929 Campus Drive, Suite 260 San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672 Mac ISBN 1-55860-227-5 DOS 3.5" ISBN 1-55860-228-3 DOS 5.25" ISBN 1-55860-229-1 A catalog of free and commercial natural language software is available from the Natural Language Software Registry, by anonymous ftp from ftp.dfki.uni-sb.de in the directory /registry, or by email to registry@dfki.uni-sb.de. TI Explorer Lisp Code -- sumex-aim.stanford.edu:pub/exp/ The Knowledge Systems Lab's set of Explorer patches and tools. It includes in the jwz subdirectory a set of tools written and collected by Jamie Zawinski. Send questions to acuff@sumex-aim.stanford.edu. Dick Waters/MERL: XP, Series Dick Waters' XP Lisp Pretty Printer is available by anonymous ftp from merl.com:/pub/xp/ as the files xp-code.lisp, xp-doc.txt, and xp-test.lisp. The Series Macro is also available from this site in the directory /pub/series/ as the files s-code.lisp, s-test.lisp, and s-doc.txt. The Series macro package is described fully in Waters, R.C., "Automatic Transformation of Series Expressions into Loops", ACM Transactions on Programming Languages and Systems, 13(1):52--98, January 1991, MIT/AIM-1082 and MIT/AIM-1083. Both programs are also available from the Lisp Utilities Repository described above. For further information, contact Dick Waters, or . An improved version of Series is in the works. ---------------------------------------------------------------- Subject: [6-3] Publicly Redistributable Lisp Software AI Algorithms and Tools: PAIL (Portable AI Lab) is a computing environment containing a collection of state-of-the-art AI tools, examples, and documentation. It is aimed at those involved in teaching AI courses at university level or equivalent. The system has enough built-in functionality to enable its users to get practical experience with a broad range of AI problems without having to build all the supporting tools from scratch. It is implemented in Common Lisp and uses CLOS and Allegro Common Windows (i.e., in Allegro CL 4.1). It is available by anonymous ftp from pobox.cscs.ch (148.187.10.13) in the directory /pub/ai/pail-2.4/. Written by Mike Rosner and Dean Allemang {dean,mike}@idsia.ch. AI_ATTIC is an anonymous ftp collection of classic AI programs and other information maintained by the University of Texas at Austin. It includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork, Babbler, Jive, and some AI-related programming languages. This archive is available by anonymous ftp from ftp.cc.utexas.edu (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC. For more information, contact atticmaster@bongo.cc.utexas.edu. Analogical Reasoning: SME is the Structure-Mapping Engine, as described in Falkenhainer, Forbus, and Gentner's 1987 AIJ article. Available from multivac.ils.nwu.edu:pub/SME For further information, contact Brian Falkenhainer or Ken Forbus . Benchmarks: Gabriel Lisp Benchmarks are available by anonymous ftp as ai.toronto.edu:/pub/gabriel-lisp-benchmarks.tar.Z. The benchmarks are described in the book "Performance Evaluation of Lisp Systems", by Richard Gabriel. Lucid CL contains a set of benchmarks in its goodies/ directory, including Bob Boyer's logic programming benchmark, a benchmark to create and browse through an AI-like database of units, a CLOS speed test, a compilation speed test, TAKR (the 100 function version of TAK that tries to defeat cache memory effects), CTAK (A version of the TAKeuchi function that uses the CATCH/THROW facility), STAK (A version of the TAKeuchi function with special variables instead of parameter passing), DERIV and DDERIV (Symbolic derivative benchmarks written by Vaughn Pratt), DESTRU (a destructive operation benchmark), DIV2 (a benchmark which divides by 2 using lists of n ()'s), the FFT benchmark written by Harry Barrow, FPRINT (a benchmark to print to a file), FRPOLY (a Franz Lisp benchmark by Fateman based on polynomial arithmentic), Forest Baskett's PUZZLE benchmark (originally written in Pascal), the TPRINT benchmark to read and print to the terminal, a benchmark that creates and traverses a tree structure, and TRIANG (board game benchmark). Some of the benchmarks may work only in Lucid. Blackboard Architectures: The UMass GBB system (V1.2) is available by anonymous ftp from dime.cs.umass.edu:/gbb. The commercial GBB product is not. Work on the UMass GBB project (and funding) ended over 2 years ago. Many researchers using it have opted for the commercial release. The UMass research system remains available, but the two should not be confused as the commercial system is substantially improved and extended. The commercial system is available from Blackboard Technology Group, 401 Main Street, Amherst, Massachusetts 01002, 413-256-8990, fax 413-256-3179. For a tutorial on how to build a blackboard system, see the paper P. R. Kersten and Avi C. Kak, "A Tutorial on Lng, and convergence. Code to factor numbers and to do the Solovay-Strassen probabilistic prime test is included. A technical report describing CLMath is available as MIT AI Lab Memo 774, Gerald Roylance, "Some Scientific Subroutines in LISP", September 1984. Iterate is Jonathan Amsterdam's alternative to series and the Loop macro. For more information, contact jba@ai.mit.edu. The LispUsers Archives, a collection of programs for Medley, can be found on nervous.cis.ohio-state.edu:pub/lispusers/medley. The files include a plotting module, addressbook, chat program, clock, call-grapher, grep implementation, Tower of Hanoi, Life, lisp dialect translator, and fonts. Also on nervous.cis.ohio-state.edu is GTT, an implementation of Chandrasekaran's Generic Tasks Toolset, in directory pub/lispusers/toolset. There's a repository of Amiga LISP implementations (and other Lisp-like language implementations) on gatekeeper.pa.dec.com:pub/micro/amiga/lisp/. d tar file for Unix machines (no MCL fonts) GECO.abstract a brief description It runs in MCL 2.0, but should be portable among CLtL2 compliant Common Lisps. GAL is a genetic algorithm suite written by Bill Spears of NRL. The MCL2.0 port was done by Howard Oakley and is available from cambridge.apple.com:/pub/MCL2/contrib as GAL.sea.hqx. Improvements and adaptations should be sent to Bill Spears, but questions on the MCL port should be directed to Howard Oakley. Other genetic algorithms code is available ftp.aic.nrl.navy.mil:/pub/galist including Genesis (source-code/ga-source/genesis.tar.Z) and the archives of the GA-List mailing list. A survey of free and commercial genetic algorithms implementations is available in information/ga-software-survey.txt. Knowledge Representation: KNOWBEL is an implementation of Telos (a sorted/temporal logic system) by Bryan M. Kramer, . It is available by anonymous ftp from ai.toronto.edu:/pub/kr/ as the files knowbel.tar.Z and manual.txt.tar.Z Runs in Allegro CL on Sparcstations and Silicon Graphics 4d and in MCL on Apple Macintoshes. SNePS (Semantic Network Processing System) is the implementation of a fully intensional theory of propositional knowledge representation and reasoning. SNePS includes a module for creating and accessing propositional semantic networks, path-based inference, node-based inference based on SWM (a relevance logic with quantification) that uses natural deduction and can deal with recursive rules, forward, backward and bi-directional inference, nonstandard logical connectives and quantifiers, an assumption based TMS for belief revision, a morphological analyzer and a generalized ATN (GATN) parser for parsing and generating natural language, SNePSLOG, a predicate-logic-style interface to SNePS, XGinseng, an X-based graphics interface for displaying, creating and editing SNePS networks, SNACTor, a preliminary version of the SNePS Acting component, and SNIP 2.2, a new implementation of the SNePS Inference Package that uses rule shadowing and knowledge migration to speed up inference. SNeRE (the SNePS Rational Engine), which is part of Deepak Kumar's dissertation about the integration of inference and acting, will replace the current implementation of SNACTor. SNePS is written in Common Lisp, and has been tested in Allegro CL 4.1, Lucid CL 4.0, TI Common Lisp, CLISP May-93, and CMU CL 17b. It should also run in Symbolics CL, AKCL 1.600 and higher, VAX Common Lisp, and MCL. The XGinseng interface is built on top of Garnet. SNePS 2.1 is free according to the GNU General Public License version 2. The SNePS distribution is available by anonymous ftp from ftp.cs.buffalo.edu:/pub/sneps/ [128.205.32.9] as the file rel-x-yyy.tar.Z, where 'x-yyy' is the version. The other files in the directory are included in the distribution; they are duplicated to let you get them without unpacking the full distribution if you just want the bibliography or manual. If you use SNePS, please send a short message to shapiro@cs.buffalo.edu and snwiz@cs.buffalo.edu. Please also let them know whether you'd like to be added to the SNUG (SNePS Users Group) mailing list. COLAB (COmpilation LABoratory) is a hybrid knowledge representation system emphasizing the horizontal and vertical compilation of knowledge bases. It is comprised of cooperating subsystems -- CONTAX, FORWARD, RELFUN and TAXON -- which deal with different knowledge representation and reasoning formalisms. Each subsystem can also be used as stand-alone system. CONTAX deals with constraint nets and constraint-propagation techniques. Relational knowledge in the form of Horn rules is processed by forward (FORWARD) and backward (RELFUN) chaining. Taxonomic knowledge is represented by intensional concept definitions which are automatically arranged in a subsumption hierarchy (TAXON). The COLAB software was developed at DFKI and the University of Kaiserslautern and runs in Common Lisp. (The subsystems have been tested in AKCL and Lucid CL, and possibly also Allegro CL and Symbolics CL.) All the subsystems are available free of charge for research purposes. o RELFUN is a logic-programming language with call-by-value (eager), non-deterministic, non-ground functions, and higher-order operations. It accepts freely interchangeable LISP-style and PROLOG-style syntaxes. For sources to RELFUN and copies of relevant papers, contact Dr. Harold Boley, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany, call +49-631-205-3459, fax +49-631-205-3210, or send email to boley@informatik.uni-kl.de. o TAXON is a terminological knowledge representation system extended by concrete domains. For sources to TAXON and copies of relevant papers, contact Philipp Hanschke, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany, call +49-631-205-3460, fax +49-631-205-3210, or send email to hanschke@dfki.uni-kl.de. o CONTAX is a constraint system for weighted constraints over hierarchically structured finite domains. CONTAX uses CLOS in addition to Common Lisp. For sources to CONTAX and copies of relevant papers, contact Manfred Meyer, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany, call +49-631-205-3468, fax +49-631-205-3210, or send email to meyer@dfki.uni-kl.de. o FORWARD is a logic programming language with bottom-up and top-down evaluation of Horn clauses. For sources to FORWARD and copies of relevant papers, contact Knut Hinkelmann, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany, call +49-631-205-3467, fax +49-631-205-3210, or send email to hinkelma@dfki.uni-kl.de. URANUS is a logic-based knowledge representation language. Uranus is an extension of Prolog written in Common Lisp and using the syntax of Lisp. Uranus extends Prolog with a multiple world mechanism for knowledge representation and term descriptions to provide functional programming within the framework of logic programming. It is available free by anonymous ftp from etlport.etl.go.jp:pub/uranus/ftp/ [192.31.197.99] for research purposes only. For more information contact the author, Hideyuki Nakashima . Languages and Alternate Syntaxes: Generalized Lisp (or Glisp for short) is a coordinated set of high level syntaxes for Common Lisp. Initially GLisp consists of three dialects: Mlisp, Plisp and ordinary Lisp, together with an extensible framework for adding others. Mlisp (Meta-Lisp) is an Algol-like syntax for people who don't like writing parentheses. For example, one can write print("abc", stream) instead of (print "abc" stream). Plisp (Pattern Lisp) is a pattern matching rewrite-rule language. Plisp is a compiler-compiler; its rules are optimized for writing language translators. All dialects may be freely intermixed in a file. The translators for all dialects are written in Plisp, as is the Glisp translator framework itself. Support routines for the translators are written in Mlisp and/or Lisp. All dialects are translated to Common Lisp and execute in the standard Common Lisp environment. Glisp is available by anonymous ftp from apple.com or ftp.apple.com:dts/mac/lisp/glisp.tar.Z GLISP runs in MCL and has to be modified for other Common Lisp implementations. CGOL is algol-like language that is translated into Lisp before execution. It was developed originally by Vaughn Pratt. A Common Lisp implementation of CGOL is available by anonymous ftp from peoplesparc.berkeley.edu:pub/cgol.1.tar.Z [128.32.131.14] (The number "1" may increase if newer versions are posted.) It was written by a UC Berkeley graduate student, Tom Phelps, as a term project, so there may still be some rough edges. There is a lot of documentation in the distribution, including the "original" CGOL memo (pratt.memo). For more information, contact Richard Fateman . StarLisp Simulator. The StarLisp Simulator simulates *Lisp, one of the programming langauges used to program the Connection Machine. StarLisp runs under Symbolics, Lucid, Allegro, and Franz, and is available by anonymous ftp from think.com:/cm/starlisp/starsim-f19-sharfile The "CM5 *Lisp Tutorial" is available by anonymous ftp from arp.anu.edu.au:/ARP/papers/starlisp/ [150.203.20.2] in Andrew "ez" and postscript formats. Write to Zdzislaw Meglicki for more information about the tutorial. InterLisp->Common-Lisp Translator -- ftp.ai.sri.com:pub/pkarp/lisp/ilisp/ Other InterLisp to Common Lisp translators may be found in the LispUsers archive listed above. The Yale Haskell system runs in CMU Common Lisp, Lucid CL, and AKCL. It is available by anonymous ftp from Chalmers animal.cs.chalmers.se 129.16.225.66 Glasgow ftp.dcs.glasgow.ac.uk 130.209.240.50 Yale nebula.cs.yale.edu 128.36.13.1 in the directory pub/haskell/yale as the files haskell-beta-2-source.tar.Z -- full sources haskell-beta-2-sparc.tar.Z -- sparc executable Lisp Tools: See the Lisp Utilities Repository in [6-2]. The Automatic Memoization Facility adds a practical memoization facility to Common Lisp. Automatic memoization is a technique by which an existing function can be transformed into one that "remembers" previous arguments and their associated results, yielding large performance gains for certain types of applications. This facility extends the ideas from Norvig's book into what is needed for a practical tool for us in large programs. It adds facilities for bookkeeping and timing, and lets you evaluate of the timing advantages of memoization, and save hash tables to disk for automatic reuse in later sessions. The code is available by anonymous ftp from archive.cs.umbc.edu:/pub/Memoization [130.85.100.53]. Contact Marty Hall for more information. The code includes an overview of memoization and its applications. PLisp - A Common Lisp front end to Postscript. This translates many Common Lisp functions to postscript as well as manage the environment and many lispisms (&optional and &rest arguments, multiple values, macros, ...). Available via anonymous ftp in pub/plisp/plisp.tar.Z on nebula.cs.yale.edu (128.36.13.1). Written by John Peterson, peterson-john@cs.yale.edu. RegExp is an extension to Allegro Common Lisp which adds regular expression string matching, using the foreign function interface. Available by anonymous ftp from ftp.ai.sri.com:/pub/pkarp/regexp/. Contact pkarp@ai.sri.com for more information. ifi.informatik.uni-stuttgart.de:/pub/xit/cl-utilities/ contains three small utilities: completion.lisp A simple filename completion program. cl-utilities.lisp Some macros for dealing with points, regions, and some miscellaneous macros. copy-objects.lisp Code for copying instances. think.com:think/lisp contains some useful lisp code (most of it Symbolics dependent) including: lisp-lint.lisp A set of compiler style checkers that warn when a function call does not conform to Common Lisp. MEASURES is a system to handle engineering numbers and measures in Common Lisp. It runs in Allegro CL, Lispworks, MCL, and Symbolics CL. Written by Roman Cunis. Some documentation can be found in the file measures.doc and examples in measures-example.lisp. It is available from the Lisp Utilities Repository /afs/cs.cmu.edu/project/ai-repository/ai/lang/lisp/lisp/syntax/ in the file measures-2.0.tar.gz. For further information, contact Ralf Moeller, University of Hamburg, Bodenstedtstr 16, 2000 Hamburg 50, Germany, call 40-4123-6134, fax 40-4123-6530, or send email to moeller@informatik.uni-hamburg.de. DEFTABLE provides a macro that unifies the interface to Common Lisp's table-like data structures (e.g., association lists, property lists, and hash tables). Written by Peter Norvig . It is available by anonymous ftp from ftp.ai.mit.edu:/pub/lptrs/deftable.lisp [128.52.32.6] and also the Lisp Utilities Repository. An article describing deftable was published in ACM Lisp Pointers 5(4):32-38, December 1992. SEQUEL (SEQUEnt processing Language) is designed both as a general purpose AI language for generating type-secure and efficient Lisp programs and as a very high level specification language for implementing logics on the computer. Designed at the University of Leeds, SEQUEL compiles sequent-calculus specifications of arbitrary logics to working proof assistants. The sequent calculus specifications are compiled into Horn clauses and from Horn clauses into virtual machine instructions of an abstract machine SLAM (SequeL Abstract Machine) which then translates these instructions into efficient Lisp code using WAM-style compilation techniques. Although a functional programming language, SEQUEL includes facilities for backtracking usually associated with logic programming, and supports a pattern-matching method of building functions based on Prolog notation. The Lisp code generated from SEQUEL functions is completely portable and runs in most Common Lisp implementations. It is comparable in efficiency with hand-written code. SEQUEL also supports optional static type-checking in the manner of SML and similar languages. With type-checking enabled, all inputs and loaded files are type-checked and the resulting Lisp programs are type-secure. The SEQUEL compiler uses the information gleaned from type-checking to add compiler directives within the generated Lisp functions to produce optimized Lisp programs. SEQUEL includes a UNIX-style top level with its own trace package and type-checking debugger. SEQUEL is also of interest to automated reasoning researchers. It provides a very powerful means of generating proof assistants and theorem provers that have a very fast performance using WAM-derived compilation techniques. The theorem provers are automatically verified. It includes a facility for Datalog and an efficient occurs-check Horn-clause-to-Lisp compiler, a mouse driven graphical interface for all proof assistants and theorem provers built under SEQUEL (currently available only under Lucid). Several demonstration theorem provers for different logics, including FOL, Clarke's logic of space, partial evaluation, set theory, and constructive type theory are available. SEQUEL runs under Kyoto CL, Lucid CL, and CMU Common Lisp. SEQUEL is available free for non-commercial purposes by anonymous ftp from agora.leeds.ac.uk:scs/logic/ [129.11.144.130] and includes LaTeX documentation in the distribution. For more information, contact Mark Tarver or . Machine Learning: ID3: A Lisp implementation of ID3 and other machine learning algorithms are available by anonymous ftp from the machine learning group at the University of Texas as cs.utexas.edu:pub/mooney COBWEB/3 is a concept formation system available free after signing a license agreement. Contact cobweb@ptolemy.arc.nasa.gov for more information. RWM (Refinement With Macros) is a Common Lisp program for learning problem solving strategies. RWM takes a high level description of a problem as input and successively refines it into a sequence of "easier" subproblems, which collectively constitute a strategy for solving the given problem. RWM also learns macro moves which are useful for efficiently solving the problem. A short documentation and some example problems/strategies are included. To get a copy of this description, send mail to the Bilkent University Archieve Server bilserv@trbilun.bitnet with "send RWM.tar.Z" in the body of the message. For further information, contact H. Altay Guvenir . Mathematics: MockMma -- peoplesparc.berkeley.edu:pub/mma.tar.Z [128.32.131.14] A Mathematica-style parser written in Common Lisp. Written by Richard Fateman; fateman@renoir.Berkeley.EDU. Runs in any valid Common Lisp. Tested in Allegro, KCL and Lucid. rascal.ics.utexas.edu:/pub/ 128.83.138.20 Maxima for Common Lisp (License required from National Energy Software Center at Argonne.) Ported by Bill Schelter. QUAIL (Quantitative Analysis in Lisp) extends Common Lisp to better support quantitative analysis. It includes an object-oriented quantitative analysis programming environment based on CLOS. Quail was developed by the Statistical Computing Laboratory of the Department of Statistics and Actuarial Science of the University of Waterloo. It includes a variety of mathematical and statistical capabilities, such as symbolic and numerical differentiation, numerical integration, probability calculations (e.g., pseudo-random number generation), and statistical response models. The object-oriented graphics display facilities include building blocks for arbitrary graphics, a collection of stock statistical graphics, function plotting, 3d-rotating function and surface plots, and graphical browsers. Quail currently runs in MCL, but a Franz and CLX based version is forthcoming. It is available by anonymous ftp from setosa.uwaterloo.ca [129.97.141.101] in pub/Quail/. You must read the file README-I-MEAN-IT and return a signed copy of the license agreement ($10 annual license fee) before using the software. For further information, contact Dr. R. W. Oldford, or . Medical Reasoning: TMYCIN -- sumex-aix.stanford.edu:/tmycin The TMYCIN rule based system. Music: Common Music is a music composition language written in Common Lisp and CLOS that outputs music (directly or through scorefiles) to a variety of synthesis packages, such as the Music Kit, Common Lisp Music, MIDI, and CSound. Common Music runs under MCL 2.0, Allegro CL 3.1.2 (NeXT), AKCL 1.615 (NeXT), Allegro CL 4.1 beta (SGI Iris), and AKCL 6.15 (Sun4). It is available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] and ftp.zkm.de [192.101.28.17] in the files pub/cm.tar.Z. To be added to the mailing list, send mail to cmdist-request@ccrma.stanford.edu. For further information, contact Rick Taube, or . [Note: In the Common Music sources, there is a generic portable Lisp Listener style interpreter that supports command dispatching in addition to Lisp evaluation. It is the file ./utils/tl.lisp.] Common Lisp Music (CLM) is a software synthesis and signal processing package (CL-MUSIC) and a package that makes it relatively easy to take advantage of the Motorola DSP 56000 (CL-MUSIC-56). It is available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as pub/clm.tar.Z. Basic documentation is in clm.wn (or clm.rtf) and ins.lisp. CLM runs on NeXT under Allegro CL or KCL and on SGI Indigo under Allegro CL. The non-56000 version should run on any machine with C and Common Lisp. Send bug reports or suggestions to Bil Schottstaedt . Common Music Notation (CMN) is a music notation package based on on Common Lisp, CLOS (pcl), PostScript, and the Adobe Sonata font. It is available by anonymous ftp from ccrma-ftp.stanford.edu [36.49.0.93] as pub/cmn.tar.Z. To be added to the mailing list (same list as for Common Music), send mail to cmdist-request@ccrma.stanford.edu. Please send bug reports and suggestions to Bil Schottstaedt . Natural Language Processing: The Xerox part-of-speech tagger is available by anonymous ftp from parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and Macintosh CL 2.0p2. For more information, contact the authors, Doug Cutting , and Jan Pedersen . Natural Language Generation: FUF is a natural language generation system based on Functional Unification Grammars implemented in Common Lisp. It includes a unifier, a large grammar of English (surge), a user manual and many examples. FUF is available by anonymous ftp from cs.columbia.edu:/pub/fuf/ black.bgu.ac.il:/pub/fuf/ as the files fuf5.2.tar.Z and surge.tar.Z. For further information, contact the author, Michael Elhadad . Neural Networks: ANSIL -- nervous.cis.ohio-state.edu:pub/lispusers/ansil/ "Advanced Network Simulator in Lisp" email: ansil@cis.ohio-state.edu Object-Oriented Programming: PCL -- parcftp.xerox.com:pcl/ [13.1.64.94] Portable Common Loops (PCL) is a portable implementation of the Common Lisp Object System (CLOS). A miniature CLOS implementation called Closette is available pcl/mop/closette.lisp. CLOS-on-KEE -- zaphod.lanl.gov:/pub/ A subset of CLOS that is implemented on top of KEE. Contact egdorf%zaphod@LANL.GOV (Skip Egdorf) for more info. MCS (Meta Class System) -- ftp.gmd.de:/lang/lisp/mcs/ [129.26.8.90] Portable object-oriented extension to Common Lisp. Integrates the functionality of CLOS (the Common Lisp Object System), and TELOS, (the object system of LeLisp Version 16 and EuLisp). MCS provides a metaobject protocol which the user can specialize. Runs in any valid Common Lisp. Contact: Harry Bretthauer and Juergen Kopp, German National Research Center for Computer Science (GMD), AI Research Division, P.O. Box 1316, D-5205 Sankt Augustin 1, FRG, email: juergen.kopp@gmd.de CommonORBIT (also called CORBIT) is an object-oriented extension of Common Lisp. It uses a prototype (classless) model of OOP, is easy to use and yet has many sophisticated features found also in KL-ONE type languages. CommonORBIT is a Common Lisp reimplementation of ORBIT, which was originally conceived by Luc Steels around 1981-1983. Because of its delegation-based rather than class-based inheritance, CommonORBIT offers extreme flexibility to define and change practically anything at run-time. Because of the generic functions, it fits well into regular Lisp code. It can co-exist with CLOS but remains completely separate. The source code of CommonORBIT is in the public domain and available by anonymous ftp from the Lisp Utilities Repository, ftp.cs.cmu.edu:user/ai/lang/lisp/ in the oop/non-clos/corbit/ subdirectory as the file corbit.tar.gz. Documentation is available as the files corbit.msword.hqx, corbit.ps or corbit.text. A stripped-down version of CORBIT, known as BOOPS (Beginner's Object-Oriented Programming System), is also available from the repository as boops.tar.Z. For further information, contact the author, Koenraad de Smedt . Parser Generators: Mark Johnson has written a LALR parser generator for Common Lisp. It is fairly small (about 500 lines of code) and can be found in the Lisp Utilities Repository above. IPG (Incremental Parser Generator) is available by email from Jan Rekers . It is an appendix to his thesis. It is written in LeLisp, but should be portable to other Lisp dialects. Zebu 2.8.5 is a parser generator for Common Lisp by Joachim H. Laubsch . It is an extention written in Common Lisp of the Scheme version. It generates a LALR(1) parsing table. To parse a string with a grammar, only this table and a driver need to be loaded. The present version of Zebu contains the ability to define several grammars and parsers simultaneously, a declarative framework for specifying the semantics, as well as efficiency related improvements. The current version compiles a grammar with 300 productions (including dumping of the tables to disk) in approx 2 minutes and 30 seconds on a HP 9000/370. This implimentation has been tested in Lucid CL, Allegro CL, and MCL 2.0b. The current version can also produce a generator in addition to a parser. A copy may be found on cambridge.apple.com:/pub/mcl2/contrib/zebu-2.2.tar.Z. Probabilistic Reasoning and Statistics: BELIEF is a Common Lisp implementation of the Dempster and Kong fusion and propagation algorithm for Graphical Belief Function Models and the Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic Models. It includes code for manipulating graphical belief models such as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams) using both belief functions and probabilities as basic representations of uncertainty. It is available by anonymous ftp from ftp.stat.washington.edu (128.95.17.34), and by email from the author, Russell Almond . Contact the author at almond@statsci.com for information about a commercial version GRAPHICAL-BELIEF currently in the prototype stages. XLISP-STAT is an extensible statistics package which runs in XLISP. It has recently been ported to Common Lisp, and is available as umnstat.stat.umn.edu:/pub/xlispstat/CL/CLS1.0A1.tar.Z [128.101.51.1] The CL port does not yet include the lisp-stat dynamic graphics package, only the numerics. The XLisp version is available from the above site and several mirror sites, such as mac.archive.umich.edu, and runs on the Apple Macintosh, Unix systems running X11 (Vax, PMAX, Sun3, Encore Multimax, and Cray XMP), Sun workstations running SunView, and the Commodore Amiga. An experimental version for DOS computers running Microsoft Windows 3.0 is also available. Documentation is available online, in the tutorial introduction pub/xlispstat/xlispstat.doc.tar.Z and also in the book Luke Tierney, "Lisp-Stat: An Object Oriented Environment for Statistical Computing and Dynamic Graphics", Wiley, 1990, 397 pages. ISBN 0-471-50916-7. For more information, write to Lisp-Stat Information, School of Statistics, 270 Vincent Hall, University of Minnesota, Minneapolis, MN 55455, or send e-mail to lispstat-info@umnstat.stat.umn.edu. CLASP (Common Lisp Analytical Statistics Package) provides the basic functionality of a statistics package. It is implemented on top of CLOS and CLIM on a variety of platforms, and uses BBN's SciGraph package for plotting. The CLIM interface includes a "notebook" that is both a "desktop" for icons and a Lisp interactor pane. The Common Lisp Instrumentation Package (CLIP) is available along with CLASP. CLIP is designed to allow AI system developers andevaluators a portable way to define and manage "alligator clips" for instrumenting their programs. CLIP produces data about program behavior in CLASP format, as well as other commonly used data formats. It currently has facilities to support experiment design, such as scenario scripting and factorial combination of independent variables, and can collect data in summaryform (at the end of each trial) or based upon the occurrence of specific events (both periodic and non-periodic). CLASP is available by anonymous ftp from ftp.cs.umass.edu:pub/eksl/clasp/ and CLIP is in the directory pub/eksl/clip/ A tutorial on CLASP can be found in pub/eksl/clasp-tutorial/ Bugs should be reported to clasp-support@cs.umass.edu. For more information, contact Dave Hart . Planning: NONLIN -- cs.umd.edu:/pub/nonlin (128.8.128.8) Common Lisp implementation of the NONLIN planning system originally designed and implemented by Austin Tate. Bugs can be reported to nonlin-bugs@cs.umd.edu. User's group is nonlin-users@cs.umd.edu. The authors request that anybody ftping the code send a message to nonlin-users-request@cs.umd.edu, letting them know you have a copy and also letting them know if you wish to subscribe to the users group. More information can also be obtained from Jim Hendler, hendler@cs.umd.edu. ABTWEAK is a Common Lisp implementation of ABTWEAK, a hierarchical nonlinear planner extending David Chapman's (MIT) TWEAK, may be obtained by anonymous ftp from jupiter.drev.dnd.ca in the directory pub/steve/Abtweak. A user's manual is included in the planner distribution, and a copy of the associated masters thesis by Steven Woods, and other related papers are also contained in that directory. Send mail to woods@drev.dnd.ca for more information. RHETORICAL is a planning and knowledge tool available by anonymous ftp from cs.rochester.edu:/pub/knowledge-tools in the files rhet-19-40.tar.Z and cl-lib-3-11.tar.Z. The files tempos-3-6.tar.Z and timelogic-5-0.tar.Z add James Allen's interval logic to Rhet. It runs on Symbolics Genera and Allegro Common Lisp. Written by Brad Miller . PRODIGY is an integrated planning and learning system, available free after signing a license agreement. Contact prodigy@cs.cmu.edu for more information. SOAR is an integrated intelligent agent architecture currently being developed at Carnegie Mellon University, the University of Michigan, and the Information Sciences Institute of the University of Southern California. SOAR, and its companion systems, CParaOPS5 and TAQL, have been placed in the public domain. The system may be retrieved by anonymous ftp to ftp.cs.cmu.edu (or any other CMU CS machine) in the directory /afs/cs.cmu.edu/project/soar/5.2/2/public/. [Note: You must cd to this directory in one atomic operation, as superior directories may be protected during an anonymous ftp.] For more information, send email to soar-request@cs.cmu.edu or write to The Soar Group, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213. Finally, though the software is in the public domain, the manual remains under copyright. To obtain one (at no charge) send a request (including your physical mail address) to soar-doc@cs.cmu.edu or to the physical address above. A simple route planning agent implemented in Soar6 is available by anonymous ftp from earth.med.ohio-state.edu:pub/IEEE-Soar-code/route-planning.soar6. This is the complete code for the agent described in the IEEE Expert article: Smith, J. W. and Johnson, T. R., "A stratified approach to specifying, designing, and building knowledge systems", IEEE Expert, 8(3):15-25, 1993. SNLP is a domain independent systematic nonlinear planner, available by anonymous ftp from cs.washington.edu:/pub/snlp.tar.Z Contact weld@cs.washington.edu for more information. IDM is a Common Lisp implementation of both a classical and extended version of the STRIPS planner. It is available by anonymous ftp from sauquoit.gsfc.nasa.gov (128.183.101.29). Questions, comments and bug reports may be sent to idm-users@chelmsford.gsfc.nasa.gov. Planning Testbeds: TILEWORLD is a planning testbed/simulator developed at SRI International by Martha Pollack, Michael Frank and Marc Ringuette. TILEWORLD originally ran under Lucid CL, but was later extended and ported to Allegro CL by Badr H. Al-Badr and Steve Hanks. The new tileworld is available by anonymous ftp from cs.washington.edu as the file new-tileworld.tar.Z It includes an X interface. Contact pollack@cs.pitt.edu for more information. TRUCKWORLD is a simulated world intended to provide a testbed for AI planning programs, where the planning agent is a truck that roams around the simulated world. It is available by anonymous ftp from cs.washington.edu in the file simulator.tar.Z. It includes an X interface. Contact Steve Hanks for more information. ARS MAGNA is a simulated world intended for use as a testbed for planning and mapping programs. The simulated agent is a robot in an indoors environment. High-level sensing and action are provided, realistically modelled on current vision and robotics research. It is written in Nisp, a macro package running on top of Common Lisp. It is available by anonymous ftp from dept.cs.yale.edu in pub/nisp as file ars-magna.tar.Z. It includes an X display. Contact Sean Engelson for more information. Qualitative Reasoning: QSIM is a qualitative reasoning system implemented in Common Lisp. It is available by anonymous ftp from cs.utexas.edu:/pub/qsim Contact Ben Kuipers for more information. QPE is the Qualitative Process Engine, an envisioner for QP theory. QPE is publically available from multivac.ils.nwu.edu:pub/QPE Maintained by Ken Forbus . Theorem Proving: MVL (Multi-Valued Logic) is a theorem proving system written in Common Lisp. MVL is a bilattice-based reasoning system. By changing the bilattice, you can use MVL to do truth maintenance, nonmonotonic reasoning, first-order reasoning, and a variety of other reasoning strategies. MVL is available by anonymous ftp from t.stanford.edu in /mvl/mvl.tar.Z. A user's manual may be found in /mvl/manual.tex. For more information, contact Matthew L. Ginsberg, or . Matthew asks that you send him an email message if you retrieve the system by anonymous ftp. Boyer-Moore ftp.cli.com:pub/nqthm/nqthm.tar.Z Contact: kaufman@cli.com rascal.ics.utexas.edu:/pub/ 128.83.138.20 nqthm/ Boyer and Moore's theorem prover. Also available from ftp.cli.com:/pub/nqthm. proof-checker/ Matt Kaufmann's proof checking enhancements to nqthm. The mailing list nqthm-users-request@cli.com is for users of the Boyer-Moore theorem-prover, NQTHM. DTP is a general theorem prover incorporating domain-independent control of inference. Implemented in CLtL2 Common Lisp, it runs in Franz Allegro, Lucid, and Macintosh (MCL) Common Lisp. It is available by anonymous ftp from meta.stanford.edu:pub/dtp/ [36.8.0.54]. Contact Don Geddis for more information. RRL (Rewrite Rule Laboratory) -- herky.cs.uiowa.edu:public/rrl [128.255.28.100] FRAPPS (Framework for Resolution-based Automated Proof Procedures) is a portable resolution theorem-prover written in Common Lisp. It is available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1]. If you take a copy of FRAPPS, please send a short note to Prof. Alan M. Frisch . Truth Maintenance: The truth maintenance system and problem solver implementations described in the book "Building Problem Solvers" by Ken Forbus and Johan de Kleer are available by anonymous ftp from parcftp.xerox.com:/ftp/pub/bps/. For more information send mail to Johan de Kleer . Virtual Reality: VEOS (Virtual Environment Operating Shell) is an extendible environment for prototyping distributed applications for Unix. The programmer's interface uses XLISP 2.1. Although intended for distributed Virtual Reality applications at The Human Interface Technology Lab in Seattle, it should be appropriate for other applications. VEOS uses heavyweight sequential processes, corresponding roughly to unix processes. VEOS runs on DEC/5000, Sun4, and Silicon Graphics VGX and Indigo. VEOS is available by anonymous ftp from milton.u.washington.edu (128.95.136.1) in the directory ~ftp/public/veos as veos.tar.Z. If you use the software, the authors ask that you send them mail to veos-support@hitl.washington.edu. Vision: OBVIUS -- whitechapel.media.mit.edu:/obvius/ [18.85.0.125] white.stanford.edu: [36.121.0.16] Object-Based Vision and Image Understanding System (OBVIUS), is a Common Lisp image processing package. Provides a library of image processing routines (e.g., convolutions, fourier transforms, statistical computations, etc.) on gray or binary images and image-sequences (no color support yet), an X windows display interface, postscript printer output, etc. It uses a homebrew interface to X11 (i.e., it does not use clx or clue). However, they eventually hope to port Obvius to a clx/clue platform. Written by David Heeger and Eero Simoncelli . Runs in Lucid-4.0. Includes LaTeX documentation and User's Guide. Miscellaneous: ftp.csrl.aoyama.ac.jp: YY/ YY window toolkit sources lispsrc/ several common lisp sources, including MIT's FRL. ---------------------------------------------------------------- Subject: [6-6] Formatting code in LaTeX (WEB and other literate programming tools) SLaTeX is a R4RS-compliant Scheme program that allows you to write program code "as is" in your LaTeX or TeX source. It is particularly geared to the programming languages Scheme and Common Lisp, and has been tested in Chez Scheme, Common Lisp, MIT C Scheme, Elk, Scheme->C, SCM and UMB Scheme on Unix; and MIT C Scheme and SCM on MSDOS. The formatting of the code includes assigning appropriate fonts to the various tokens in the code (keywords, variables, constants, data), at the same time retaining the proper indentation when going to the non-monospace (non-typewriter) provided by TeX. SLaTeX comes with two databases that recognize the standard keywords/variables/constants of Scheme and Common Lisp respectively. These can be modified by the user using easy TeX commands. In addition, the user can inform SLaTeX to typeset arbitrary identifiers as specially suiUWVFP( FP0 ‹؋F&O F&G&G<ʋЋ™Ƌ$6&~&6&F&9EtL2pP3P F&EĞ&(6&>pt*6&>vt TF&EF,6&>~FvFĞ&^&9~Ì~ڹ-F*Ftz8ft F^&8Gui~t F^&8GuWF+F;F| F9Fu~tF@t8F^&8Gt,F+F;F~<.6&>t0^&GĞ&v&@F[FF,6&9~2F^&8Gu FuӋvzvĞ&7X06&?&&DPĞ&&& 26&>|u 46&z66&^&Gȋƻ[؎86&>&I86&&a~t;F*PĞ&&& 46&zF*Pv:6&& ud26&>|u 46&zĞ&&& <6&6&6` P, >6&F&H t8PP  |FPPh P:6&6&6P  |FPPh P*6&>vt BlPP] @6&6&6`Ğ&&& pP B6&R&TĞ&7FD6&FF6& fĞ&7FtH6&&J6&H6&J6&f%=؎L6&FD6&FF6& ^_]ːUVN6&6 &6rP N6&6 &6"P vPrPh P"Ph FPrPXX @uNFP"PXX @uQN6&6 &6"P P6&6(&6&"Ph FP"PXX @uFV9Vvr9Fv~} ~[sPrPC uƆrPrPVj3 6d6brP  udpP~QPVj3 FPF-P86&6&6VP R6&[RPFV-RP ,6&V2 ^]UWV+PP( FVN6&6 &6FP N6&6 &64P PFPh P4Ph FP4PXX @uQN6&6 &64P P6&6(&6&4Ph FP4PXX @u3FV9Vw1r9Fs*FVFV06&X&& FVFVFVPPFPC uP6d6bVh4 pP~QPVh4 3,602&9?~Dv3ɉNރ,.&Gt &u&g[GĞ0&9?ЋvFP[Ğ0&/P86&6&6VW V2 FPFPR ^_]ːUTWVN6&6 &6FP PFPh PFP V t)FPVQpQ~RQx WV ^_]ːU"WVFP( FP0 V<&m&EFT6&F&M FF &EF~,6&F 86&&؉V$6&FN9Nu~t F&------------------------------------- ;;; *EOF* JF&G9F t F&D8Fu0Fw&F;FF&@t+~9~~~[A9N~a~}+FFf~@~F39N86&&>؉V~؃~t Fw&uZFw&*FtJF&F t F&8Eu4Fw&F t F&8EuFw&FF;F}F[A9N~V~t}^_]ːear all searchUWVP V t5P6  u$FPVVP VPƆVPVPh FPVPXX  t$VPP(P P ~WP V u P(P P P-PVP26 FV u$VP0P(P P vvWPvV ;t2VPLP(P vv P vv  t$VPwP(P P F  3RT&7&GLX"3NP&&G&MVv~~؎ZX&&+NjV&&PIuvĞN&F&7&GĞR&&&GÌV&$3& &> & & ߎ&&3&OF&&&ʋH(3JL&&G*3&&F&ʋFPQ" @FĞJ&&?~G~VvN~&&+NjV&&PAĞJ&&9ڋ~v*3&F&7&GĞJ&&@&GF,3&> & M.3& & ^_]ː&u0 U.WV4Z9&3\9&6^9&"`9& b9&r d9&bf9&dh9&fj9&h+ɉNNvvZ RP"Pr QP V^V۹^VNVl9&>nu-n9&X&B&@ "P| 3br QP t~ PvvP t!2PP] p9&tN릐2PP] p9&u, QP2PP] p9&u0 ~+PP( FVP+PP( ȋ+FV~9&&SQvvvVr FV~9&&d3SQRP FVdRPvv FVvvRP<RPSQRPvv⚺ RPFމVT SQvvމFډVܚT <3SQvvF։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*