CS 774 Logic Programming



  • Instructor : T. K. Prasad
  • Phone No. : (937)-775-5109
  • Email : t.k.prasad@wright.edu
  • Home Page : http://www.cs.wright.edu/~tkprasad
  • Quarter : Spring, 2010
  • Class Hrs : TTh, 6:05-7:20pm, 366 Joshi Center (Old Loc: 105 Biological Sciences)
  • Office Hrs : TTh, 5-6pm, 395 JC (or by appointment)

    • Course Description

    This course deals with logic programming paradigm and Prolog. We discuss the syntax and the semantics of Prolog, the working of a Prolog interpreter and various applications of Prolog. In particular, we consider the use of Prolog for database querying, parsing, meta-programming, and problem solving in AI. The programming assignments can be coded in SWI_Prolog or XSB.

    Prerequisites

    Reference Texts

    1. Ivan Bratko, Prolog Programming for Artificial Intelligence (Third Edition). Addison-Wesley Publ. Co., 2000.
    2. David S. Warren, Programming in Tabled Prolog. (Online)
    3. W. F. Clocksin and C.S.Mellish, Programming in Prolog (Fourth Edition), Springer-Verlag, 2000.
    4. Ulf Nilsson and Jan Maluszynki, Logic Programming and Prolog (Second Ediiton), 2000.
    5. PLUS: Online course material.

    Course Load

    The course load includes a mixture of homeworks, programming assignments and presentation worth 40 points, a midterm worth 30 points and a final worth 30 points.

    Grading

    The letter grades will be assigned using the following scale: A[90-100], B[80-90), C[70-80), D[60-70), and F[0-60). However, I reserve the right to adjust the scale somewhat to utilize the gaps in the distribution.

    Class Schedule and Syllabus (Tentative)

    Topic
    Class 1 Programming Paradigms and Logic Programming
    Class 2 Prolog Syntax; Unification
    Class 3 Meaning of Prolog Programs
    Class 4 List Processing; Operators
    Class 5 Arithmetic; Structures
    Class 6 Controlling Backtracking
    Class 7 Negation as Failure
    Class 8 Built-in Procedures
    Class 9 Midterm (May 11)
    Class 10 Definite Clause Grammars
    Class 11 Meta-Programming/Interpreters
    Class 12 Constraint Logic Programming
    Class 13 Practical Applications
    Class 14 Logic and Models : Semantics of Prolog Programs
    Class 15 (cont'd)
    Class 16 Inductive Logic Pogramming
    Class 17 Query Evaluation Strategies; Efficiency
    Class 18  Semantic Web and Logic Programming
    Class 19 Talks
    Class 20 Talks

    Finals (June 10)  (8-10pm)

      Assignments (Spring 2010)

      Examinations (Spring 2010)



    T. K. Prasad (05/27/2010)