Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

The Inner World

The Civil World

The Natural World

Languages

Prolog

Logic Language

Citation Formats

General Reference

APA Style

BibTeX

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.

Facts
Disputed
Significance
One of the first logic programming languages and long the dominant one, closely associated with artificial intelligence research and computational linguistics. 1
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. 1
Cross-Tradition Connections

In Field

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

Influenced

Erlang, Languages
Source Wikipedia: Erlang (programming language)

Invented By

Alain Colmerauer, Pioneers
Source Wikipedia: Alain Colmerauer
Sources
1. Wikipedia: Prolog
Wikimedia FoundationLead paragraph
Quote, Lead paragraph
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics.
View the Source
1. Wikipedia: Prolog
Wikimedia FoundationInfoboxView the Source
1. Wikipedia: Prolog
Wikimedia FoundationInfobox, first appeared dateView the Source
1. Wikipedia: Prolog
Wikimedia FoundationHistory sectionView the Source
1. Wikipedia: Prolog
Wikimedia FoundationIn Field: Artificial IntelligenceView the Source
1. Wikipedia: Prolog
Wikimedia FoundationIn Field: Natural Language Processing, Lead section
Quote, 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.
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
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.