Logic Programming

Assignment - Queries in Sierra

The goal of this exercise is for you to familiarize yourself with the query mechanism of Sierra. 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 though section 5 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 queries.

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.