英文字典中文字典


英文字典中文字典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英翻中〔查看〕

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


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

































































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


  • Bovada | Online Sportsbook, Casino, and Poker
    Bovada is a trusted online gambling site offering sports betting, poker, casino games and betting on horse racing Join today to claim your welcome bonuses!
  • Online Casino games for real money at Bovada
    Play Online Casino Games at Bovada Bovada Casino gives players of all skill levels the chance to play online casino games for real money Explore hundreds of online slots, blackjack, and roulette, with new games added regularly
  • Login and play Bitcoin casino games on your mobile device. - Bovada
    Login to your account and play your favorite casino games on Android or iOS, get bitcoin welcome bonus and more
  • Bovada Sportsbook | Live Sports Betting Odds in U. S.
    Bet online on sports in U S with live betting odds today! Join the online sports betting action at Bovada Sportsbook and claim your welcome bonus with card or crypto!
  • Login Issues: Unable to Log In - Help Center | Bovada Casino
    Bovada maintains a high standard of security to safeguard your private information As such, you may be required to validate your registered phone number through our SMS Validation process, this can also prevent your login until the process is complete Lastly, old information in your cache may occasionally prevent you from logging into your
  • ufc mma - Bovada
    Cannot include your first or last name, username, nickname or email
  • Bovada
    Piesakieties Bovada, lai piekļūtu visām mūsu aizraujošajām spēlēm un pakalpojumiem
  • Online Poker for Real Money at Bovada
    Bovada is a trusted online gambling site offering sports betting, poker, casino games and betting on horse racing Join today to claim your welcome bonuses!
  • blackjack games - Bovada
    Bovada lv is licensed and regulated by the Union of the Comoros and the Central Reserve Authority of Western Sahara In order to register for this website, the user is required to accept the General Terms and Conditions
  • Online Slots | Play from over 1000 slot games at Bovada Casino
    At Bovada Casino we offer over 1000 online slot games to play for real money or try for free Deposit with crypto or card and win big on our progressive, jackpot or hot drop slots!





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