Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Programming Language

Prolog

Logic Language

Prolog is a logic programming language rooted in first-order logic, artificial intelligence and automated theorem proving. Programs consist of facts and rules defining relations, and computation is driven by queries the engine resolves through logical inference, in contrast to imperative languages. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Disputed
Significance
One of the first logic programming languages and long the dominant one, closely associated with artificial intelligence research and computational linguistics. 2
The first Prolog system is credited to Alain Colmerauer and Philippe Roussel in 1972, while Robert Kowalski's theoretical work on Horn clause logic is separately credited with enabling the implementation approach; sources differ on how much weight to give each contribution.
First Released
1972 1
Paradigm
Logic programming, declarative. 2
Popularity Band
Top 50 3
Connections

Associated With

Answer Set Programming, Programming Languages

Answer set programming grew out of the stable-model semantics of logic programming that Prolog popularized.

In Field

Artificial Intelligence, Fields
Source Wikipedia: Prolog
Natural Language Processing, Fields
Source Wikipedia: Prolog

Influenced

Datalog, Programming Languages
Erlang, Programming Languages
Source Wikipedia: Erlang (programming language)
Mercury, Programming Languages
Mercury (programming language), Programming Languages
Source The Mercury Project: About Mercury (mercurylang.org)
Oz (programming language), Programming Languages
Source Oz (programming language) (Wikipedia)
SWI-Prolog, Programming Languages
Source SWI-Prolog (Wikipedia)
Wolfram Language, Programming Languages
Source Wikidata: Wolfram Language

Influenced By

Planner (programming language), Programming Languages
Source Planner (programming language) (Wikipedia)

Invented By

Alain Colmerauer, Pioneers
Source Wikidata: Prolog
Additional Source Wikipedia: Alain ColmerauerIntroduction
Robert Kowalski, Pioneers
Source Wikidata: Prolog

Predecessor Of

Mercury (programming language), Programming Languages
Source The Mercury Project: About Mercury (mercurylang.org)
Sources
1. Wikidata: Prolog
  • Wikidata Q163468, class allow-list match (w-wdresolver-0926)
  • Wikidata Q163468 P571 (inception)
View the Source
2. Wikipedia: Prolog
Wikimedia Foundation
  • Lead paragraph
    Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.
  • Infobox
  • Infobox: released
    1972
  • History section
  • In Field: Artificial Intelligence
  • In Field: Natural Language Processing, Lead section
    The language has been used for theorem proving, expert systems, term rewriting, type systems, automated planning, and question answering as well as its original intended field of use, natural language processing.
  • In Group: Prolog and Its Close Relatives, Lead
    Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.
View the Source
3. Programming Language Database (PLDB): Prolog
Programming Language Database (PLDB)Rank line
Quote, Rank line
#32 on PLDB
View the Source
Wikipedia: Alain Colmerauer
Wikimedia FoundationInvented By: Alain Colmerauer, IntroductionView the Source
Wikipedia: Erlang (programming language)
Wikimedia FoundationInfluenced: Erlang, History section
Quote, Influenced: Erlang, History section
The initial version of Erlang was implemented in Prolog.
View the Source
Wikidata: Wolfram Language
Influenced: Wolfram LanguageView the Source
The Mercury Project: About Mercury (mercurylang.org)
The Mercury Project
  • Influenced: Mercury (programming language), About Mercury
    The syntax of Mercury is based on the syntax of Prolog
  • Predecessor Of: Mercury (programming language), About Mercury
    The syntax of Mercury is based on the syntax of Prolog
View the Source
Oz (programming language) (Wikipedia)
Influenced: Oz (programming language), Infobox: influenced by
Quote, Influenced: Oz (programming language), Infobox: influenced by
Erlang, Lisp, Prolog
View the Source
Planner (programming language) (Wikipedia)
Influenced By: Planner (programming language), The genesis of Prolog
Quote, Influenced By: Planner (programming language), The genesis of Prolog
Prolog duplicated the following aspects of Micro-Planner:
View the Source
SWI-Prolog (Wikipedia)
Influenced: SWI-Prolog, Lead
Quote, Influenced: SWI-Prolog, Lead
SWI-Prolog is a free implementation of the programming language Prolog
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.