SHAFFER%SCOVCB.DECnet@GE-CRD.ARPA (11/19/86)
We are working on projects using Intellicorp's KEE on a Symbolics system. We had been running KEE 2.1 using Zetalisp 6.1,2,3. Recently, we have received the updates for both products. The new KEE 3.0 incorporates the "worlds" concept along with an implementation of Asumption-based Truth Maintenance System. (ABTMS) The lastest version of Zetalisp is Symbolics Common Lisp. (Genera 7.0) Is anyone else out there is a similar environment? We are interested in the following situations: 1) KEE 2.1 to 3.0 conversion problems a) using "worlds" b) using ABTMS c) using KEEPictures 2) Genera 7.0 performance a) FLAVORS b) presentation types 3) KEE environments a) KEE 2.1 on Zetalisp b) KEE 3.0 on Zetalisp c) KEE 2.1 on Genera 7.0 d) KEE 3.0 on Genera 7.0 I would like to comment on the Symbolics Vs Xerox debate. It seems to me that the discussion should involve a real life application that runs on both machines. For example, KEE or ART. And since Xerox and Symbolics will both be using Common Lisp, even the language will be similar. Create a portable, interactive application using KEE, lets say, and run it on both machines similarly equiped. Wouldnt this be a better thing than long, long, stories about someone's dated experiences on one of the two machines.