From @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET  Thu Apr  4 00:15:03 1993
Received: from YALEVM.YCC.YALE.EDU by MINERVA.CIS.YALE.EDU via SMTP; Tue, 30 Mar 1993 23:33:41 -0500
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)    with BSMTP id 6513; Tue, 30 Mar 93 23:32:21 EST
Received: from CUVMB.BITNET by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP  id 3458; Tue, 30 Mar 93 23:33:43 EST
Date:         Wed, 31 Mar 1993 14:15:03 +1000
Reply-To: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Subject:      My LOjban->Prolog thingy
X-To:         Lojban Mailing List <lojban@cuvmb.cc.columbia.edu>
To: Erik Rauch <erikr@MINERVA.CIS.YALE.EDU>
Status: OR
Message-ID: <l5i0OEtZuGJ.A.b5.A30kLB@chain.digitalkingdom.org>

Well, ladies and germs, this is what I can get my Lojban-PROLOG processor to
do so far:

Input text:
}mi nelci le klama be le zarci be le ckafi be'o bei le pulji bei le berti

Parser output, after going through LEX:

}brivla nelci
}brivla klama
}brivla zarci
}brivla ckafi
}brivla pulji
}brivla berti
}end_of_lex_list
}mi nelci le klama be le zarci be le ckafi ku beho ku bei
}le pulji ku bei le berti ku beho ku vau

PROLOG output

}[q(suho(1), _FIPFN, q(suho(1), _FIREF, q(suho(1), _FISES, ckafi(_FISES, _FISZG,
}_FISZH, _FISZI, _FISZJ), [], zarci(_FIREF, _FISES, _FITIV, _FITIW, _FITIX)),
}[], q(suho(1), _FIUAD, pulji(_FIUAD, _FIUUR, _FIUUS, _FIUUT, _FIUUU), [],
}q(suho(1), _FIVID, berti(_FIVID, _FIWCR, _FIWCS, _FIWCT, _FIWCU), [],
}klama(_FIPFN, _FIREF, _FIUAD, _FIVID, _FIWRT)))), [], nelci(mi, _FIPFN,
}_FIPFO, _FIPFP, _FIPFQ))]

Translation
Branched quantifiers: E X : broda(X) ; brode(X) => su'o broda ku poi brode
There exists a broda, which brode's, such that...
(These are preferred in Linguistics to the normal plain "E X".
q(E,X,A(X),B(X),C(X)) = (E X: broda(X) ; brode(X)) (C(X))
There exists an A, which Bs, such that C.

}E X:
}    E Y:
}       E Z: ckafi(Z); [] (zarci(Y,Z))
}       ; [] (
}            E W: pulji(W) ; [] (
}                                E V: berti(V); [] (klama(X,Y,W,V))
}                                )
}            )
}   ; [] (nelci(mi,X))


^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nick S. Nicholas,                      "Rode like foam on the river of pity
CogSci & CompSci student,               Turned its tide to strength
University of Melbourne, Australia.     Healed the hole that ripped in living"
nsn@{munagin.ee|mundil.cs}.mu.oz.au           - Suzanne Vega, Book Of Dreams
______________________________________________________________________________