From jay.kominek@colorado.edu Wed Mar 13 18:44:06 2002 Return-Path: X-Sender: kominek@ucsub.colorado.edu X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 14 Mar 2002 02:44:06 -0000 Received: (qmail 49198 invoked from network); 14 Mar 2002 02:44:05 -0000 Received: from unknown (216.115.97.171) by m3.grp.snv.yahoo.com with QMQP; 14 Mar 2002 02:44:05 -0000 Received: from unknown (HELO ucsub.colorado.edu) (128.138.129.12) by mta3.grp.snv.yahoo.com with SMTP; 14 Mar 2002 02:44:04 -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 g2E2i4I23824 for ; Wed, 13 Mar 2002 19:44:04 -0700 (MST) Date: Wed, 13 Mar 2002 19:44:04 -0700 (MST) To: lojban@yahoogroups.com Subject: Re: [lojban] lojban application in wearable computing 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: 13698 On Wed, 13 Mar 2002, Ted Reed wrote: > > > Perhaps not lisp, but scheme tends to be organized around predicate > > > syntax and brackets to define things that are more than one word. > > > > not necessarily, but again if your list head symbols are defined as > > predicates (or functions returning a boolean value) it would be like yo= u > > say. > > My question is, why do we even have to base it on a preexisting proglang?= It > seems to me that lojban already has its own syntax and trying to force it > into the confines of a preexisting language would limit the effectiveness= of > using lojban in the first place. Not to be rude, but it isn't 'we'. It is whoever actually produces the code. The idea with Prolog, presumably, would be to translate the Lojban losslessly into Prolog rules which can be queried. Assuming it is lossless, your complaint is relatively groundless. (Computer science has plenty of practice translating machine languages flawlessly, btw.) Sounds like xod is going to produce some code, and he asked for suggestions. Were you planning on helping him? :) (By the way, I doubt that writing a quality, fast inference engine is easy. Hence, it would be very timesaving to use an existing one.) - Jay Kominek Plus =C3=A7a change, plus c'est la m=C3=AAme chose