This is an old revision of the document!
Information that is missing and maybe bugs:
- 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.
- 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)
- 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.
- In general for a online course this should have more examples and debugs picture
- Chris Loesung des Kurses fuer eine Online vorrausetzung.
Feedback:
-designators should be explained. Maybe put a link to those topics at appropriate position. - an introduction to how to navigate and handle Emacs would have been nice at the start
- VM is too slow for some. Laptops's we can lend with everything pre-installed would be nice (be it VM or native doesn't matter) -3h isn't enough to complete the tasks, -the intro of the tutorial was too long, - Too little time. Nobody finished Exercise 1 - visualization of poses could be done better (we used Rviz and “point clicked”, but rotation remains a problem) - Someone also suggested to do the following: Emacs crash course + basic shortcuts introduction, LISP introduction (just show some basic functions since they look very different to other languages. Like, variable definitions, let, if, mapcar (it's cool)) and then go to CRAM. (Maybe emphasize rather on plans/actions which look more like “natural language”?)