Programmation en Logique (Programming in Logic) or Prolog is a excessive-degree Programming Language that has its Roots in first-order common sense or first-order predicate calculus. The language become conceived in Marseilles, France inside the early 1970s via a group led by means of Alain Colmerauer. It is one of the first common sense programming languages and it remains popular these days. It is A Programming Language usually associated with Computational Linguistics and synthetic intelligence and is used in professional structures, theorem proving and sample matching over herbal language Parse Bushes and Natural Language Processing.
The first Prolog Device became advanced in 1972 by means of Colmerauer collectively with Philippe Roussel and become primarily based on Robert Kowalski’s procedural interpretation of Horn clauses. It cHanged into also in part inspired by using the choice to reconcile using logic as a declarative inFormation representation language with procedural illustration of know-how. Prolog changed into purposely developed for natural language processing – concerned with Computer and human (herbal) language interactions.
Prolog differs from different programming languages as it is declarative as opposed to sequences of Commands. It is occasionally called a rule-based or declarative language because it's far expressed in phrases of Relationships amongst Objects' residences, offered as statistics and policies. A computation is iNitiated via walking a question over those family members.
Applications include:
If you have a better way to define the term "Prolog" or any additional information that could enhance this page, please share your thoughts with us.
We're always looking to improve and update our content. Your insights could help us provide a more accurate and comprehensive understanding of Prolog.
Whether it's definition, Functional context or any other relevant details, your contribution would be greatly appreciated.
Thank you for helping us make this page better!
Score: 5 out of 5 (1 voters)
Be the first to comment on the Prolog definition article
Tech-Term.com© 2024 All rights reserved