Examples of using Prolog in Chinese and their translations into English
{-}
-
Political
-
Ecclesiastic
-
Programming
再过四年，C语言将迎来它的50岁生日，同样进行周年庆的还有PL/M和Prolog。
In four years' time, C will reach its 50th birthday, an anniversary also shared with PL/M and Prolog.Prolog（ProgramminginLogic的缩写）是一种逻辑编程语言。
PROLOG(acronym for PROgramming LOGic) is an example of a Logical Programming Language.使用逻辑编程（如Prolog）作为学生的第一语言是否可行？?
Is it ok to use logic programming(like Prolog) as students' first language?使用逻辑编程（如Prolog）作为学生的第一语言是否可行？?
A good example is this: Is it ok to use logic programming(like Prolog) as students' first language?它更像是Prolog：肯定的，它是一种编程语言-但它不是正确的用于编写完整的软件的工具。
It is extra like Prolog: positive, it is a programming language- but it surely's not the right instrument for writing full-fledged software.这是一个非常强大的技术，在Prolog世界之外不是众所周知的。
This is an extremely powerful technique that is not well known outside of the Prolog world.CiaoProlog充满了有趣的想法，其中许多远远超出了Prolog标准。
(Ciao Conda，conduit和项目的存在以及轻松修改搜索策略的能力-允许程序员使用miniKanren作为嵌入式Prolog类语言。
The presence of conda, condu, and project---and the ability to easily modify the search strategy---allows programmers to use miniKanren as an embedded Prolog-like language.最流行的miniKanren实现是Clojure中的“core.logic”，它现在有许多类似Prolog的扩展和一些优化。
The most popular miniKanren implementation is'core. logic' in Clojure, which now has many Prolog-like extensions and a number of optimizations.子集树可以用一组逻辑规则来表示，Prolog编程语言就是这么做的。
Trees of subroutines can be represented by sets of logical rules, and the Prolog programming language does just that.Prolog支持许多“非逻辑”或“非逻辑”特性，包括cut，assert和retract，使用is的算法的变量投影等等。
Prolog supports many"extra-logical" or"non-logical" features, including cut, assert and retract, projection of variables for arithmetic using is, and so forth.Prolog是一种基于逻辑的语言，让你做出合乎逻辑的断言，定义验证这些断言的启发式算法，并据此做出决定。
Prolog is a logic-based language, allowing you to make logical assertions, define heuristics for validating those assertions, and make decisions based on them.最后，我们把Prolog解释器描述为一个基于Horn子句和归结的推理系统，并将Prolog计算看成是逻辑程序设计范例的一个实例。
Finally, we describe the PRO- PROLOG interpreter as a Horn clause inferencing system, and compare PROLOG computing to full logic programming.基于归结原理的完成证明查找的可能性，导致Prolog编程语言的本质洞察，依赖于在适当的系统中接纳切规则。
一个动物识别专家系统在PROLOG下的实现.
A prototype Expert System in Prolog was implemented.主要语言是Prolog。
The primary language is Prolog.主要语言是Prolog。
The most basic language is prolog.Prolog创建于1972年。
Prolog was created in 1972.SWI-Prolog提供全面的免费Prolog环境。
SWI-Prolog- SWI-Prolog offers a comprehensive free Prolog environment.Prolog的含义是用逻辑编程。
ProLog means PROgramming in LOGic.
