EASE Material

This is an old revision of the document!

Information that is missing and maybe bugs:

1. Visit the page https://ease-data.informatik.uni-bremen.de/ user/register. Here you will find the box with ’Please fill out’, if you do not have an account you can create one here. The email address does not matter in principle, but please keep in mind that your progress will only be saved on your account. Otherwise, sign up.
2. Read the Introduction carefully and then click on Logic Programming Course. If you read the next section click on Next: Facts. You will learn something about: Syntax, Facts, Rules, Unification and Recursion. how can i go back when i clicked Next? (only way i found out till now was to reload the page)
3. At the end of section 2 there is Task 1 which has to be completed. Click on Editor on the top left. If not already done, click on ’Create a Package’, enter the name fall_school and confirm with Ok. If no files appear, hover over the Create a Package button to select the package. For task 1 you have to edit KB1.pl. keep in mind that after each change of the file on the tab package consult must be pressed. If there is an error here, that is probably because the package has not been selected correctly yet. It has to look like this: **that not saving part and consulting part was VERY unhandy and should be made differently.

- Chris Loesung des Kurses fuer eine Online vorrausetzung.