英文字典中文字典


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

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


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

































































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


  • SWI-Prolog
    SWI-Prolog offers a comprehensive free Prolog environment Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications
  • Prolog - Wikipedia
    Prolog is a Turing-complete, general-purpose programming language, which is well-suited for intelligent knowledge-processing applications The name Prolog was chosen by Philippe Roussel, at the suggestion of his wife, as an abbreviation for Programmation en logique (French for Programming in logic) [15]
  • Prolog · Sistema de Gestão de Frotas
    O Prolog é uma ferramenta inovadora dentro do segmento de gestão de frotas Hoje nós temos um controle preciso do desgaste, da conservação, da condição dos pneus na frota Com o sistema de coleta de dados, é possível realizar a rotina de aferições de forma rápida e efetiva
  • SWI-Prolog downloads
    Native GUI tools for Linux (Wayland or X11), MacOS (Cocoa) and Windows (Win32) based on SDL3, Cairo and Pango This provides a future-proof uniform system accross all platforms with better text rendering, better support for multiple displays and hi-res displays and much more
  • SWISH -- SWI-Prolog for SHaring
    Run!
  • Prolog Tutorial
    This Prolog tutorial is designed for aspiring developers with a need to understand the Prolog in enough detail along with its simple overview and practical examples
  • Prolog | An Introduction - GeeksforGeeks
    Unlike many other programming languages, Prolog is intended primarily as a declarative programming language In prolog, logic is expressed as relations (called as Facts and Rules)
  • The GNU Prolog web site
    GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source)
  • SWI-Prolog downloads
    Download SWI-Prolog development versions We collect information about available packages and issues for building on specific distros here We provide a PPA for Ubuntu and flatpak images Examine the ChangeLog SWI-Prolog applied for Free Code Signing for Open Source software from SignPath When honoured, future releases for Windows will be signed
  • Prolog - 维基百科，自由的百科全书
    最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是David Warren编写的。 Prolog一直在北美和欧洲被广泛使用。 日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。 在早期的机器智能研究领域，Prolog曾经是主要的开发工具。





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