| 释义 |
Prolog
pro·logue also pro·log P0591100 (prō′lôg′, -lŏg′)n.1. An introduction or preface, especially a poem recited to introduce a play.2. An introduction or introductory chapter, as to a novel.3. An introductory act, event, or period.
[Middle English prolog, from Old French prologue, from Latin prologus, from Greek prologos : pro-, before; see pro-2 + logos, speech; see leg- in Indo-European roots.]PROLOG (ˈprəʊlɒɡ) or Prologn (Computer Science) a computer programming language based on mathematical logic[C20: from pro(gramming in) log(ic)]prolog
Past participle: prologed
Gerund: prologing
| Present |
|---|
| I prolog | | you prolog | | he/she/it prologs | | we prolog | | you prolog | | they prolog |
| Preterite |
|---|
| I prologed | | you prologed | | he/she/it prologed | | we prologed | | you prologed | | they prologed |
| Present Continuous |
|---|
| I am prologing | | you are prologing | | he/she/it is prologing | | we are prologing | | you are prologing | | they are prologing |
| Present Perfect |
|---|
| I have prologed | | you have prologed | | he/she/it has prologed | | we have prologed | | you have prologed | | they have prologed |
| Past Continuous |
|---|
| I was prologing | | you were prologing | | he/she/it was prologing | | we were prologing | | you were prologing | | they were prologing |
| Past Perfect |
|---|
| I had prologed | | you had prologed | | he/she/it had prologed | | we had prologed | | you had prologed | | they had prologed |
| Future |
|---|
| I will prolog | | you will prolog | | he/she/it will prolog | | we will prolog | | you will prolog | | they will prolog |
| Future Perfect |
|---|
| I will have prologed | | you will have prologed | | he/she/it will have prologed | | we will have prologed | | you will have prologed | | they will have prologed |
| Future Continuous |
|---|
| I will be prologing | | you will be prologing | | he/she/it will be prologing | | we will be prologing | | you will be prologing | | they will be prologing |
| Present Perfect Continuous |
|---|
| I have been prologing | | you have been prologing | | he/she/it has been prologing | | we have been prologing | | you have been prologing | | they have been prologing |
| Future Perfect Continuous |
|---|
| I will have been prologing | | you will have been prologing | | he/she/it will have been prologing | | we will have been prologing | | you will have been prologing | | they will have been prologing |
| Past Perfect Continuous |
|---|
| I had been prologing | | you had been prologing | | he/she/it had been prologing | | we had been prologing | | you had been prologing | | they had been prologing |
| Conditional |
|---|
| I would prolog | | you would prolog | | he/she/it would prolog | | we would prolog | | you would prolog | | they would prolog |
| Past Conditional |
|---|
| I would have prologed | | you would have prologed | | he/she/it would have prologed | | we would have prologed | | you would have prologed | | they would have prologed |
Thesaurus| Noun | 1. | Prolog - a computer language designed in Europe to support natural language processinglogic programing, logic programmingprograming language, programming language - (computer science) a language designed for programming computers |
Translations
Prolog
prologue (often US), prolog1. a. the prefatory lines introducing a play or speech b. the actor speaking these lines 2. in early operaa. an introductory scene in which a narrator summarizes the main action of the work b. a brief independent play preceding the opera, esp one in honour of a patron PROLOG[′prō‚läg] (computer science) A programming language that is for artificial intelligence applications, and uses problem descriptions to reach solutions, based on precise rules. Prolog (programming)Programming in Logic or (French) Programmationen Logique. The first of the huge family of logic programming languages.
Prolog was invented by Alain Colmerauer and Phillipe Rousselat the University of Aix-Marseille in 1971. It was firstimplemented 1972 in ALGOL-W. It was designed originally fornatural-language processing but has become one of the mostwidely used languages for artificial intelligence.
It is based on LUSH (or SLD) resolution theorem proving and unification. The first versions had nouser-defined functions and no control structure other than thebuilt-in depth-first search with backtracking. Earlycollaboration between Marseille and Robert Kowalski atUniversity 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 areQuintus 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 fromthe University of Calgary features delayed goals andinterval arithmetic. It requires Scheme withcontinuations.
["Programming in Prolog", W.F. Clocksin & C.S. Mellish,Springer, 1985].Prolog(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 has gained 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.PROLOG
| Acronym | Definition |
|---|
| PROLOG➣Programming in Logic | | PROLOG➣Program Logistics | | PROLOG➣Program Logistic |
Prolog
Synonyms for Prolognoun a computer language designed in Europe to support natural language processingSynonyms- logic programing
- logic programming
Related Words- programing language
- programming language
|