Csc 8710, Deductive Databases and Logic Programming (Fall 2012)
Class Details
SyllabusMathematical Logic
Chapter 1 (pdf) - LogicLogical Equivalences and Implications
Homework 1 (Due: August 29, 2012 - Wednesday)
Relational Database Querying
Chapter 2 of Lab Manualaql.jar, dbengine.jar, OurSQL.jar.
Querying Notes
Safe DRC Query
GRAMMARS (used in aql interpreters and OurSQL): OurSQL RA Datalog DRC
Some sample OurSQL Queries
Homework 2 (Due: September 17, 2012 - Monday)
Detailed solution to query 6 of homework 2
Logic Programming and Prolog
Chapter 2 (pdf) - Definite Logic ProgramsChapter 3 (pdf) - SLD Resolution
Prolog Notes
SWI Prolog Home Page (Manual)
Learn Prolog Now - Online Prolog Book
MGU Algorithm
Homework 3 (Due: October 1, 2012 - Monday)
Homework 4 (Due: October 17, 2012 - Wednesday)