Margaret Rouse is an award-winning technical writer and teacher known for her ability to explain complex technical subjects simply to a non-technical, business audience. Over…
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.
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.
Techopedia’s editorial policy is centered on delivering thoroughly researched, accurate, and unbiased content. We uphold strict sourcing standards, and each page undergoes diligent review by our team of top technology experts and seasoned editors. This process ensures the integrity, relevance, and value of our content for our readers.
Margaret is an award-winning technical writer and teacher known for her ability to explain complex technical subjects to a non-technical business audience. Over the past twenty years, her IT definitions have been published by Que in an encyclopedia of technology terms and cited in articles by the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine, and Discovery Magazine. She joined Techopedia in 2011. Margaret's idea of a fun day is helping IT and business professionals learn to speak each other’s highly specialized languages.
What is a Programming Hook? A programming hook is a feature that allows developers to insert custom code into specific...
Marshall GunnellIT & Cybersecurity Expert
What Does Julia Programming Language Mean? Julia is an open source high-level, high-performance dynamic programming language designed at MIT for...
Margaret RouseTechnology Expert
What Does JavaFX Mean?JavaFX is a software development platform designed for creating and deploying desktop and web applications that can...
Trending NewsLatest GuidesReviewsTerm of the Day