Printer Friendly
The Free Dictionary
1,074,293,742 visitors served.
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Prolog
(redirected from Prolog (programming language))

   Also found in: Wikipedia, Hutchinson 0.04 sec.

(PROgramming in LOGic) A programming language used for developing AI applications (natural language translation, expert systems, abstract problem solving, etc.). Developed in France in 1973, "Programmation en Logique" is used throughout Europe and Japan and is gaining popularity in the U.S.

Similar to LISP, it deals with symbolic representations of objects. The following example, written in University of Edinburgh Prolog, converts Fahrenheit to Celsius:

  convert:- write('Enter Fahrenheit'),
   read(Fahr),
   write('Celsius is '),
   Cent is (5 * (Fahr - 32)) / 9,
   write(Cent),nl.


(programming)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. or UGA, USA.

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 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].


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2008 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.. Terms of Use.