You can go from here to:

• Course page for  CSCI 4230, Summer 2001.
• My main home page at turquoise is currently down, unfortunately.
• Course page for  CSCI 4230, Spring 2001.
• CSCI 6530 Spring 2001: Guest Talk, PPT, March 5, 2001.
• CSCI 5333 Spring 2001 (two guest lectures, Feb 6 & 8):
  • Guest lecture notes on datalog++
  • CSCI 5333 lecture notes on Datalog by Dr. Boetticher
  • CSCI 5333 Section 1 classroom demonstration: Some Datalog's examples.
  • CSCI 5333 Section 2 classroom demonstration: Some Datalog's examples.
  • Note: the Datalog++ site for CSCI 5333 is working! The bottom frame may be hidden and you may need to drag it up. Good luck.