|
 Definitions for Prolog: The Collaborative International Dictionary of English v.0.48
:
Prolog \Pro"log\, n. & v.
Prologue.
[1913 Webster]
The Collaborative International Dictionary of English v.0.48
:
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]
The Collaborative International Dictionary of English v.0.48
:
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]
WordNet (r) 2.0
:
Prolog
n : a computer language designed in Europe to support natural
language processing [syn: logic programing, {logic
programming}]
Virtual Entity of Relevant Acronyms (Version 1.9, June 2002)
:
PROLOG
PROgramming in LOGic
The Free On-line Dictionary of Computing (27 SEP 03)
:
Prolog
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)
The Free On-line Dictionary of Computing (27 SEP 03)
:
Prolog++
(After {C++}) Prolog with {object-oriented} features added
by Phil Vasey of Logic Programming Associates. Prolog++ is
available for {MS-DOS} and the X Window System. It is
distributed by AI International Ltd. in England and by
Quintus.
Related SitesProlog - Wikipedia, the free encyclopedia
Relations and queries are constructed using Prolog's single data type, the term. ... Given a query, the Prolog engine attempts to find a resolution refutation of the ...
SWI-Prolog's Home
SWI-Prolog -- an LGPL comprehensive and portable Prolog compiler ... Prolog libraries are distributed under the GPL with an additional statement that ...
Related Web Resources
Some notes for getting started using Prolog, by Jesse Monroy, Jr. ... An Introduction to Language Processing with Perl and Prolog by Pierre Nugues ...
The GNU Prolog web site
This compiler accepts Prolog + constraint programs and produces native binaries. ... What is GNU Prolog ... performances of GNU Prolog are very encouraging ...
Prolog: Definition from Answers.com
Prolog ( ) n. A programming language used for writing programs that model human logic and decision making ... The name Prolog was chosen by Philippe Roussel as ...
Prolog - Wikibooks, collection of open-content textbooks
A wiki based book on Prolog. ... Prolog. From Wikibooks, the open-content textbooks collection ... anyone who wants to learn the prolog programming language. ...
|
