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