The goal of this exercise is for you to familiarize yourself with Sierra - a web-based application for developing Epilog datasets. Click here to open a Sierrabase window in your browser. Alternatively, you can go to http://epilog.stanford.edu, click on the Sierra link, then click on Sierrabase.

In a separate window, open the documentation for Sierrabase. To access the documentation, click here. Alternatively, you can go to http://epilog.stanford.edu, click on the Sierra link, then click on the link for Sierrabase documentation.

Read though the first three sections of the documentation and reproduce the examples in the Sierrabase window you opened earlier. Once you have done this, experiment on your own.

Read Section 6 of the documentation and practice using the capabilities described there for saving and loading configurations. These operations are extremely useful in developing Logic Programming applications. You can stop work and continue right where you left off on another day. You can easily exchange demonstrations with others by sharing config files. And you can submit config files to satisfy the requirements of course assignments.

Submission details: You are not required to submit anything for this exercise. It is purely for you own benefit. We will be using Sierrabase and its peers throughout the course, and you should become familiar with them as soon as possible.