Search
This course introduces students into the techniques of functional programming in the LISP (or more precisely SCHEME) and HASKELL language and logic programming in the PROLOG language. Both languages are declarative in that the programmer symbolically describes the problem to be solved, rather than enumerating the exact sequence of actions to be taken. In PROLOG, one describes the problem by specifying properties of objects and relations thereamong through logic formulas. In LISP, the problem description takes the form of function definitions. Both languages have found significant applications in artificial intelligence fields, such as agent systems or symbolic machine learning. Motivating tasks from these domains will be used throughout the course.
The tutorials consist of two halves (Scheme + Prolog). Each is evaluated separately according to following rules:
Students who receive the credit (based on points from the tutorials) are allowed to take the exam. The written exam has a theoretical part and a practical part (programming). Additional points can be obtained during the oral exam.
For the exam a maximum of 50 points can be awarded. A minimum of 25 points must be achieved for a passing grade:
The final grade is assigned according to the sum of tutorials and exam points.