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