Epilog What versus How   Tutorial Vocabulary Sierra Examples Games EpilogJS Database Examples Item Description Formalization Demonstration Base Datasheet Sierrabase Evaluation Examples Item Description Formalization Demonstration Blocks Rulesheet Datasheet Sierralite Boolean Language Rulesheet Datasheet Sierralite Boolean Satisfiability Rulesheet Sierralite Cryptarithmetic Description Rulesheet Datasheet Sierralite Graphs Rulesheet Datasheet Sierralite Kinship Rulesheet Datasheet Sierralite Lists Rulesheet Sierralite NLP Rulesheet Sierralite Sets Rulesheet Sierralite Zebra Description Rulesheet Sierralite Simulation Examples Item Description Formalization Demonstration Game of Life Worksheet Graph Editor Rulesheet Sierralite Pelican Hunters Description Worksheet Portico Description Worksheet Program Sheets Description Worksheet Schedule Description Rulesheet Worksheet Solar System Worksheet Triples Rulesheet Datasheet Sierralite Click here for dozens of games with rules encoded in Epilog Satisfaction Examples Item Description Formalization Demonstration Map Coloring Rulesheet, Datasheet Sierraplus Planning Examples Item Description Formalization Demonstration Buttons and Lights Rulesheet Datasheet Sierraplan Tic Tac Toe Rulesheet Datasheet Sierraplay Metalevel Examples Item Description Formalization Demonstration Metalevel Rulesheet Sierrameta Feedback