Computational Law
Law
without
Lawyers
 

Sierra


The goal of this exercise is for you to familiarize yourself with Sierra - an interactive development environment for Epilog. Before beginning the assignment, take a look at the Sierra primer. When you are ready to begin, click here. Alternatively, you can go to http://epilog.stanford.edu and click on the Editor link.

Your first job in this exercise is to review the Sierra primer. As you do so, reproduce the examples for yourself. Try saving data and loading data. And be sure to try saving and loading configurations. It is an extremely useful capability.

Once you have done this, strike out on your own. For example, use Sierra to redo the kinship assignment. Load a fresh copy of Sierra. Open a lambda window and enter some parent facts. Open a library window and add definitions for grandparent, sibling, and ancestor. Create Compute windows for these three view relations and click automatic update. Once you have done this, add some parent data to your lambda window and note the changes to your view relations. Try changing the parent data and see what happens. Try changing your view definitions and see what happens. Once you have done this, use the Transform tool to transform your parent data in some way (e.g. reversing parents and children).