Its grammar was based on first order logic, the kind used in mathematics and computer science, which makes literal translations sound more like equations than sentences.

它的语法基于一阶逻辑，即数学和计算机科学中使用的那种逻辑，这使得直译听起来更像是等式而不是句子。