From xod@sixgirls.org Tue Mar 12 14:41:08 2002
Return-Path: <xod@reva.sixgirls.org>
X-Sender: xod@reva.sixgirls.org
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 12 Mar 2002 22:41:08 -0000
Received: (qmail 79862 invoked from network); 12 Mar 2002 22:38:46 -0000
Received: from unknown (216.115.97.171)
  by m3.grp.snv.yahoo.com with QMQP; 12 Mar 2002 22:38:46 -0000
Received: from unknown (HELO reva.sixgirls.org) (216.27.131.50)
  by mta3.grp.snv.yahoo.com with SMTP; 12 Mar 2002 22:38:45 -0000
Received: from localhost (localhost [[UNIX: localhost]])
  by reva.sixgirls.org (8.11.6+3.4W/8.11.6) with ESMTP id g2CMccO05737
  for <lojban@yahoogroups.com>; Tue, 12 Mar 2002 17:38:39 -0500 (EST)
Date: Tue, 12 Mar 2002 17:38:37 -0500 (EST)
To: lojban@yahoogroups.com
Subject: Re: [lojban] Programming Languages for Lojban (fwd)
Message-ID: <Pine.NEB.4.44.0203121738190.2497-100000@reva.sixgirls.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
From: Invent Yourself <xod@sixgirls.org>
X-Yahoo-Group-Post: member; u=1138703
X-Yahoo-Profile: throwing_back_the_apple

Comments?

---------- Forwarded message ----------
Date: Mon, 11 Mar 2002 18:56:27 -0000
From: dlb@patriot.net
To: Invent Yourself <xod@sixgirls.org>
Subject: Re: [lojban] Programming Languages for Lojban

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 into
Rosetta.

Unfortunately, Rosetta, like most first order predicate calculus languages,
is not directly executable. Therefore, if the desire is to use a lojban
database to execute some procedure, Rosetta is not a good choice.

Further information on Rosetta may be found at http://www.sldl.org.


