What is the translation of " PROLOG " in Chinese?

• prolog

Examples of using Prolog in English and their translations into Chinese

What is a prolog?
Prolog是什么？?

Prolog: You tell your program you want to be shot in the foot.
Prolog语言：你告诉你的程序你想要射击你自己的脚丫子。

The most basic language is prolog.
最著名的逻辑式语言是Prolog。

PROLOG(acronym for PROgramming LOGic) is an example of a Logical Programming Language.
Prolog（ProgramminginLogic的缩写）是一种逻辑编程语言。

The two most common are LISP and PROLOG.
最常见的两个是LISP和Prolog。

In many modern Prolog dialects and in first-order logic, a variable cannot be unified with a term that contains it;
在很多现代Prolog方言和一阶逻辑演算中，变量不能合一于包含它的项；.

A prototype Expert System in Prolog was implemented.
一个动物识别专家系统在PROLOG下的实现.

In four years' time, C will reach its 50th birthday, an anniversary also shared with PL/M and Prolog.
再过四年，C语言将迎来它的50岁生日，同样进行周年庆的还有PL/M和Prolog。

The approaches that used Lisp and Prolog are in this group, as well as the SemanticWeb, RDF, and OWL.
使用Lisp和Prolog的方法属于这一派，使用SemanticWeb，RDF和OWL的方法也属于这一派。

Note that in the terminology of first-order logic, an atom is a basic proposition and is unified similarly to a Prolog term.
注意在一阶逻辑的术语中，原子是基本命题而且其合一同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或者谓词逻辑的话，很难自己发现这种思考方式。

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.
全面的内置谓词集，涵盖ISO标准的第1部分，事实上的爱丁堡Prolog标准以及Quintus和SICStusProlog的重要部分。

Prolog tried to do something similar to SQL, except the database could contain logical statements such as“If A then B”.
Prolog的操作类似于SQL，但数据库中可能包含逻辑语句，如“IfAthenB”。

I' ve never- not even- realized that by skip the prolog I was missing some information I needed to get through the whole thing;
我从未发现，通过跳过序言，我错过了我为了阅读故事所需要的一些信息；.

Prolog is one of the two classic languages for symbolic artificial intelligence programming(the other classic language being Lisp).
Prolog是符号人工智能编程的两种经典语言之一(另一种经典语言是Lisp)。

Tremendous effort has gone into improving Prolog implementations, most of which are based on the Warren Abstract Machine(WAM).
巨大的努力已经改进了Prolog实现，其中大部分基于Warren抽象机(WAM)。

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是一种基于规则和声明的语言，这是因为它具有规定AI编程语言的事实和规则。

Loads WordNet 3.0 in 14 seconds from the Prolog source or 0.4 seconds from quick load file format(see qcompile/1).
例如，在14秒内从Prolog源加载WordNet3.0或从快速加载文件格式加载0.4秒(参见qcompile/1)。

Any Prolog programmers will want to check out The First 10 Prolog Programming Contests(free PDF e-book) and Ninety-Nine Prolog Problems.
所有语言的程序员都将会想看看编程比赛的10大Prolog问题（免费的PDF电子书），还有99大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.
Burt自学了Prolog编程语言，因为它可以用来表示一种基于逻辑的规则，这种规则定义了数据章程。

Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative.
Prolog的根源是一阶逻辑--一种形式逻辑，且与许多其他编程语言不同的是，Prolog是声明式的。

Finally, we describe the PRO- PROLOG interpreter as a Horn clause inferencing system, and compare PROLOG computing to full logic programming.
最后，我们把Prolog解释器描述为一个基于Horn子句和归结的推理系统，并将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是一种基于逻辑的语言，让你做出合乎逻辑的断言，定义验证这些断言的启发式算法，并据此做出决定。

For instance, in Prolog, it is easier to express spatial relationships between object, like green triangle is behind the blue one.
例如，在Prolog中，更容易表达对象之间的空间关系，比如表达“绿色的三角形在蓝色的后面”。

Prolog was developed at the University of Marseilles, France by Alain Colmerauer in the early 1970s as a tool for PROgramming in LOGic.
Prolog的第一个正式版本是1970年代法国Marseilles大学的AlainColmerauer作为PROgramminginLOGic的工具开发出来的。

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 supports many"extra-logical" or"non-logical" features, including cut, assert and retract, projection of variables for arithmetic using is, and so forth.
Prolog支持许多“非逻辑”或“非逻辑”特性，包括cut，assert和retract，使用is的算法的变量投影等等。

In short, both miniKanren and Prolog have interesting features, implementations, and uses, and I think it is worth learning the ideas from both languages.
总之，miniKanren和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.
尽管prolog已经老了，但它尚未完全标准化，因为某些功能在实现上有所不同，使得开发人员的工作变得繁琐。