coi I've recently been contemplating again the feasibility of a formal semantics for (restricted parts of) lojban. I (re)discovered Nick Nicholas' work from '93 http://www.lojban.org/files/papers/lojban_parser_paper http://lojban.org/files/software/analyser http://nuzban.wiw.org/archive/9303/msg00092.html I was wondering: does anyone know if any more work along these lines was ever done? Nick's work is mildly impressive as it stands, though quite limited and written in a dialect of prolog which appears to be specific to the NU-PROLOG implementation, the antiquated code for which I've tried and failed to get compile on my modern linux machine... Martin
Attachment:
pgpNoPwqdWdIU.pgp
Description: PGP signature