[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: machine translation

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