Skip to main content
Select Source:

Prolog

Prolog A logic programming language, widely used in artificial intelligence. The basic element of Prolog programs is the structure, which expresses a simple relationship among individuals (constants or variables). Examples of structures are: sister(mary, jane). ancestor(adam, X). Words that start with a lower-case letter are constants and words that start with a capital letter are variables, so mary, jane, and adam are constants and X is a variable. Prolog programs consist of clauses, where each is either a simple assertion or an implication. The former consists of a single structure, while the latter takes the form: “A if B1 and B2 and … and Bn”, where the conclusion A and the conditions Bn are all structures. An example of an implication is grandfather(X, Y) :- father(X, Z), parent(Z, Y). which means “X is a grandfather of Y if X is the father of Z and Z is a parent of Y”.

A Prolog program is invoked by presenting a query in the form of a conjunction of structures, as infriend(fred, X), father(john, X). Execution of the program then determines (if possible) a set of values for the variables in the query such that the truth of the query then follows from the assertions and implications in the program. The above example tries to find all the sons of john that are friends of fred.

Prolog was used as the basis of the Japanese fifth generation project.

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Prolog." A Dictionary of Computing. . Encyclopedia.com. 22 Jul. 2018 <http://www.encyclopedia.com>.

"Prolog." A Dictionary of Computing. . Encyclopedia.com. (July 22, 2018). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/prolog

"Prolog." A Dictionary of Computing. . Retrieved July 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/prolog

Learn more about citation styles

Citation styles

Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

http://www.mla.org/style

The Chicago Manual of Style

http://www.chicagomanualofstyle.org/tools_citationguide.html

American Psychological Association

http://apastyle.apa.org/

Notes:
  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.

prolog

prologagog, befog, blog, bog, clog, cog, dog, flog, fog, frog, grog, hog, Hogg, hotdog, jog, log, nog, prog, slog, smog, snog, sprog, tautog, tog, trog, wog •hangdog • lapdog • seadog • sheepdog •watchdog • bulldog • gundog • firedog •underdog • pettifog • pedagogue •demagogue • synagogue • sandhog •hedgehog • warthog • groundhog •roadhog • backlog • Kellogg • weblog •eclogue •epilogue (US epilog) •prologue (US prolog) • footslog •ideologue •dialogue (US dialog) • duologue •Decalogue •analog, analogue (US analog) •monologue • apologue •catalogue (US catalog) • travelogue •eggnog • leapfrog • bullfrog •Taganrog •golliwog, polliwog •phizog • Herzog

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"prolog." Oxford Dictionary of Rhymes. . Encyclopedia.com. 22 Jul. 2018 <http://www.encyclopedia.com>.

"prolog." Oxford Dictionary of Rhymes. . Encyclopedia.com. (July 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/prolog-0

"prolog." Oxford Dictionary of Rhymes. . Retrieved July 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/prolog-0

Learn more about citation styles

Citation styles

Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

http://www.mla.org/style

The Chicago Manual of Style

http://www.chicagomanualofstyle.org/tools_citationguide.html

American Psychological Association

http://apastyle.apa.org/

Notes:
  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.

PROLOG

PROLOG (or Prolog) (ˈprəʊlɒg) Computing programming in logic (a programming language)

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"PROLOG." The Oxford Dictionary of Abbreviations. . Encyclopedia.com. 22 Jul. 2018 <http://www.encyclopedia.com>.

"PROLOG." The Oxford Dictionary of Abbreviations. . Encyclopedia.com. (July 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/prolog

"PROLOG." The Oxford Dictionary of Abbreviations. . Retrieved July 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/prolog

Learn more about citation styles

Citation styles

Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

http://www.mla.org/style

The Chicago Manual of Style

http://www.chicagomanualofstyle.org/tools_citationguide.html

American Psychological Association

http://apastyle.apa.org/

Notes:
  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.