Module 2.3.2 Introduction to Prolog

Module 2.3.2 Introduction to Prolog - An Introduction to...

Info icon This preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 1-1 An Introduction to Prolog By: Dr. Talal Maghrabi March 2007 1-2 The Origins of Prolog Predicate calculus is the basis of Logic programming languages Logic programming style was motivated by the needs of researchers in natural languages processing (University of Aix-Marseille) and automatic theorem proving (University of Edinburgh) In these applications, specifications for problem solutions are expressed in mathematical logic Conventional programming languages not well suited for this
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon