Prolog

programming language that uses first order logic
Place programming_language Q163468
Press Enter · cited answer in seconds

Prolog

Summary

Prolog is a programming language[1]. Prolog ranks in the top 1% of programming_language entities by monthly Wikipedia readership (1,656 views/month).[2]

Key Facts

  • Prolog was influenced by Planner[3].
  • Prolog's instance of is recorded as programming language[4].
  • Prolog's instance of is recorded as declarative programming language[5].
  • Prolog's instance of is recorded as deductive language[6].
  • Prolog's instance of is recorded as logic programming language[7].
  • Prolog's designed by is recorded as Alain Colmerauer[8].
  • Prolog's designed by is recorded as Robert Kowalski[9].
  • Prolog's designed by is recorded as Philippe Roussel[10].
  • 1972 marks the founding of Prolog[11].
  • Prolog's topic's main category is recorded as Category:Prolog programming language family[12].
  • Prolog's file extension is recorded as pl[13].
  • Prolog's file extension is recorded as pro[14].
  • Prolog's file extension is recorded as P[15].
  • Prolog's described by source is recorded as High-performance logic programming with the Aquarius Prolog compiler[16].
  • Prolog's Stack Exchange tag is recorded as https://stackoverflow.com/tags/prolog[17].
  • Prolog's equivalent class is recorded as https://www.webkb.org/doc/RDF/phOntology.rdfs#Prolog[18].
  • Prolog's different from is recorded as prologue[19].
  • Prolog's programming paradigm is recorded as logic programming[20].
  • Prolog's programming paradigm is recorded as declarative programming[21].
  • Prolog's derivative work is recorded as Strawberry Prolog[22].
  • Prolog's derivative work is recorded as Datalog[23].

Body

Designation and Status

Recorded instance of include programming language[4], declarative programming language[5], deductive language[6], and logic programming language[7].

History and Context

1972 marks the founding of Prolog[11].

Why It Matters

Prolog ranks in the top 1% of programming_language entities by monthly Wikipedia readership (1,656 views/month).[2] Prolog has Wikipedia articles in 29 language editions, a strong signal of global cultural recognition.[24] Prolog is known by 32 alternative names across languages and contexts.[25]

Prolog has been cited as an influence by Wolfram Language[26], a programming language[27], founded in 1988[28]; Mercury[29], a programming language[30], founded in 1995[31]; Go![32], a multi-paradigm programming language[33], founded in 2003[34]; Curry[35], a functional programming language[36], founded in 1995[37]; Oz[38], a programming language[39], founded in 1991[40]; and Constraint Handling Rules[41], a constraint programming language[42], founded in 1991[43].

FAQs

Who did Prolog influence?

Prolog has been cited as an influence by Wolfram Language[26], Mercury[29], Go![32], and Curry[35].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [4] ↑ . wikidata.org.
  2. [5] ↑ . wikidata.org.
  3. [6] ↑ . wikidata.org.
  4. [7] ↑ . wikidata.org.
  5. [8] ↑ . wikidata.org.
  6. [9] ↑ . wikidata.org.
  7. [10] ↑ . wikidata.org.
  8. [11] ↑ . wikidata.org.
  9. [3] ↑ . wikidata.org.
  10. [12] ↑ . wikidata.org.
  11. [13] ↑ . wikidata.org.
  12. [14] ↑ . wikidata.org.
  13. [15] ↑ . wikidata.org.
  14. [16] ↑ . wikidata.org.
  15. [17] ↑ . wikidata.org.
  16. [18] ↑ . Q141624432. wikidata.org.
  17. [19] ↑ . wikidata.org.
  18. [20] ↑ . wikidata.org.
  19. [21] ↑ . wikidata.org.
  20. [22] ↑ . wikidata.org.
  21. [23] ↑ . wikidata.org.

Inverse relationships (entities pointing at this one)

  1. [26] ↑ . wikidata.org. → on this site
  2. [29] ↑ . wikidata.org. → on this site
  3. [32] ↑ . wikidata.org. → on this site
  4. [35] ↑ . wikidata.org. → on this site
  5. [38] ↑ . wikidata.org. → on this site
  6. [41] ↑ . wikidata.org. → on this site

Inline context (facts about related entities)

  1. [27] ↑ . Wikidata. wikidata.org. → on this site
  2. [28] ↑ . Wikidata. wikidata.org. → on this site
  3. [30] ↑ . Wikidata. wikidata.org. → on this site
  4. [31] ↑ . Wikidata. wikidata.org. → on this site
  5. [33] ↑ . Wikidata. wikidata.org. → on this site
  6. [34] ↑ . Wikidata. wikidata.org. → on this site
  7. [36] ↑ . Wikidata. wikidata.org. → on this site
  8. [37] ↑ . Wikidata. wikidata.org. → on this site
  9. [39] ↑ . Wikidata. wikidata.org. → on this site
  10. [40] ↑ . Wikidata. wikidata.org. → on this site
  11. [42] ↑ . Wikidata. wikidata.org. → on this site
  12. [43] ↑ . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [2] ↑ . Wikimedia Foundation. dumps.wikimedia.org.
  2. [24] ↑ . Wikidata sitelinks. wikidata.org.
  3. [25] ↑ . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Prolog. Retrieved October 5, 2026, from https://4ort.xyz/entity/prolog
MLA “Prolog.” 4ort.xyz Knowledge Graph, 4ort.xyz, 5 Oct. 2026, https://4ort.xyz/entity/prolog.
BibTeX @misc{4ortxyz_prolog_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Prolog}}, year = {2026}, url = {https://4ort.xyz/entity/prolog}, note = {Accessed: 2026-10-05}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Prolog — https://4ort.xyz/entity/prolog (retrieved 2026-10-05)

Canonical URL: https://4ort.xyz/entity/prolog · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 2d ago · Infovarius · 2026-10-04 view diff on Wikidata ↗
    Subclass of → —
    Claims rich → —
    "/* wbremoveclaims-remove:1| */ [[Property:P279]]: [[Q1144882]], Moving to [[Property:P31]]"
  2. 4d ago · عُثمان · 2026-10-03 view diff on Wikidata ↗
    Subclass of → —
    Sitelink count → 69
    Wikipedia languages → ['abstract', 'an', 'ar', 'ast', 'az', 'bat_smg', 'be', 'bg', 'bn', 'ca', 'ckb',
    Equivalent class → https://www.webkb.org/doc/RDF/phOntology.rdfs#Prolog
    + 1 other property edited (see Wikidata diff for full list)
    "/* wbsetclaim-create:2||1 */ [[Property:P279]]: [[Q1144882]]"
  3. 16w ago · Jindřich Rubeš · 2026-06-12 view diff on Wikidata ↗
    Svkkl authority id → 0207782-Prolog-programovaci-jazyk
    "/* wbcreateclaim-create:1| */ [[Property:P9322]]: 0207782-Prolog-programovaci-jazyk, [[:toollabs:quickstatements/#/batch/259493|batch #259493]]"
  4. 20w ago · Twofivesixbot bot · 2026-05-18 view diff on Wikidata ↗
    Programming paradigm → —
    Stack exchange tag → https://stackoverflow.com/tags/prolog
    Instance of → —
    Gran enciclopèdia catalana id → prolog
    + 67 other properties edited (see Wikidata diff for full list)
    "/* wbsetclaim-update-qualifiers:1||1|4 */ [[Property:P2347]]: 18041, mv to monolingual text names on YSO statements"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.