From jay.kominek@colorado.edu Wed Mar 13 18:44:06 2002
Return-Path: <kominek@ucsub.colorado.edu>
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 <lojban@yahoogroups.com>; 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: <B0004911565@ispwestemail.aceweb.net>
Message-ID: <Pine.GSO.4.40.0203131941030.18070-100000@ucsub.colorado.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=utf-8
Content-Transfer-Encoding: QUOTED-PRINTABLE
From: Jay Kominek <jay.kominek@colorado.edu>
X-Yahoo-Group-Post: member; u=20706630
X-Yahoo-Profile: jfkominek


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 <jay.kominek@colorado.edu>
Plus =C3=A7a change, plus c'est la m=C3=AAme chose


