Ivo Düntsch
http://www.cosc.brocku.ca/~duentsch/
Computer Science Department
Brock University Ph: (+1) (905) 688 5550, ext 3090
St Catharines, Ontario, L2S 3A1 Fax: (+1) (905) 688 3255

COSC 2P93 Winter 2013/14

Logic Programming


Objectives


On completion of this course you should demonstrate familiarity with

  • Basic properties of  logic and their implementation in Prolog,

  • Theorem proving techniques,

  • Formal systems and grammars,

  • Structure of natural language syntax,

  • Phrase structure grammars and their implementation in Prolog.

  • Course material


    There is no prescribed textbook. Study material will be made available on the resource page.

    Administrative details

    Lecture times and place:

    Mon, Fri 15.30 - 17.00 TH240.

    Office hours:

    By appointment.

    Assessment:

    One programming assignment (40 %), six open book quizzes (10 % each).

    Lecture Plan:

    Provisional schedule

    Valid HTML 4.01!