Welcome to Toaq!
Toaq (pronounced [tʰoaŋ]) is a constructed human language in which every sentence translates unambiguously into logic notation. It is also an artlang.
For a complete description of the language, please follow the link below:
Reference Grammar of Toaq