|
|
ExercisesExercisesSeveral of the exercises involve extending or adapting existing examples. The files you will need to edit can be downloaded here. Note that for technical reasons, some files have been uploaded with a ".txt" extension, which means they will open in your system's default text editor. On saving, you may need to rename them to remove the ".txt" extension. PrologRight-click and choose "Save as..." or "Save Link as..." to save them. On saving, you will need to rename them to remove the ".txt" extension. ScepticRight-click and choose "Save as..." or "Save Link as..." to save them. CogentThe Cogent examples can be found within the installation provided for the course, see Installing and running Cogent. TallisThe sample files for Tallis exercises will be uploaded soon.
|