From jay.kominek@colorado.edu Tue Mar 12 14:55:23 2002 Return-Path: X-Sender: kominek@ucsub.colorado.edu X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 12 Mar 2002 22:55:23 -0000 Received: (qmail 26835 invoked from network); 12 Mar 2002 22:55:23 -0000 Received: from unknown (216.115.97.167) by m3.grp.snv.yahoo.com with QMQP; 12 Mar 2002 22:55:23 -0000 Received: from unknown (HELO ucsub.colorado.edu) (128.138.129.12) by mta1.grp.snv.yahoo.com with SMTP; 12 Mar 2002 22:55:22 -0000 Received: from ucsub.colorado.edu (kominek@ucsub.colorado.edu [128.138.129.12]) by ucsub.colorado.edu (8.11.6/8.11.2/ITS-5.0/student) with ESMTP id g2CMtMI23133 for ; Tue, 12 Mar 2002 15:55:22 -0700 (MST) Date: Tue, 12 Mar 2002 15:55:22 -0700 (MST) To: lojban@yahoogroups.com Subject: Re: [lojban] Programming Languages for Lojban (fwd) In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=utf-8 Content-Transfer-Encoding: QUOTED-PRINTABLE From: Jay Kominek X-Yahoo-Group-Post: member; u=20706630 X-Yahoo-Profile: jfkominek X-Yahoo-Message-Num: 13645 On Tue, 12 Mar 2002, Invent Yourself wrote: > A great deal of the answer to this question depends upon what you want to= do > with the lojban that has been translated into a programming language. I > would say that the system's design Language Rosetta is the best fit for > lojban. Rosetta is equivalent to a first order predicate calculus, and > therefore the predicates within lojban which find a direct translation in= to > Rosetta. I'm dubious about the relevence of Rosetta to Lojban. It looks like a hardware description language (and is, in particular, disturbingly similar to VHDL). And if you're wanting an inference engine of some sort, which understands Lojban, I'd at least aim in the direction of something which already has inferencing abilities. I don't really see it offering anything to what it sounds like you're interested in. Have you perused the logic-based language section of the Open Directory Project? http://dmoz.org/Computers/Programming/Languages/Logic-based/ - Jay Kominek Plus =C3=A7a change, plus c'est la m=C3=AAme chose