The following are the class notes on the various material. Note that you need a valid CS account to be able to read these notes. Please report to me any mistakes on the notes so that I can correct them.
•Introduction to logic as a database language [logicIntro.pdf]