Logic Programming

Assignment - Actions in Sierra

The goal of this exercise is for you to familiarize yourself with the Sierra capabilities for editing and using action 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 though sections 6, 10, and 11 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 actions.

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.