Tuesday, August 26, 2003

Read chapters 1 and 2 and the discrete mathematics review in the appendix from the textbook.

You are responsible for checking your "@memphis.edu" e-mail account every day.  Please see the following message regarding e-mail from President Raines.

In general, Dr. Russomanno's office hours will be 2:45 - 4:30 PM on Tuesday and Thursday.  It is expected that he will have to attend some (to be announced meetings) during this time, so it is strongly recommended that you e-mail him first if you are coming to see him from a distance.  You can always e-mail him for an appointment.

Thursday, August 28, 2003

Our room has been changed from ES 335 to ES 326.  We will meet in ES 326 for the remainder of the semester.  Assignment 1 is due 9/4/03.

Tuesday, September 2, 2003

A handout was provided in class (please see a class mate if you did not receive it).

Thursday, September 4, 2003

Assignment 2 is due on 9/11/03.  Assignment 1 solution is here.

Tuesday, September 9, 2003

No class on Thursday, September 11.  Class material will be made up at a later date.  Read chapter 3 from the textbook.  Assignment 2 due date has been changed to 9/16.  Assignment 3 is also due on 9/16. 

Thursday, September 18, 2003

Assignment 4 is due 9/25/03 and it requires an XSB installation.  The following link has useful information about tabling from Volume 1 of the XSB programmer's guide.

Tuesday, September 23, 2003

Homework 5 is due 9/30/03 and Homework 6 is due 10/02/03.  All homework problems that contain Prolog must be turned in using the format shown in this example. Also read the following for documenting all Prolog predicates.  Read through page 61 in the textbook, then skip to chapter 6 and read the entire chapter.  We will cover the other sections of chapters 4 and 5 later.  The following free Prolog book (pdf file or on-line) may be of help to you.  Please consider it as a reference throughout the course.

Thursday, September 25, 2003

Assignment 4 due date has been changed until 9/30/03.  All other assignments are due on their original due date.

Tuesday, September 30, 2003

The following slide about setof/3 will be discussed today.  Exam 1 (closed book and closed notes) will be on 10/9/2003.  Assignment 2 solution is here (part 1, part 2).  Assignment 3 solution is here (1 & 2, 3, 4 part 1, 4 part 2, 5).  Note: conc in HW #7 is the same as append.

Thursday, October 2, 2003

Assignment 7 is due on 10/7/2003.  Homework 5 solution.

Thursday, October 16, 2003

Read chapter 5 from the text book.

Tuesday, October 21, 2003

Assignment 8 is due on 10/28/2003.

Thursday, October 30, 2003

Assignment 9 is due on 11/6/2003.

Tuesday, November 11, 2003

Assignment 10 is due on 11/18/2003.  Assignment 11 is due on 11/20/03.  Exam 2 has been scheduled for Tuesday, 11/25/2003. 

Thursday, November 11, 2003

The final project is due no later than 9AM on Monday, 12/8/2003.  The final exam schedule can be found at http://enrollment.memphis.edu/registrar/calendars/03FFINAL.HTM.

Tuesday, November 18, 2003

Additional information has been provided in an updated  Assignment 11.

Tuesday, December 2, 2003

The following slides were discussed in class.  Also read the following paper.

Thursday, December 4, 2003

New: Exam 2 solutions here.

A few e-mails have been received with respect to ODBC and XSB.  Please see the help notes below:

You must first use the ODBC Manager to setup your data source (as you would setup any ODBC data source).   If using Windows XP this setup involves clicking on Control Panel then Administrative Tools, the Data Sources (ODBC) shortcut. Then selecting the actual MicroSoft Access file that makes up your database (the *.mdb file) and giving it a
data source name like book_store. So, for example, let's say I want to create a book_store data source for the Access file named example.mdb. I would select the actual Access file through the ODBC manager (select example.mdb) and give it the data source name book_store. Then start using XSB (see below):

XSB Version 2.5 (Okocim) of March 11, 2002
[x86-pc-windows; mode: optimal; engine: slg-wam; gc: indirection; scheduling: lo
cal]

| ?- [odbc_call].
[odbc_call loaded]

yes
| ?- odbc_open(book_store,no,no).

yes
| ?- odbc_attach(test,table('Author')).
odbc_attach...[Auth_num,Auth_firstname,Auth_lastname]

yes
| ?- test(X,Y,Z).
SELECT rel1.Auth_num , rel1.Auth_firstname , rel1.Auth_lastname FROM Author rel
1;

X = 1
Y = Kenneth
Z = Lambert;

X = 2
Y = Douglas
Z = Nance;

X = 3
Y = Thomas
Z = Naps