Prolog

Why Trust Techopedia

What Does Prolog Mean?

Programmation en Logique (Programming in Logic) or Prolog is a high-level programming language that has its roots in first-order logic or first-order predicate calculus. The language was conceived in Marseilles, France in the early 1970s by a group led by Alain Colmerauer. It is one of the first logic programming languages and it remains popular today. It is a programming language commonly associated with computational linguistics and artificial intelligence and is used in expert systems, theorem proving and pattern matching over natural language parse trees and natural language processing.

Advertisements

Techopedia Explains Prolog

The first Prolog system was developed in 1972 by Colmerauer together with Philippe Roussel and was based on Robert Kowalski’s procedural interpretation of Horn clauses. It was also partly motivated by the desire to reconcile the use of logic as a declarative knowledge representation language with procedural representation of knowledge. Prolog was purposely developed for natural language processing – concerned with computer and human (natural) language interactions.

Prolog differs from other programming languages as it is declarative rather than sequences of commands. It is sometimes called a rule-based or declarative language since it is expressed in terms of relationships among objects' properties, presented as facts and rules. A computation is initiated by running a query over these relations.

Applications include:

  • Machine learning
  • Robot planning
  • Automated reasoning
  • Problem solving
  • Intelligent database retrieval
  • Natural language understanding
  • Specification language
Advertisements

Related Terms

Margaret Rouse
Editor

Margaret jest nagradzaną technical writerką, nauczycielką i wykładowczynią. Jest znana z tego, że potrafi w prostych słowach pzybliżyć złożone pojęcia techniczne słuchaczom ze świata biznesu. Od dwudziestu lat jej definicje pojęć z dziedziny IT są publikowane przez Que w encyklopedii terminów technologicznych, a także cytowane w artykułach ukazujących się w New York Times, w magazynie Time, USA Today, ZDNet, a także w magazynach PC i Discovery. Margaret dołączyła do zespołu Techopedii w roku 2011. Margaret lubi pomagać znaleźć wspólny język specjalistom ze świata biznesu i IT. W swojej pracy, jak sama mówi, buduje mosty między tymi dwiema domenami, w ten…