Lojban is a constructed, syntactically unambiguous human language based on predicate logic. ... Has a grammar that is based on predicate logic, designed to express complex logical constructs precisely. Has no irregularities or ambiguities in spelling and grammar (although word derivation relies on arbitrary variant forms). This gives rise to high intelligibility for computer parsing. Is designed to be as culturally neutral as possible. Allows highly systematic learning and use, compared to most natural languages. Possesses an intricate system of indicators which effectively communicate contextual attitudes or emotions. Does not have simplicity as a design criterion.
language linguistics logic artificial precision lojban