Examples of using Prolog in Chinese and their translations into English
{-}
-
Political
-
Ecclesiastic
-
Programming
Prolog是什么？?
What is a prolog?这就是Prolog！!
Prolog的艺术.
The Art of Prolog.我先试了试Prolog。
我发现“Prolog的艺术”非常好读。
I found"The art of Prolog" a very good read.最常见的两个是LISP和Prolog。
The two most common are LISP and PROLOG.Prolog的艺术”详细描述了这种技术。
The Art of Prolog' describes this technique in detail.最终也没有那么多Prolog代码。
Ultimately, there is not that much code in Prolog.最著名的逻辑式语言是Prolog。
SWI-Prolog是Prolog语言的多功能实现。
SWI-Prolog is a versatile implementation of the Prolog language.这些实现选择导致非常不同于在Prolog中的权衡。
These implementation choices lead to very different trade-offs than in Prolog.然后该系统可以使用Prolog这样的编程语言来计算结果。
The system could use then a programming language as Prolog to compute the results.另一种非常流行的技术是Prolog逻辑编程语言。
Another very popular technology that was developed was the Prolog logic programming language.在很多现代Prolog方言和一阶逻辑演算中，变量不能合一于包含它的项；.
In many modern Prolog dialects and in first-order logic, a variable cannot be unified with a term that contains it;注意在一阶逻辑的术语中，原子是基本命题而且其合一同Prolog项一样。
Note that in the terminology of first-order logic,an atom is a basic proposition and is unified similarly to a Prolog term.使用Lisp和Prolog的方法属于这一派，使用SemanticWeb，RDF和OWL的方法也属于这一派。
The approaches that used Lisp and Prolog are in this group, as well as the SemanticWeb, RDF, and OWL.但是如果你不了解Prolog或者谓词逻辑的话，很难自己发现这种思考方式。
And if you don't know Prolog, or the predicate logic, it's very difficult to discover this way of thinking by yourself.Prolog的操作类似于SQL，但数据库中可能包含逻辑语句，如“IfAthenB”。
Prolog tried to do something similar to SQL, except the database could contain logical statements such as“If A then B”.巨大的努力已经改进了Prolog实现，其中大部分基于Warren抽象机(WAM)。
Tremendous effort has gone into improving Prolog implementations, most of which are based on the Warren Abstract Machine(WAM).Prolog是符号人工智能编程的两种经典语言之一(另一种经典语言是Lisp)。
Prolog is one of the two classic languages for symbolic artificial intelligence programming(the other classic language being Lisp).所有语言的程序员都将会想看看编程比赛的10大Prolog问题（免费的PDF电子书），还有99大Prolog问题。
Any Prolog programmers will want to check out The First 10 Prolog Programming Contests(free PDF e-book) and Ninety-Nine Prolog Problems.例如，在Prolog中，更容易表达对象之间的空间关系，比如表达“绿色的三角形在蓝色的后面”。
For instance, in Prolog, it is easier to express spatial relationships between object, like green triangle is behind the blue one.全面的内置谓词集，涵盖ISO标准的第1部分，事实上的爱丁堡Prolog标准以及Quintus和SICStusProlog的重要部分。
Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog.Prolog是一种基于规则和声明的语言，这是因为它具有规定AI编程语言的事实和规则。
Prolog is known to be a rule-based and declarative programming language because it comprises of rules and facts that express its AI coding language.在很多现代Prolog方言和一阶逻辑演算中，变量不能合一于包含它的项；这叫做出现检查。
In many modern Prolog dialects and in first-order logic, a variable cannot be unified with a term that contains it; this is the so-called occurs check.Prolog的根源是一阶逻辑--一种形式逻辑，且与许多其他编程语言不同的是，Prolog是声明式的。
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative.总之，miniKanren和Prolog都有有趣的功能，实现和使用，我认为值得学习两种语言的想法。
In short, both miniKanren and Prolog have interesting features, implementations, and uses, and I think it is worth learning the ideas from both languages.Prolog的第一个正式版本是1970年代法国Marseilles大学的AlainColmerauer作为PROgramminginLOGic的工具开发出来的。
Prolog was developed at the University of Marseilles, France by Alain Colmerauer in the early 1970s as a tool for PROgramming in LOGic.Burt自学了Prolog编程语言，因为它可以用来表示一种基于逻辑的规则，这种规则定义了数据章程。
Burt taught himself the programming language Prolog because it can be used to represent the kind of logic-based rules that define data regulations.尽管prolog已经老了，但它尚未完全标准化，因为某些功能在实现上有所不同，使得开发人员的工作变得繁琐。
Despite prolog old age, it has not been fully standardized in that some features differ in implementation making the work of the developer cumbersome.
