英文字典中文字典


英文字典中文字典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 logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics [1][2][3] Prolog has its roots in first-order logic, a formal logic
  • 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) The obtained executable is then stand-alone
  • Prolog - Introduction - Online Tutorials Library
    Prolog or PRO gramming in LOG ics is a logical and declarative programming language It is one major example of the fourth generation language that supports the declarative programming paradigm This is particularly suitable for programs that involve symbolic or non-numeric computation
  • The Online Prolog Community
    The Online Prolog Community, sponsored by the Association for Logic Programming, hosts several initiatives around the Prolog language, mostly stemming from the Year of Prolog activities
  • 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
  • Getting Started - SWI-Prolog
    I've made my first steps at Prolog and want to start a real project Start with a local installation for your platform Familiarise yourself with the SWI-Prolog toplevel and the IDE tools such as the GUI debugger Establish your debug edit reload cycle based on edit 1 and make 0
  • SWI-Prolog downloads
    Using the GIT repository is recommended if you want to stay up to date and expecially if you plan to develop C C++ resources for SWI-Prolog See the build instructions New releases are announced on Discourse
  • manual - SWI-Prolog
    This manual is intended for people that are familiar with Prolog For those not familiar with Prolog, we recommend to start with a Prolog textbook such as Bratko, 1986, Sterling Shapiro, 1986 or Clocksin Melish, 1987 For more advanced Prolog usage we recommend O'Keefe, 1990
  • SWI-Prologs features
    SWI-Prolog offers a variety of development tools, most of which may be combined at will The native system provides an editor written in Prolog that is a close clone of Emacs It provides semantic highlighting based on real time analysis of the code by the Prolog system itself





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