Definition, synonyms and related words
A language designed to allow (or enforce) unambiguous statements; a logical language.