Prolog is a language that comes close to logic or mathematics.
Prolog是与逻辑或数学关系密切的语言。
The basic law of information and its application are proven in logic, mathematics and translation.
信息基本定律及其应用即在逻辑、数学和翻译上的证明成功。
A. Study mathematics, especially mathematical logic.
数学，特别是数学逻辑。
Mathematics have height of abstraction, generally with tight logic.
数学具有高度的抽象性、概括性和严密的逻辑性。
Mathematics and logic have been central topics of concern since the dawn of philosophy.
从哲学的开端起数学和论理学一直是关心的中心的题目。
Mathematics and logic have been central topics of concern since the dawn of philosophy.
从哲学的开端起数学和论理学一直是关心的中心的题目。
应用推荐