This preview shows pages 1–6. Sign up to view the full content.
11-1An Introduction to PrologBy: Dr. Talal MaghrabiMarch 20071-2The 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
has intentionally blurred sections.
Sign up to view the full version.