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