From xod@thestonecutters.net Thu Jul 29 15:00:39 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 29 Jul 2004 15:00:39 -0700 (PDT) Received: from thestonecutters.net ([63.251.19.112] helo=chert.thestonecutters.net) by chain.digitalkingdom.org with esmtp (Exim 4.32) id 1BqIwy-00047c-JM for lojban-list@lojban.org; Thu, 29 Jul 2004 15:00:32 -0700 Received: from [127.0.0.1] (p78-77.acedsl.com [66.114.78.77]) by chert.thestonecutters.net (Postfix) with ESMTP id 3D4B6148002 for ; Thu, 29 Jul 2004 17:39:24 -0400 (EDT) Message-ID: <4109737B.2070903@thestonecutters.net> Date: Thu, 29 Jul 2004 18:00:27 -0400 From: xod User-Agent: Mozilla Thunderbird 0.7.2 (Windows/20040707) X-Accept-Language: en-us, en MIME-Version: 1.0 To: lojban-list@lojban.org Subject: [lojban] Re: jimpe: Language Processing in Lojban References: <20040729215411.GA11429@nerd-xing.mit.edu> In-Reply-To: <20040729215411.GA11429@nerd-xing.mit.edu> Content-Type: text/plain; charset=us-ascii; format=flowed X-archive-position: 8355 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: xod@thestonecutters.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Rob Speer wrote: >Time for me to announce something I've been working on all summer. > >Catherine Havasi (who recently introduced herself on the lojban-beginners list) >and I have been developing a system for reasoning in Lojban, called "jimpe". > > > Haystack that uses Lojban internally? You may have given me a reason to live after all. -- Iraq is the second holiest place in Islam. Bin Laden's now got the Americans in the two holiest places in Islam, the Arabian Peninsula and Iraq, and he has the Israelis in Jerusalem. All three sanctities are now occupied by infidels, a great reality for him.