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