Materials in the course directory
These are various files and directories in account cs101, in directory logic.

• ex - the source code for most of the programs in the Sterling and Shapiro book
  
  
• bratko - in bemail, there is the source code for most of the programs in the Bratko book.
  
  
• doc - the Sicstus Prolog manual, in ps form and in html form
  
  
• pe - partial evaluators, the mixtus directory plus partial evaluators, some based on mixtus, by Stott Parker