logical language

Noun

 * 1)  A language designed to allow (or enforce) unambiguous statements; a loglang.
 * 1)  A language designed to allow (or enforce) unambiguous statements; a loglang.