Logic Programming 06-25433 Autumn 2012

Lecture 1: First programs in Prolog working with objects to display information change contents of an object comparing and contrasting Prolog and Java briefly introducing variables and assignment in Prolog

Video   Recording of the lecture (Autumn 2011) (Vimeo)

Slides   If you really want the slides from the lecture ... 1 slide per page 6 slides per page but don't forget printing the slides is not the same as understanding them.

Summary   Summary and programs with commentary from the lecture

Programs from the lecture   Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Example 7 Example 8

Individual study suggestions and further reading   Learn how to start and exit Prolog; load programs and execute queries. Investigate public domain implementations of Prolog for home machines. Study Prolog's basic data types; unification and matching. Introductions to Prolog include: Bratko. 3rd ed. Chapter 1, sections 1.1-1.2, pp 3-13. Clocksin & Mellish. Chapter 1, pp 1-20. Covington. Chapter 1, sections 1.1-1.6, pp 1-13. Sterling & Shapiro. Chapter 1, pp 11-21.

Assessed work associated with this lecture   Tutorial sheet 1 - available on paper only