T

tersmu

A semantic parser for the engineered human language Lojban (www.lojban.org). It translates lojban text to a predicate logic.

Name Last Update
docs Loading commit data...
examples Loading commit data...
notes Loading commit data...
BUGS Loading commit data...
Bindful.hs Loading commit data...
COPYING Loading commit data...
JboParse.hs Loading commit data...
JboProp.hs Loading commit data...
JboShow.hs Loading commit data...
JboSyntax.hs Loading commit data...
Logic.hs Loading commit data...
Lojban.pappy Loading commit data...
Main.hs Loading commit data...
Makefile Loading commit data...
Morph.hs Loading commit data...
Morphology.pappy Loading commit data...
NEWS Loading commit data...
NOTES Loading commit data...
ParseM.hs Loading commit data...
ParseText.hs Loading commit data...
README Loading commit data...
README.old Loading commit data...
THANKS Loading commit data...
TODO Loading commit data...
TersmuIRC.hs Loading commit data...
Util.hs Loading commit data...
tersmu.cabal Loading commit data...
tersmuBot.hs Loading commit data...
tersmu-0.2
==========

tersmu is a semantic parser for the engineered human language Lojban
(www.lojban.org). It translates lojban text to a predicate logic.

Please note that this is an entirely unofficial project. Although the aim to
follow baseline prescription where feasible, the semantics this program
attributes to lojban text may in some cases be non-standard and/or wrong.

See the examples/ directory for some examples, BUGS for limitations, docs/ for
other documentation.


Installation
------------
tersmu is in hackage, so it should just be a matter of
    cabal install tersmu


Hacking
-------
Lojban.hs and Morphology.hs are generated from the corresponding .pappy files,
using a bugfixed version of Bryan Ford's Pappy. Please see the Makefile for
details on that.

docs/overview is intended as a guide to the general architecture of the code.