Lojban

Lojban is a logical language (a type of constructed language).