{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Module 2.3.2 Introduction to Prolog

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

Info iconThis 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
Background image of page 1

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

View Full Document Right Arrow Icon