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
.