CS 774 Logic Programming



  • Instructor : T. K. Prasad
  • Phone No. : (937)-775-5109
  • Email : tkprasad (or, tkprasad@cs.wright.edu)
  • Home Page : http://www.cs.wright.edu/~tkprasad
  • Quarter : Spring, 1997
  • Class Hrs : MW, 5:35-6:50pm, 208 RC
  • Office Hrs : MW, 4-5pm, 337 RC (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, for Parsing and for Problem Solving in Artificial Intelligence etc. Meta-programming aspects of Prolog will be emphasized. The programming assignments will be coded in SWI_Prolog .

    Prerequisites

    Course Material

    1. Prolog Programming for Artificial Intelligence (Second Edition). Addison-Wesley Publ. Co., 1990.
    2. PLUS: Class Notes and material in the directory "~tkprasad/PUBLIC-774" on paladin.

    Course Load

    The course load includes a mixture of homeworks and programming assignments worth 30 points, a midterm worth 30 points and a final worth 40 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

    Topic
    Class 1 Programming Paradigms
    Class 2 Logic Programming -- Prolog
    Class 3 Prolog Syntax; Unification
    Class 4 Meaning of Prolog Programs
    Class 5 List Processing; Operators
    Class 6 Arithmetic; Structures
    Class 7 Controlling Backtracking
    Class 8 Negation as Failure
    Class 9 Midterm
    Class 10 Built-in Procedures
    Class 11 Examples: Efficiency Considerations
    Class 12 Definite Clause Grammars
    Class 13 Meta-Programming
    Class 14 Application: Circuit Extraction
    Class 15 Application : Equational Reasoning
    Class 16 Constraint Logic Programming
    Class 17 Query Evaluation Strategies
    Class 18 Introduction to Logic and Models
    Class 19 Semantics of Prolog Programs
    Class 20 WRAP-UP
    Finals 9 June (7:45-9:45pm)


    T. K. Prasad
    Last modified: Thu Jun 8 16:29:28 EDT 2000