Wednesday, November 13, 2002

I thought Qi's list of features sounded familiar. I played around with a language called 'Axel 2000' (note link to the Web Archive as the site no longer exists) a couple of years back with a similar feature set. Developed by the same person, Mark Taver. I even have an electronic copy of the book 'Programming in Axel 2000'. I wonder how different that is from 'Programming in Qi'. 11:42:15 PM

Another link from Brian's post is about the Qi programming language. This is a functional language designed to run under Common Lisp. "Qi provides type security and extra clarity to your Lisp application programs without heavy cost to portability or performance. It is particularly suited to the development of distributed reasoning programs or intelligent agents. The latest release, Qi 1.31, runs under CLisp. It is available as source code and is free for non-commercial applications." 11:33:53 PM

Some comments from Brian Rice, author of the Slate programming language, on the recent Lisp conference and OOPSLA among other things. Brian mentions that Maude 2.0 may be released under the GPL. Curently the Maude license requires signing and returning copies to the Maude group. Maude is a high-performance language and system supporting both equational and rewriting logic computation for a wide range of applications. Maude has been influenced in important ways by OBJ3. [...]  "The key novelty of Maude is that--besides efficiently supporting equational computation and algebraic specification in the OBJ style--it also supports rewriting logic computation. Rewriting logic is a logic of concurrent change that can naturally deal with state and with highly nondeterministic concurrent computations" 11:30:59 PM