Introduction to Logic Programming What versus How   Lessons References Epilog Sierra Forum Blocks World Solution in Sierra Boolean Logic Solution in Sierra Boolean Satisfiability Solution in Sierra Connect Four Worksheet Cryptarithmetic - TWO+THREE+SEVEN = TWELVE Solution in Sierra Game of Life Problem Description Graphs Solution in Sierra Kinship Solution in Sierra Lists Solution in Sierra Natural Language Solution in Sierra Nine Board Tic Tac Toe Problem Description Sierra-Enabled Worksheet Worksheet Pelican Hunters Problem Description Sierra-Enabled Worksheet Worksheet Program Sheets Problem Description Worksheet Schedule Problem Description Worksheet Sets Solution in Sierra Solar System Worksheet Tic Tac Toe Worksheet Triples Solution in Sierra Zebra Problem Description Solution in Sierra Comments and complaints to genesereth@stanford.edu.