英文字典中文字典


英文字典中文字典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? Asked 15 years, 11 months ago Modified 7 years, 6 months ago Viewed 61k times
  • 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
  • What is the logical not in Prolog? - Stack Overflow
    In Prolog, the "not" is an example of "negation as failure", but it is felt that \+ will make it clearer to the programmer just what precisely is being asserted in any given rule So you CAN use "not" (most PL implementations keep it for backwards-compatibility) but to be an idiomatic modern PL programmer, you probably should prefer to use \+
  • Not equal and not unify in Prolog - Stack Overflow
    Not equal and not unify in Prolog Asked 12 years, 11 months ago Modified 9 years, 7 months ago Viewed 45k times
  • Define AND, OR, NOT operators in Prolog - Stack Overflow
    I have to define a prolog program which gives the truth table for a logic formula like this: (a or non (b and c)) where the logic variables can only have true or false value, and the only operato
  • syntax - Prolog or operator, query - Stack Overflow
    30 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?
  • Whats the - gt; operator in Prolog and how can I use it?
    I've read about it in a book but it wasn't explained at all I also never saw it in a program Is part of Prolog syntax? What's it for? Do you use it?
  • Newest Prolog Questions - Stack Overflow
    How do I represent and manipulate atoms with capital letters in Prolog, without them being interpreted as variables? I'm developing a program in Prolog that interprets a chessboard notation The input is a forsyth notation as a list containing pieces represented by letters, as in the example: [[t,c,b,r,d,r,b,c,t],8, prolog chess Vitor Alves
  • 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





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