英文字典中文字典


英文字典中文字典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 does \+ mean in Prolog? - Stack Overflow
    The way I memorize it is through the following logical rule: \+ = 'if unsure or false, assume false' This is different from standard boolean logic in that if your goal is uncertain instead of outright true or false, it assumes false when it can't prove true
  • 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 The == "operator" differs in that it succeeds only if the two terms are already identical without further unification
  • Not equal and not unify in Prolog - Stack Overflow
    A \= B is equivalent to not (A = B) So lets compare = 2 and == 2 first; from the swi-prolog manual:?Term1 = ?Term2
  • Whats the - gt; operator in Prolog and how can I use it?
    Not sure if that's worth it! I mean, especially if the preconditions become slightly more complex, this may get messy As for backtracking: for this version (SWI-)prolog does not immediately return to the prompt on implication(a) and implication(b), so indeed some backtracking will be attempted –
  • What does \+ do in Prolog? - Stack Overflow
    If there is a conflict, \+ conflict(Map, Coloring) will fail, and Prolog will backtrack and try to assign a different coloring – Junuxx Commented May 23, 2012 at 14:23
  • Newest Prolog Questions - Stack Overflow
    I’m using: SWI-Prolog version 9 3 8 I want to create a stand alone exe that can be executed in multiples machine without prolog installed, the exe run a web server with a local websocket My code
  • if in prolog? - Stack Overflow
    And it's very essential for you to understand that what is the facts and rulse and differents between together in prolog language programing In Prolog, "if" is implied by using :- in rules The part before :- is the conclusion (head), and the part after :- is the condition (body) Head :- Body This means X is happy if X is rich and X is healthy
  • syntax - Prolog or operator, query - Stack Overflow
    I'm working on some prolog that I'm new to I'm looking for an "or" operator registered(X, Y), Y=ct101, Y=ct102, Y=ct103 Here's my query What I want to write is code that will: "return X, given that Y is equal to value Z OR value Q OR value P" I'm asking it to return X if Y is equal to all 3 though What's the or operator here? Is there one?
  • Not equal sign in Visual Prolog? - Stack Overflow
    Documentation for the second variant pointed out by Kaarel can be found in this Visual Prolog reference page However the problem with your code goes a little deeper You need to wait for testing of non-equality until both terms Person and Sister are bound, so rearrange things like this:





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