Date:  Sat, 25 Oct 1997 22:40:51 -0500 (EST)
Message-Id: <199710260340.WAA03335@locke.ccil.org>
Reply-To: HACKER G N <c9709244@ALINGA.NEWCASTLE.EDU.AU>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: HACKER G N <c9709244@ALINGA.NEWCASTLE.EDU.AU>
Subject:      Re: machine translation
X-To:         David Barton <dlb@wash.inmet.com>
X-cc:         lojban@cuvmb.cc.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
In-Reply-To:  <199710240959.FAA02226@hudson.wash.inmet.com>
X-Mozilla-Status: 0011
Content-Length: 413
X-From-Space-Date: Sat Oct 25 22:40:53 1997
X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU

On Fri, 24 Oct 1997, David Barton wrote:
>
> First, I note that CycL is proprietary.  There are a large number of
> other languages that cover the same territory, including KIF, the Z
> notation, and the Larch Shared Language.

>
> Lojban includes Mex, which can encode any predicate calculus
> statement.

Fair enough, but then why learn a whole new language to do what existing
languages can already do?

Geoff