other,9-4-J82-3002,ak | logic-based grammar formalism </term> called <term> | extraposition grammars | </term> , <term> Chat-80 </term> translates | #14184 With the aid of a logic-based grammar formalism called extraposition grammars , Chat-80 translates English questions into the Prolog subset of logic. |