Noun
Used other than figuratively or idiomatically: see logical, language.
(rare) A language designed to allow (or enforce) unambiguous statements; a loglang.