Logic Programming
What
versus
How
 

Assignment - Views in Sierra


The goal of this exercise is for you to familiarize yourself with the Sierra capabilities for editing and using view definitions. As always, you can access Sierra by clicking here, or you can go to http://epilog.stanford.edu and click on the Sierra link.

In a separate window, open the documentation for Sierra. To access the documentation, click here. Alternatively, you can go to http://epilog.stanford.edu, click on Documentation, and then click on the Sierra item on the resulting drop-down menu.

Read Section 6 of the documentation and reproduce the examples in the Sierra window you opened earlier. Once you have done this, experiment on your own. Try different data and different views.

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