Slide index for CS101b
These slides are under constant construction during the term.

• Introduction to the course
  
  
• Family example
  
  
• Basics of predicate logic and theorem proving
  
  
• Example of proving mathematical theorem by resolution
  
  
• Unification
  
  
• Strategies and logic programming
  
  
• Introduction to logic programming and Prolog
  
  
• Logic programming de novo, and logic programming interpreters
  
  
• The relation of logic programming to relational databases
  
  
• Defining lists using logic programming
  
  
• Programming in Pure Prolog
  
  
• Arithmetic
  
  
• Selecting and constructing terms and statements
  
  
• The full Prolog language
  
  
• Combining Prolog and C
  
  
• Nondeterministic programming
  
  
• Set predicates
  
  
• Difference lists
  
  
• Logic grammars
  
  
• Natural language semantics using logic
  
  
• Metainterpreters
  
  
• Partial evaluation
  
  
• Agents
  • Beliefs, knowledge and facts
    
    
  • Desires, goals and tasks
    
    
  • Intentions and plans
  
  
• Theoretical issues in logic programming
  
  
• Memory
  
  
• Problem solving
  
  
• Vision