英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

prolog    音标拼音: [prol'ɑg]
n. 电脑人工智慧程序语言之一

电脑人工智慧程式语言之一

prolog
前言

Prolog
n 1: a computer language designed in Europe to support natural
language processing [synonym: {Prolog}, {logic programing},
{logic programming}]

Prolog \Pro"log\, n. & v.
Prologue.
[1913 Webster]


PROLOG \PRO"LOG\ (pr[=o]"l[o^]g), n. (Computers)
A declarative higher-level programming language in which
instructions are written not as explicit procedural
data-manipulation commands, but as logical statements. The
language has built-in resolution procedures for logical
inference.
[PJC]


higher programming language \higher programming language\ n.
(Computers)
A computer programming language with an instruction set
allowing one instruction to code for several assembly
language instructions.

Note: The aggregation of several assembly-language
instructions into one instruction allows much greater
efficiency in writing computer programs. Most programs
are now written in some higher programming language,
such as {BASIC}, {FORTRAN}, {COBOL}, {C}, {C},
{PROLOG}, or {JAVA}.
[PJC]

Programming in Logic or (French) Programmation
en Logique. The first of the huge family of {logic
programming} languages.

Prolog was invented by Alain Colmerauer and Phillipe Roussel
at the University of Aix-Marseille in 1971. It was first
implemented 1972 in {ALGOL-W}. It was designed originally for
{natural-language processing} but has become one of the most
widely used languages for {artificial intelligence}.

It is based on {LUSH} (or {SLD}) {resolution} {theorem
proving} and {unification}. The first versions had no
user-defined functions and no control structure other than the
built-in {depth-first search} with {backtracking}. Early
collaboration between Marseille and Robert Kowalski at
{University of Edinburgh} continued until about 1975.

Early implementations included {C-Prolog}, {ESLPDPRO},
{Frolic}, {LM-Prolog}, {Open Prolog}, {SB-Prolog}, {UPMAIL
Tricia Prolog}. In 1998, the most common Prologs in use are
{Quintus Prolog}, {SICSTUS Prolog}, {LPA Prolog}, {SWI
Prolog}, {AMZI Prolog}, {SNI Prolog}.

{ISO} draft standard at {Darmstadt, Germany
(ftp://ftp.th-darmstadt.de/pub/programming/languages/prolog/standard/)}.
or {UGA, USA (ftp://ai.uga.edu/ai.prolog.standard)}.

See also {negation by failure}, {Kamin's interpreters},
{Paradigms of AI Programming}, {Aditi}.

A Prolog {interpreter} in {Scheme}.
{(ftp://cpsc.ucalgary.ca/pub/prolog1.1)}.

{A Prolog package
(ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z)} from
the {University of Calgary} features {delayed goals} and
{interval arithmetic}. It requires {Scheme} with
{continuations}.

["Programming in Prolog", W.F. Clocksin & C.S. Mellish,
Springer, 1985].

(2001-04-01)


请选择你想看的字典辞典：
单词字典翻译
Prolog查看　Prolog　在百度字典中的解释百度英翻中〔查看〕
Prolog查看　Prolog　在Google字典中的解释Google英翻中〔查看〕
Prolog查看　Prolog　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • What is the difference between == and = in Prolog?
    The = "operator" in Prolog is actually a predicate (with infix notation) = 2 that succeeds when the two terms are unified Thus X = 2 or 2 = X amount to the same thing, a goal to unify X with 2
  • What does \\+ mean in Prolog? - Stack Overflow
    What does \+ mean in Prolog? Ask Question Asked 16 years, 4 months ago Modified 7 years, 11 months ago
  • math - Prolog =:= operator - Stack Overflow
    There are some special operators in Prolog, one of them is is, however, recently I came across the =:= operator and have no idea how it works Can someone explain what this operator does, and also
  • if in prolog? - Stack Overflow
    Is there a way to do an if in prolog, e g if a variable is 0, then to do some actions (write text to the terminal) An else isn't even needed, but I can't find any documentation of if
  • How to run prolog queries from within the prolog file in swi-prolog . . .
    If I have a prolog file defining the rules, and open it in a prolog terminal in windows, it loads the facts However, then it shows the ?- prompt for me to manually type something How can I add co
  • How does Prolog technically work? Whats under the hood?
    What are the names of the algorithms and concepts used in Prolog? Logic programming Depth-first, backtracking search Unification See Sterling Shapiro, The Art of Prolog (MIT Press) for the theory behind Prolog Probably it builds some kind of tree structure or directed object graph, and then upon queries it traveres that graph with a sophisticated algorithm A Depth First Search maybe It
  • What is the Prolog operator `^` (caret)? - Stack Overflow
    What is the Prolog operator ^ ? Looking at The Prolog Built-in Directive op gives a list of the built-in operators I see ** is exponentiation \\ is or but what is ^ ? Each of the three current
  • org. xml. sax. SAXParseException: Content is not allowed in prolog
    28 Try adding a space between the encoding="UTF-8" string in the prolog and the terminating ?> In XML the prolog designates this bracket-question mark delimited element at the start of the document (while the tag prolog in stackoverflow refers to the programming language) Added: Is that dash in front of your prolog part of the document?
  • Knowing when to use cut in prolog - Stack Overflow
    The cut prunes Prolog's search tree That is, given a pure Prolog program without cut and the same program with cuts the only difference is that the program with cuts might spend less time in fruitless branches, and thus is more efficient ; might have fewer answers ; it might also terminate whereas the original program doesn't
  • How add SWI-Prolog terminal in VSCode? - Stack Overflow
    How can an SWL-Prolog terminal be added in VSCode? Like PowerShell but SWI-Prolog terminal





中文字典-英文字典  2005-2009