thomson@unix.SRI.COM (Thomson) (03/20/90)
I'd like to know if there exists in the public domain `toy' C-cube I (Command, Control, Communications & Intelligence) Applications that have been implemented in either lisp or prolog (or even C, C++). Thanks in advance for any pointers.
leverich@randvax.UUCP (Brian Leverich) (03/21/90)
In article <10284@unix.SRI.COM> thomson@unix.SRI.COM (Thomson) writes: >I'd like to know if there exists in the public domain `toy' C-cube I >(Command, Control, Communications & Intelligence) Applications that >have been implemented in either lisp or prolog (or even C, C++). > RAND has done a considerable amount of C3I modeling in ROSS, which is an object-oriented message-passing simulation implemented in LISP and Scheme on UNIX boxes and PCs. Sanjai Narain and Jeff Rothenberg are doing some nice new work here using their DMOD (Declarative Modeling (?)) language written in prolog. DMOD allows some rather amazing sorts of analyses to be made by virtue of the fact that it "proves" a simulation rather than runs it, saving a compact history and allowing after-the-fact reasoning about what happened during the run. Our products are by definition public domain, though we control distribution of our newer (and generally buggier...) work. Call me if you want to discuss details. -B -- "Simulate it in ROSS" Brian Leverich | U.S. Snail: 1700 Main St. ARPAnet: leverich@rand.org | Santa Monica, CA 90406 UUCP: decvax!randvax!leverich | Ma Bell: (213) 393-0411 X7769